Document Type

Report

Date

9-1990

Embargo Period

5-1-2012

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.

Additional Information

School and Computer and Information Science, SU-CIS-90-15

Source

local

Share

COinS
 
 

To view the content in your browser, please download Adobe Reader or, alternately,
you may Download the file to your hard drive.

NOTE: The latest versions of Adobe Reader do not support viewing PDF files within Firefox on Mac OS and if you are using a modern (Intel) Mac, there is no official plugin for viewing PDF files within the browser window.