Judgmental Reasoning for Expert Systems
Abstract
We present a new system for plausible reasoning in expert systems. It is an extension of the Horn clause subset of first order logic, and is distinguished by its use of non-numeric certainties and the assignment of certainties to logical formula rather than events. Model theoretic and fixpoint semantics are sketched for this language. An implementation in the logic programming language Prolog is described and the advantages of the system are discussed.
Cite
Text
Niblett. "Judgmental Reasoning for Expert Systems." International Joint Conference on Artificial Intelligence, 1985.Markdown
[Niblett. "Judgmental Reasoning for Expert Systems." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/niblett1985ijcai-judgmental/)BibTeX
@inproceedings{niblett1985ijcai-judgmental,
title = {{Judgmental Reasoning for Expert Systems}},
author = {Niblett, Tim},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1985},
pages = {315-317},
url = {https://mlanthology.org/ijcai/1985/niblett1985ijcai-judgmental/}
}