Title
Document Type
Report
Date
9-1990
Keywords
Reasoning
Language
English
Disciplines
Computer Sciences
Description/Abstract
Surface reasoning is defined to be deduction conducted in the surface language in terms of certain primitive logical relations. The surface language is a spoken or written natural language (in this paper, English), in contrast to a "base language" or “deep structure" sometimes hypothesized to explain natural language phenomena. The primitive logical relations are inclusion, exclusion and overlap between classes of entities. A calculus for surface reasoning is presented. Then a model for reasoning in this calculus is developed. The model is similar to but more general than syllogistic. In this model, reasoning is represented as construction of fragments (subposets) of lattices. Elements of the lattices are expressions denoting classes of individuals. Strategies to streamline the reasoning process are described. Criteria for strategy selection are proposed.
Recommended Citation
Purdy, William C., "Surface Reasoning" (1990). Electrical Engineering and Computer Science - Technical Reports. 98.
https://surface.syr.edu/eecs_techreports/98
Source
local
Additional Information
School and Computer and Information Science, SU-CIS-90-15