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