Judgmental Reasoning for Expert Systems
Proceedings of the Ninth International Joint Conference on Artificial Intelligence. Expert Systems. Pages 315-316.
Abstract
We present a new system for plausible reasoning in expert systems. It is an extension of the Horn clause sub se l of fJ.rsl order logic, and is distinguished by its use of non-numeric certainties and the assignment of certainti es to logical formulae 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 svstem are discussed . Key words : Plausible reasoning , probability, expert systems , logic programming.
@inproceedings{ijcai1985p59,
title = {Judgmental Reasoning for Expert Systems},
author = {Niblett, Tim},
booktitle = {Proceedings of the Ninth International Joint Conference on
Artificial Intelligence, {IJCAI-85}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Aravind Joshi},
pages = {315--316},
year = {1985},
note = {Expert Systems},
url = {https://ijcai.org/proceedings/1985/59},
}
TY - CPAPER TI - Judgmental Reasoning for Expert Systems AU - Niblett, Tim T2 - Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85 PB - International Joint Conferences on Artificial Intelligence PY - 1985 SP - 315 EP - 316 UR - https://ijcai.org/proceedings/1985/59 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
