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 ...