The author shares his experiences in evaluating the technical alternatives for integrating the Initiative for Managing Knowledge Assets (IMKA) frame-based knowledge acquisition system with the C language Integrated Production System (CLIPS). Integrating the IMKA technology with CLIPS allows application knowledge to be encoded naturally, using both frames and rules, and allows the knowledge stored in frames to be reasoned about using rules. An overview is given in viewgraph form of the features of the IMKA technology. The challenges of integrating the IMKA technology with CLIPS, three integration models, and the circumstances under which each is appropriate are discussed

Scarola, David

English

NASA Technical Reports Server

N 9 2 - 1 6 6 0 4
Design Concepts for Integrating the IMKA Technology with CLIPS
David Scarola
Carnegie Group, Inc
Abstract. This presentation will share our experiences in evaluating the technical alternatives for
integrating the IMKA frame-based knowledge representation system with CLIPS. The Initiative for
Managing Knowledge Assets (IMKA), consisting of Carnegie Group, Inc., Digital Equipment Corporation,
Ford Motor Company, Texas Instruments Incorporated and U S WEST, Inc., was formed to foster the
cooperative funding and development of a software technology that will meet each company's and their
clients' needs for capturing and managing complex, corporate-wide knowledge. The IMKA Technology is
a frame-based knowledge representation system for developing knowledge-based applications.
We've explored various models for integrating the IMKA technology with CLIPS. Integrating the IMKA
technology with CLIPS allows application knowledge to be encoded naturally using both frames and rules,
and allows the knowledge stored in frames to be reasoned about using rules. Integrating a frame-based
system with a RETE-based rule system is a challenging task because the approach to accessing data is
very different in each system. We found three integration models that can be used to address the different
data access methods of IMKA and CLIPS. This presentation provides an overview of the features of the
IMKA technology, describes the challenges of integrating the IMKA technology with CLIPS, and discusses
the three integration models and the circumstances under which each is appropriate.
NOTE: I apologize for not having a paper prepared for the conference proceedings. I just ran out of
time. However, my slides are included and they contain a fair amount of detail. If anyone would like more
information on either the IMKA Technology or the integration models discussed in the slides, feel free to
contact me at either scarola@cgl.coni or (412) 642-6900.
395
 PRECEDING PAGE BLANK NOT FILMED
https://ntrs.nasa.gov/search.jsp?R=19920007386 2020-03-17T12:54:17+00:00Z
o 5 OL 5T O 1 $• O s g CO D 3 i
.
-
4 0 CD CO* CO CD CO 03 CL •— »• CD 0 o" 03. O 03. cb" 3 CQ CD CO
P> H CD circumst 03 CD CO c 3 Q. CD .^ O* CD 03 0 O CL CD ^^* CO* 03 ^J T3 — t 0 T3 3. 21•^^ (D
O
l
H CD O CL cp_ W ^ CD CO CD CL •
.
* H CD O 3" 03
. CD" 3 CQ CD CO involved in «-^ CD 3* CD CQ a o" .
CO H CD CL CD CQ
*
CQ 0 0
3 CO S* 3* CD CQ 03 CQ 5 CD •^ H CD o 3 o o CQ v< 03 Q
.
O n; 0)
r° H CD 1 H o 3 0 0 CQ
>
7* I co
j
03 3 CL CT 03 O CQ S Q
.
O __ ?
^
^
^ O (D < i
<^
39
6
? t. L ? > r 3 F § ? $ i 1 ^^ ji (O (O ""^
•
Ow
 
Mb
00
 
^^
*
T^
ro
^
^ i o 5* formation, § 1 0
3idustry participation: IncI c Q. CD O) O c" CO O o •3 o z o 13 CO Q. ^ O o •p
«-
«*
 
_
jhe IMKA Technology: A
Astern.
—
 *« 0) CD i C7 co CO CD Q. 7T 3 O CD" Q, CQ CD CD CD CO CD •MM ZJ a o' 13
„
• urpose: Foster the coop<)ftware technology to me
lanaging complex, corpoiCO 
C
D
 
«
?J
s.
<
 
CO
 
<
|S-
 
®
§"
§ 
Q
.
9-
0 
^
'
^
J1
3
<
Q
<Q
 
c/
To
.
P
U
 
C
L
CD
 
CD
CD
 
<
Q.
CD
CD
 
o
"
O
 
C
D
Q3
 
^
*
*
*
 
—
 *
~
O 
"^
C
 
°
-^
 
"
-
*
1
ID CQ C
O Q
.
> U S WEST, Inc.
» Digital Equipment Corp
9
 Ford Motor Company
1
 Texas Instruments
* Carnegie Group, Inc.
o s o 13
^
\
A
%
 
^
^
fc
_
1
 
1
T
J I
 
1
oT
 
nj"
*
 
•
 
^
^
L
CD o" ^ CO 13 co CQ 3
*
CO * o CD
"
CL CQ CD Assests
V
r
^
^
^
X 55.
'
o CD Q. 03 fi) O 5"^ (Q O C 3 Q
,
V
39
7
o ai. 8 V 0 £ S' %v 5 p o S 5> B" * INJ to (0 V
C w CD to O 03 13 CL 3" CD customiz CD Q. 5" IT CD 23. oT ID o CD ^to CD — • t i Q. CD — K 13* CD Q. 0 <£ /T\ CD to
C/5 a 03 Q
.
03 C CD 5" "•^leritance. - O CD to_ CQ
"
CD Q
.
0 CT CD to CD Q
.
^ i: •^ O + 0° p
C w CD to
* § Q. 3, CD 31 CD, O CD 03 *^. O 13 to 3D D CD interface.
IE CO
*
Q
.
CD CQ CD Q
.
3 03
^
^
^
^
^
^
•
«
Z3 5 CD *^
«
03 3 CD CT 03 to P 3 
"
^
CD
 
® istent frame
nanism.
W. o" — ^ 03 CO CD
O 03 to w subclass :r CD' 03 3 ^<
no S following.
o
 
§
8! 
Q
w
 
3 essages.
and insta 13 CD 03 0 to
^CD 5Ti-Knowledge •*i^
T
l
'
1 CD>s contain 03ttributes, CD a o to a CD 3on mechani
CO 03 w o" CD I£ ?¥ to
"
03 — 
*
t
^
w 03 O
CD
* Si C Q to
O o ext mechan w
(
^ H (D ^gi 2^^ •••i ^% ^^^ ^ •^ (D O 3 O O (Q
^
J
39
8
i I r 0 1 > [ 3 n D 3
CO IT CQ
'
zr *< integratable 03 CL T3 o CT CD
CO C T3 T3 0 &( the externa CL 21 oT £ o" 03 CQ CD mechanisms tl £ 7^s ^ o CL CD CO
,^
03
.
i—
 ••
03 13
"
•—
 h
CD C ZJ
_
Q* C CD CD CO C/3 03 CL TJ O CD 0
^ CD CO Q CD" •
> 6" CO i— H zre appropriate representation of knowled$
«
*
•< p
m D 03 13 O CD CO I 7s > cr *< -o 0 C
L u
"
CQ C C
D cr CO CD CL 0 CO o 2. 13 CQ
m ZJ zr 03 ZJ o CD CO O 1— -o CO cr *< o
" 5* CQ C CD CO O 3 o" zr 03 CQ 03
.
3
"
CO r-t- 03 3 CD CO
r-
+
 
—
Ji
) 
JJ
*
*
~
^
(Q
O
 
fl
)
03
 
CL Ip co — «•
!
CO
 
°
-
CL CD 03 T3 O C
D zr cr CL CO co
.
CD 3
_
•
T^3 0
3 Z3 CO c
t CD" CQ CD
" ?5-* •6
*
CD ule languages.
• 0^3
_
5
"
CO
^
^ o o CD 03 CO O 5" CQ CO I CD" CO o cr CD CL CD o" TJ CD CL
/ 
"
a CD (0 (5' O o Q) CO
—
V
J
39
9
3 01 £ o O 3 ? IV} w I
•
 
»
 
V
*
 
J
3
-Q
.E
:
P
 
*
<
 
0
=
£0
3C
Q
03
.P
.
S
W
O
0
^
 
0
 
=
i.
^
 
—
2
03
^C
O
E"
c/>
 
-
i
T
T
 
«
^
*
 
-^»
0
 
<
D
 
—
W
 
3
 
0
0
 
0
3
m
C
O
.
0
 
=
; 3
3
CD
 
0)
C/)
 
^
0 0
03
 
C
3
 
®
0
 
•=
••
CD
,S
-
 
0
3- Q
.
0 CQ 0 0 O o
]
^
^
^
^
^
^
m
*
3 0
03 II P 0 
-
,
-
i0
0
 
03
0
 
0
)
O
 
O
O
 
-
j
<
 
»
"
g.
|. 0 
3
•
 
03
o
 
0
0
0
3
O
 
CD
 
=
^
X
i 
O
 
03
£
||
03 03 0 3
0
<
 
03
0
0
-
0
 
Q
.
O
 
03
P
-
0
03 |I
.
I
f
03
 
3
(Q
 
*
-
*
•
03
 
O
0
0
>
Q
.13
0
-0
03
 
CO
-
a
 
2. ss
F~
 
O
0
 
?
03 0 0)" 03 C/) o" 03
•§» <D < o"0 3 O 0^* O 03
T
l
03 0 Q) O O 0
03
 
to O a 0
•
 
o
T
3
*
 
C (/> 0 p o o 0 to to o a
0
^
^
DO o 0 a 03 > O O (D (ft to o a. 2. 0)
40
0
Q> CD CT % CD
X CD Q
.
CD O
CO CD o
r to 8
Co CD or g CD
CD Si o
if 3 9 o
f
o
co CD CO CD
T3 C
D
O i O 3 CD
3 =
*
"
w
 
»
T>
 
3
T3
 
CD
-
1
 
o
O
CD
cr c^ CD
CT Q>
CD CO
O r; 13 03 CD CO
O r; C/3 a CD CO
O TJ CO ~i cF CO
40
1
o 8 a i OJ o la 0 O 3 y s & to to to
°
"
c:
o
l-
1—
03
•D
O"
0
5
3
-
i C
O
c 
*
 
*
cb~
 
^
co
 
§•
•
3 CD | 1 6" CO 03 a.
*
"
<
3 03 3 o of CD — *. CD 1 CD CO o CT CD 3 o" CD a.
oT
2,
CT
 
CD ss
CD CO F-
*
CD ^3 03 5
"
M
^ 0 Q
.
03 '""
* 3 •o CD 03 j=
[o C
Q
*
< 3 £-
j*
^
^ 03 CD CD 03
.
CD CO 2
" 33 m '' ZZ
!
CD
m X CD O CD*
"
03 £
*
3 O_ 6" 3 1- o' -r 3 T3 CO I CT 03 CO CD 3 0
o Q
.
oT Q. CO o 3 f^^ CD 3D 05 ^ •— *• ~ TO ^ C CD CO
2*
<"
 
3*
>jj o a. CD"
3 3, O* j± 3 CO
3 CD CT 03 CO CD
3D c 3 CD C CD CO <— h O 03 1 ry\ VJ CQ 92
.
CO «—
 
*•
CD 3 CO c_ 3
"
CQ o
T S CT CO p
m X CD O C? 03 £* 3 O «— h o" 3 1- o" 3" 03
~
C3 CO CD 03 3 CD CT CO CD •-* O 3* CD oT CT 03 CO CD
C — *
»
ol 3 CD CT 03 CO CD 3 ~ ^^mm 3 03 Q. v^ . O S CD i CT 03 CO CD a. 3 S CO o 3 3* CQ
•
 
•
 
"
O
CD
 
C
D
 
"
°
c
 
c
 
3
S 
s 
-
8
O
 
§ 
FT
[._ "0 
^
05
 
^^^
^
^
 
^
^
^
c_
 
-
*
^
ffl 
-
3*
CO
 
03
O
 
Q
3
 
C
T
03
 
03
5
-^
 
CO
O
 
Q
03 CQ 0
3
^
^ a 1 CO
n CD OJ ••r O ^^J ^p o Q. fi\ _i .
40
2
•
cr
i—imitations: Certain dynamic frame features c
e updated which can't always be identified.
0) c CO o «— t- CD — t — »» f\\ vu ^J CO w*
> 
o"
1 1 I
•
=
rc
o 
^ latching dynamic frame features in RETE: A
upported by which the frame system informs
ames need to be repropagated.
r
r
3
CD
 
5' f—t
-
3D
 
CD
m
^
H
A
% 0
m
g
1
1 ?s o •
-
5-
O"
•
*
0
I^T o
"
ZT
•
a
|
1§ CD =
*
Q
-f
lj
f- £ C
O
Z
o) 3-
3
-
H
C SE
.
3 
Q
)
® 
ST
.
«>
 
S.
°
4 
^
3
0
C
! 
0 il II Q-Z
J
l| 2 S CD F" 2 c5 Q.-ro *"*• "n o -*J o-m 0  m -• m CD 3 i Zi ± C m CO SS.'* oo- 5" CD CD Q. •
•RETE network matches frames directly insi f«-^ CD 8. o 0) 0 5" ca _*, 55 a CO •
t CD S o r" 13 CO c CD CO »-^ O 1 — «» ol CD CO C CO Z3* CO O 3, ^*CD 3 T3 SI CD CO *< i— t- 0) X •
•Build IMKA frame base.
_
•
 
'
> ^
 
*
3 
S
Q) 
CD
1 s
-
'•
 
8 CO* o ZJ CO o ZJ* CO i. CD 0) Q. O^ 0) O ZJ CD CD 3 -8 •g. ZJ* CO •
• o oT o_ CO* i ol CD CO 0) cB 0) 0 CD Q. Q. cB" a
*
< CT
*
< O Q ~n u cn wy •
• aDifferences from BATCH model: /
a CD O O Q. CD "^™*
^
40
3
o to OL 5. 0) Carnegie Group, Inc. 1 1 ro en (O <o — * \
c
 
r"
-
0
 
5
-
0.
3. BC
O"
S.
5-
13 IT 
•
 
•
s-'
s
0
? li CO 
Q.
CO
 
JD mic frame features cau
/s be identified.
CO CD £ CD 5
* CO 3 CD CO o a- CD
CO
 
0
 
^latching dynamic frame 1
orresponding fact and al
re effected by that modif O" 0
 
C
D
co
 
2. 
co
«
-^
 
^
T
*
 
•
•^
o
S
fS
3
 
-
«
 
C
D
3
S
--
c
 
Q
.^
£
"
*
o
-^
 
m
® 
Z
H
c
 
o
 
m
-
a
 
^
'-
Q-
o 
<
CO
 
0
 
<
CD
 
^
 
^
|c
o
-
^
 
—
 
*
^
J
 
^
^
Q.
CO OC
D
^*
 
—
 
•
CO
 
W
3
3
ff
\ 
f^
CO
 
Q
.
l-c
f
o
P
- co
"
0 Q
. s CD CO O CD X O) 2, CD c CD CO
•User invokes CLIPS to 3 co o" CD 1 o" DT o o CD CO TJ O Q. o" ^^% CO CD CO
^
m g
3
o 
®
C?
 
CO
%
%
co
a-
=
^
D
CO
 
CD d a corresponding fact
me, the corresponding a
|
^
^
™
 
*
 
^
^
v
C/
) 
*
^
^
co
 
co
.
O
>i —
 
•
.
"H^ /k » «^
J
BC
D
CD
 
U
Q
.C
D CD
t CD c 51 O r^ CD" CO «—h o 3 CO o IT co CQ CO
.
co
_
CO
*
3>pproach:
•Build and IMKA frame C7 co CO CD
t r~ ?r CD D J3 m o
*
• r-
+ CD I-+ CD co o CD 55
"
o ZJ CQ g CQ 5
" £ CD" CO Q. CO o CD «-» CD 3 CO p
3>. combination of BATCH
• Like BATCH, CLIPS m
& DIRECT:
satches facts instead of co. O 3" CQ H*^ co <n
^
^
^
^
x" (D a o a (D
^
 
j
J
40
4
3
3
>
03
 
CD
 
—
^
.0
3
03
3
o
CO
 
-
„
03
 
03
II I CD
33 c_ CD C/3 03 CD 03 CO 13* CQ
_
CD CD
5
'Z
03 
2
CD
 
C/3
CD 3
•
 
C
D
m
 
a
03
 
O
CD" 3 Q.
CD O
g CD
0) 03
©
5-
g.
CD E" 3
I
I
CD
 
_
O 3
13
 
03
03
 
CQ
Of
 
CD
CD
CD CO
^
 
X i&
•o
.
CD
13
 
=
r.
"^
"^
 
^
^
S
CD
 
^
03
_c
T
CO
 
=
*»
'
 
0
3 CD
40
6
I o. 5T
For additional informatio
scarola@cgi.com or call
Camegte £ 
-
^
3
1
 
£
o
|
 
£
|
^
7^
 
o
j
J^
 
C
*
ro
ll
_
• 
i^
§<
:
o
?
• 
CO 0 0) 3 0} £1
I 1 ? (O (O V
zon-RETE inferencing systei 3 •
Oommon syntax between fra CD 0) 03 Z} Q. -^ C CD 00
oaackward chaining.
O r— Tl CO 0 *CD
'
2. 00 I CD" 3 en 0 oo' o^ 5] CD" CO M B. CD Q. ^^* CD" 00
O + D 0) CD 03 Zi 5" CO 0) u Q
.
O CD o" a «^^ T3 CD 00
r~ mitations in the CLIPS Deft CD •g_ 03 CD X CD" M *u 5^ CD" 0) o CD *
•User-defined inheritance
•Demons
•Contexts
•Dynamic classes and slot w
0ynamic IMKA features whic zr 0) CD ^^ Q. — * " ~^T O — • CD (Q £ CD 0 CO
r
^
^ O 0 5T 00 c o Q) 3 Q. O^^^ p ••0 ••ii O 0) ^^^ o 2L o" (Q <D 0)
V
J
40
6


Design concepts for integrating the IMKA technology with CLIPS

Abstract

Similar works

Full text

Available Versions

NASA Technical Reports Server