An Introduction to SNePS 3
Outline
Parentage of SNePS 3
SNePS KRR Style
Basic SNePS Principles
Propositional Semantic Network
Term Logic
Intensional Representation
Uniqueness Principle
Paraconsistent Logic
Example: Term Logic& Conceptual Relations
Example SNePS Ontology
Cassie talks to Stu
Wire-Based Inference
Path-Based Inference
Node-Based Inference
SNePS 2.5 Generic Version
Subsumption Inference
Summary
SNeRG Home Page
Email: shapiro@cse.buffalo.edu
Home Page: http://www.cse.buffalo.edu/~shapiro/
Other information: Department of Computer Science & Engineering State University of New York at Buffalo