SNePS
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:
http://www.cse.buffalo.edu/sneps/
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:
None
Mailing Lists/USENET News Groups:
snug@cs.buffalo.edu
snwiz@cs.buffalo.edu for
comments, questions, or to be put on the mail list.
User Comments:
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.)
|