Case studies of SNePS

1 June 1991

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGART Bulletin

Vol. 2 (3) , 128-134
https://doi.org/10.1145/122296.122316

Abstract

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.

Keywords

This publication has 3 references indexed in Scilit:

A model for belief revision
Artificial Intelligence, 1988
SNePS Considered as a Fully Intensional Propositional Semantic Network
Published by Springer Nature ,1987
Symmetric relations, intensional individuals, and variable binding
Proceedings of the IEEE, 1986