Case studies of SNePS

Authors:
Stuart C. Shapiro
Affiliations:
-
Venue:
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Year:
1991

Citing 4
Cited 1

Knowledge-based parsing

Natural language parsing systems
A model for belief revision

Artificial Intelligence
Automated Reasoning: Introduction and Applications

Automated Reasoning: Introduction and Applications
The CASSIE Projects: An Approach to Natural Language Competence

EPIA 89 Proceedings of the 4th Portuguese Conference on Artificial Intelligence

Designing Visual Languages for Description Logics

Journal of Logic, Language and Information

Quantified Score

Hi-index	0.00

Visualization

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.