Short Algernon Reference Manual
For Algernon Version 1.3.0

B. J. Kuipers
J. M. Crawford

October 29, 1996

• Contents
• Knowledge Representation in Algernon
  • Facts, Formulas, and Frames
  • True Names and Public Names
  • Access Paths
• 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
    • Calling Algernon from Lisp
    • Calling Lisp from Algernon
    • Controlled Retrieval
    • Negation and Non-Monotonic Reasoning
    • Control Structure
    • Deleting Things
    • Interacting with the User
    • Controlling Style of Inference
    • Obsolete Forms
  • Notes on Inference in Algernon
    • Rule Completion
• Interactive Interface Commands
  • General Commands
  • Saving and Restoring the Knowledge Base
  • Browsing the Knowledge Base
  • Tracing Algernon Inference
  • Output Control
  • Running Programs and Examples
  • Debugging
  • Useful Global Variables
• The Built-In Knowledge-Base
  • Naming Conventions
  • Fundamental Objects and Relations
  • Knowledge of Common Things
• Helpful Hints
  • Bugs and Problems
• References
• Index
• About this document ...