SNePS 2.5 USER'S MANUAL

Stuart C. Shapiro
and
The SNePS Implementation Group
Department of Computer Science
State University of New York at Buffalo
Buffalo, NY 14260

May 14, 1999

Over the years, many people have contributed to the design and implementation of SNePS, and to the writing of successive versions of the SNePS User's Manual. They constitute ``The SNePS Implementation Group'' cited on the title page, and I am grateful to them. They are listed here. If I have inadvertently omitted anyone's name, or have mispelled anyone's name, please let me know, and I will correct it for the next printing of this Manual.

Stuart C. Shapiro

 
• 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
      • Or-Entailment
      • Numerical Entailment
      • AndOr
      • Thresh
      • Non-derivable
    • Quantifiers
      • The Universal Quantifier
      • 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 ...