Current-version CommonRules
app N
app 1
app 2
transformer
interlingua
parsing/translating in & out
deep shared semantics
in common representation:
common cores
Logic
Program
family
X
Rule
family
Y
Rule
family
rule sys 1
rule sys 2
rule sys N
Heterogeneous
courteous
ordinary/vanilla
representation
mutex
priorities
?
representation
?
equivalent
semantically
KR
obj’s
string
XSB
formats
Smodels
CR.
courteous
conflict-handling
Log. Prog.
situated courteous LP’s
XML,
KIF,
engine: forward situated LP
rule systems
objects
other
Previous slide
Next slide
Back to first slide
View graphic version