Next:
Contents
Short Algernon User's Manual
For Algernon Version 1.2.1
J. M. Crawford
B. J. Kuipers
October 29, 1996
Contents
Introduction to Frame Based Knowledge Representation
Frames
Frames and Their Names
Frames and Predicate Calculus
Access Paths
Rules Are Implications
Inference in Algernon
Loading and Running Algernon
The Syntax and Semantics of Algernon
The Formal Syntax of Algernon
Special Forms
Declaring a Taxonomy of Frames
Declaring Slots and their Domains
Declaring Rules
Controlled Retrieval
Negation and Non-Monotonic Reasoning
Universal Quantification
Deleting Things
Calling Algernon from Lisp
Calling Lisp from Algernon
Interacting with the User
Controlling Style of Inference
Inference in Algernon
Partitions
Rule Completion
Interactive Interface Commands
General Commands
Saving the Knowledge-base
Browser Commands
Tracing Commands
Output Control
Frills
The Built-In Knowledge-Base
Helpful Hints
Bugs and Problems
References
Index
About this document ...
Micheal S. Hewett
Tue Oct 29 11:15:33 CST 1996