Prioritized Defaults: Implementation by TMS and Application to Diagnosis
Proceedings of the Twelfth International Joint Conference on Artificial Intelligence. Automated Reasoning. Pages 310-316.
Abstract
We demonstrate the technological value of nonmonotonic logics by an example: We use prioritized defaults for candidate generation in diagnosis from first principles. We implement this non-monotonic logic by TMS similar to default logic. Prioritized defaults allow an easy formulation of a diagnosis problem including statements such as 'eletrical parts are more reliable than mechanical ones' or 'prefer correct models to fault models' since defaults are put into different levels of reliability. These preferences prune some counter arguments in TMS and thus lead to a reduced network. Moreover, the labelings of this network are exactly the preferred subtheories of its prioritized default theory.
@inproceedings{ijcai1991p47,
title = {Prioritized Defaults: Implementation by TMS and Application to Diagnosis},
author = {Junker, Ulrich},
booktitle = {Proceedings of the Twelfth International Joint Conference on
Artificial Intelligence, {IJCAI-91}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {John Mylopoulos and Ray Reiter},
pages = {310--316},
year = {1991},
month = {8},
note = {Automated Reasoning},
url = {https://ijcai.org/proceedings/1991/47},
}
TY - CPAPER TI - Prioritized Defaults: Implementation by TMS and Application to Diagnosis AU - Junker, Ulrich T2 - Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91 PB - International Joint Conferences on Artificial Intelligence PY - 1991 SP - 310 EP - 316 UR - https://ijcai.org/proceedings/1991/47 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
