next up previous
Next: Selected Publications Up: KR Systems Previous: KR Systems

SNePS 3

Stuart C. Shapiro

SNePS 3 is the latest entry in the SNePS family of knowledge representation and reasoning (KRR) systems. It is based on SNePS 2.5 and ANALOG, and is currently being implemented in CLOS and/or Java. SNePS 3 differs from earlier versions of SNePS by having the following features: formal SNePS semantic classes of nodes; formal definition of relations; formal definition of case frames; structured variables; wire-based inference, including expansion as well as reduction, and limits on adjustment; subsumption inference.





William J. Rapaport
Tue Aug 29 15:35:18 EDT 2000