Table of Contents
First-Order
Logic Knowledge Interchange Format (KIF)
KR Language
Components
Interlingua
for Multi-Use Knowledge
Conceptualization
Conceptualization
Blocks World
Blocks World
KBs, Sentences,
Terms, Words
Function
Terms and Relational Sentences
Declarative
Semantics
Semantic
Value
Truth Value
Equations
and Inequalities
Logical Sentences:
not, and, or
Logical Sentences:
=> <= <=>
Logical Terms
Declarative
Semantics
Universally
Quantified Sentences
Existentially
Quantified Sentences
Digital Circuit
C1
Domain Conceptualization
Electronic
Circuit Domain Theory
OR and AND
Gates
XOR and NOT
Gates
Circuit C1
Representation |