Algernon: Kuipers, James Crawford. A frame system with
logical semantics. Socratic completeness: logical completeness
if the right questions are asked in the right order.
KM: Porter, Peter Clark. A frame system with logical semantics.
Skolems are lazily instantiated. KM can simulate actions, using delete
and add lists.
CycL: Logic-like representation language of Cyc. Microtheory:
set of assertions that share assumptions.
cyc.com
KIF: Knowledge Interchange Format, a logic-like language for
exchanging information among AI systems. http://logic.stanford.edu/kif/kif.html http://www.ksl.stanford.edu/knowledge-sharing
(defrelation natural (?x) :=
(and (integer ?x) (> = ?x 0)))
(believes john '(material moon stilton))
(=> (believes john ?p) (believes mary ?p))
(=> (= (father ?x) ?y) (male ?y))
KL-ONE: automatic classification of instances to the right
place in a taxonomy.