SNePS Considered as a Fully Intensional Propositional Semantic Network

Abstract

SNePS, the Semantic Network Processing System, is a semantic network language with facilities for building semantic networks to represent virtually any kind of information, retrieving information from them, and performing inference with them. Users can interact with SNePS in a variety of interface languages, including a LISP-like user language, a menu-based screen-oriented editor, a graphics-oriented editor, a higher-order-logic language, and an extendible fragment of English.This article discusses the syntax and semantics for SNePS considered as an intensional knowledge representation system and provides examples of uses of SNePS for cognitive modelling, database management, pattern recognition, expert systems, belief revision, and computational linguistics.KeywordsBelief RevisionSemantic NetworkCognitive AgentIndividual NodeVariable NodeThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.