SAL Home OTHERS Artificial Intelligence


SNePS, the Semantic Network Processing System,is the implementation of a fully intensional theory of propositional knowledge representation, reasoning, and acting. It provides the architecture, and various facilities for the construction of a general-purpose, natural-language-using computational cognitive agent. It could also be used as a general-purpose AI programming language.
Some major features:

  • A module for creating and accessing propositional semantic networks for the representation of propositions, rules, acts, classes, properties, individuals, etc.
  • A collection of interfaces including a Lisp-like language, a logic programming-like language, and a graphical interface
  • Nonstandard logical connectives and quantifiers that are particularly appropriate for supporting common-sense reasoning and natural language interaction
  • Path-based inference
  • Reduction inference
  • Node-based inference based on SWM (a relevance logic with quantification) that uses natural deduction and can deal with recursive rules
  • forward, backward and bi-directional inference
  • An assumption based TMS for belief revision
  • An action module that amalgamates acting and reasoning
  • a generalized ATN (GATN) interpreter for specifying grammars for parsing and generation of additional languages for interfacing with SNePS-based agents
  • A morphological analyzer and synthesizer for English
  • Specialized commands for using SNePS as a Database Management System

Current Version:   2.3

License Type:   GPL

Home Site:

Source Code Availability:   Yes

Available Binary Packages:

  • Debian Package:   No
  • RedHat RPM Package:   No
  • Other Packages:   No

Targeted Platforms:

Any Common Lisp conforming to Steele's Common Lisp

Software/Hardware Requirements:

Although not necessary, some SNePS facilities rely on X Windows and some rely on Garnet.

Other Links:

Mailing Lists/USENET News Groups: for comments, questions, or to be put on the mail list.

User Comments:

  • None

See A Screen Shot? SNePS graphical XGinseng interface showing a possible SNePS representation of "Everything is either an animal, a vegetable, or a mineral, and John believes that Rover is an animal." (Requires Garnet.)

  SAL Home   |   Other Scientific Fields   |   Artificial Intelligence

Comments? SAL@KachinaTech.COM
Copyright © 1995-2001 by Herng-Jeng Jou
Copyright © 1997-2001 by Kachina Technologies, Inc.
All rights reserved.