Contents

 
• List of Figures
• Introduction
  • General
  • What's New
  • System Requirements and Platforms
  • Commands and Environments
  • Types of Nodes
  • Contexts
  • SNePSUL Variables
• SNePSUL Commands
  • Context Specifiers
  • Loading SNePS
  • Entering and Leaving SNePS
  • Using Auxiliary Files
  • Relations
    • Reduction Inference
    • Path-Based Inference
      • Syntax and Semantics of Paths
  • Operating on Contexts
  • Building Networks
  • Deleting Information
  • Functions Returning Sets of Nodes or of Unitpaths
  • Displaying the Network
  • Retrieving Information
• SNIP: The SNePS Inference Package
  • Representing and Using Rules
    • Connectives
      • And-Entailment
        • Use
      • Or-Entailment
        • Use
      • Numerical Entailment
        • Use
      • AndOr
        • Use
      • Thresh
        • Use
      • Non-derivable
    • Quantifiers
      • The Universal Quantifier
        • Use
      • The Existential Quantifier
      • The Numerical Quantifier
      • The Uniqueness Principle for Variables
  • Tracing Inference
• SNeRE: The SNePS Rational Engine
  • Acting
  • Primitive Acts
  • Associating Primitive Action Nodes with Their Functions
  • Complex Acts
  • Goals
  • The Execution Cycle: Preconditions and Effects
• Program Interface
  • Transformers
  • With-SNePSUL Reader Macro
    • Controlling the Evaluation of SNePSUL Forms Generated by #!
    • Example Use of #!
  • The Tell-Ask Interface
  • Defining New Commands
• XGinseng: An X Windows Editing and Display Tool
  • Introduction
  • Starting XGinseng
  • Windows
    • The Display Window
      • Locating the inner window within the outer window
      • Manipulating the Scrollbars
    • The Command and Dialogue Box windows
  • XGinseng Command Button Operations
    • XGinseng Operations
      • Pause
      • Quit
      • Help
      • Clear Display
      • Save As Postscript File
    • Node Operations
      • Moving Nodes
      • Displaying New Nodes
      • Describing Nodes
      • Hiding Nodes
  • Creating and Editing SNePS Networks with XGinseng
    • Building a Network
      • Make a Blank Node
      • Draw an Arc
      • Draw a Double Arc
      • Edit or Enter a Label
      • Delete a Node or Arc
      • Mark Node as Asserted
      • Mark Node as a Base Node
      • Mark Node as a Variable
      • Copy a Label
    • Case Frames
      • Universal Quantifier
      • Numerical Entailment
      • AndOr
      • Thresh
      • Enter the Network
      • Assert a Node
      • Erase a Node
  • Example: Creating a SNePS Network using XGinseng
  • Emergency Exits
• SNePSLOG
  • SNePSLOG syntax
  • SNePSLOG commands
• SNaLPS: The SNePS Natural Language Processing System
  • Top-Level SNaLPS Functions
  • The Top-Level SNaLPS Loop
    • Input to the SNaLPS Loop
    • SNaLPS Variables
  • Syntax and Semantics of GATN Grammars
    • Arcs
    • Actions
    • Preactions
    • Terminal Actions
    • Forms
    • Tests
    • Terminal Symbols
  • Morphological Analysis and Synthesis
    • Syntax of Lexicon Files
      • Standard Lexical Features and Values
    • Functions for Morphological Analysis
    • Functions for Morphological Synthesis
  • Examples
    • Producing Parse Trees
    • Interacting with SNePS
• SNePS as a Database Management System
  • SNePS as a Relational Database
    • Project
    • Select
    • Join
  • SNePS as a Network Database
  • Database Functions
• GNU GENERAL PUBLIC LICENSE
• Index
• About this document ...