Case studies of SNePS

SNePS, the Semantic Network Processing System, has been designed to be a system for representing the beliefs of a natural-language-using intelligent system (a "cognitive agent"). This paper expands on this motivation, discusses some of the system features that derived from this motivation, and presents four case studies of interactions with SNePS demonstrating some of these features. The features demonstrated in the case studies are: non-standard connectives; the use of recursive rules; the Unique Variable Binding Rule, that says that two variables in a rule cannot be instantiated to the same term; and discussing sentences and propositions in natural language.