An Architecture for Knowledge Based Deduction

Nevins, Arthur J.

An Architecture for Knowledge Based Deduction

Download BibTeX Cite

Proceedings of the Ninth International Joint Conference on Artificial Intelligence. Expert Systems. Pages 335-338.

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.

Arthur J. Nevins. 1985. An Architecture for Knowledge Based Deduction. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85. IJCAI, 335–338. https://ijcai.org/proceedings/1985/64

@inproceedings{ijcai1985p64,
  title     = {An Architecture for Knowledge Based Deduction},
  author    = {Nevins, Arthur J.},
  booktitle = {Proceedings of the Ninth International Joint Conference on
               Artificial Intelligence, {IJCAI-85}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Aravind Joshi},
  pages     = {335--338},
  year      = {1985},
  note      = {Expert Systems},
  url       = {https://ijcai.org/proceedings/1985/64},
}

TY  - CPAPER
TI  - An Architecture for Knowledge Based Deduction
AU  - Nevins, Arthur J.
T2  - Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1985
SP  - 335
EP  - 338
UR  - https://ijcai.org/proceedings/1985/64
ER  -