An architecture for knowledge based deduction

Authors:
Arthur J. Nevins
Affiliations:
Department of Computer Information Systems, Georgia State University, Atlanta, Georgia
Venue:
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Year:
1985

Citing 2
Cited 0

A Machine-Oriented Logic Based on the Resolution Principle

Journal of the ACM (JACM)
A Human Oriented Logic for Automatic Theorem-Proving

Journal of the ACM (JACM)

Quantified Score

Hi-index	0.01

Visualization

Abstract

This paper describes the design of a general purpose deduction engine for use in expert systems. It represents an extension of a natural deduction theorem prover that has eliminated the negation symbol in favor of certainty factors and has an improved method of splitting problems into subproblems. Formulas are object-centered and are stored at nodes which are designed to control and provide sharper focus to the search. These nodes either are pointed to by words in a dictionary or are created by the deduction engine in its attempt to solve a specific problem.