An Architecture for Knowledge Based Deduction
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.
Cite
Text
Nevins. "An Architecture for Knowledge Based Deduction." International Joint Conference on Artificial Intelligence, 1985.Markdown
[Nevins. "An Architecture for Knowledge Based Deduction." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/nevins1985ijcai-architecture/)BibTeX
@inproceedings{nevins1985ijcai-architecture,
title = {{An Architecture for Knowledge Based Deduction}},
author = {Nevins, Arthur J.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1985},
pages = {335-339},
url = {https://mlanthology.org/ijcai/1985/nevins1985ijcai-architecture/}
}