Document Type

Report

Date

1-1993

Embargo Period

5-7-2012

Keywords

Reasoning

Language

English

Disciplines

Computer Sciences

Description/Abstract

Intuition suggests the hypothesis that everyday human reasoning is conducted in the written or spoken natural language, rather than in some disparate representation into which the surface language is translated. An examination of human reasoning reveals patterns of inference that parallel binary resolution. But any standard implementation of resolution requires Skolemization. Skolemization would seem an unlikely component of human reasoning. This appears to contradict the hypothesis that human reasoning takes place at the surface. To reconcile these observations, this paper develops a new rule of inference, which operates on surface expressions directly. This rule is shown to produce results which exactly parallel those produced by Skolemization and resolution. It extends the notion of 'surface reasoning' that was defined in previous papers. Several examples are given to illustrate its use in surface reasoning.

Additional Information

School of Computer and Information Science, Syracuse University, SU-CIS-93-22

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.