Table of Contents
First-Order Logic Knowledge Interchange Format (KIF)
Interlingua for Multi-Use Knowledge
KR Language Components
Conceptualization
Blocks World
Relations and Functions
Blocks World
Predicate Calculus - KIF
Declarative Semantics
Constants, Individual Variables, Function Terms
List Terms and Set Terms
Logical Terms
Quantified Terms
Logical Constants, Equations, Inequalities
Relational Sentences
Logical Sentences: not, and, or
Logical Sentences: => <= <=>
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
Readings for 10/5
|