Document Type
Report
Date
1-1993
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.
Recommended Citation
Purdy, William C., "Binary Resolution in Surface Reasoning" (1993). Electrical Engineering and Computer Science - Technical Reports. 163.
https://surface.syr.edu/eecs_techreports/163
Source
local
Additional Information
School of Computer and Information Science, Syracuse University, SU-CIS-93-22