Abstract
The efficiency of general belief revision techniques like the TMS or the ATMS decreases rapidly with the size and connectivity of the knowledge base and they are not designed for integrating non-monotonic and probabilistic evidence. Our belief revision algorithm ITMS overcomes these shortcomings by exploiting peculiarities of diagnostic reasoning. It is implemented in the diagnostic shell MED2 with good results.
For each conclusion, a well-founded categorical or probabilistic indicator of its strength is continuously updated. Upon retractation of a justification, the ITMS immediately decides the new state (established, unknown or excluded) of the affected conclusion by checking its remaining strength. The correctness depends on avoiding circular justifications. They can easily be blocked if circular inference paths are precomputed in the knowledge base and the blockage does not manipulate the inference process. Both requirements can be fulfilled in diagnosis.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bobrow, D.: Managing Reentrant Structures Using Reference Counts, ACM Transactions on Programming Languages and Systems, Vol 2, No. 3, 269 - 273, 1980.
Chandrasekaran, B.: Towards a Taxonomy of Problem Solving Types, Al-Magazine 4, No. 1, 9 - 17, 1983.
de Kleer, J.: Choices without Backtracking, AAAI-84, 79 - 86, 1984.
Doyle, J.: A Truth Maintenance System, AI-Journal 12, 231 - 272, 1979.
Doyle, J.: Methodology Simplicity in Expert System Construction: the Case of Reasoned Assumptions, Al-Magazine 4, No. 2, 39 - 44, 1983.
Goodwin, J.: An Improved Algorithm for Non-Monotonic Dependency Net Update, LITH-MATH-R-82-23, Linjoeping University, 1982.
McAllester, D.: An Outlook on Truth Maintenance, MEMO 551, MIT Ai-Lab, 1980.
Pople, H.: Heuristic Methods for Imposing Structure on Ill-structured Problems, in Szolovits, P., (ed.): Artificial Intelligence in Medicine, AAAS Selected Symposium 51, 1982.
Puppe, F.: Hybride Diagnosebewertung, GWAI-86, Informatik Fachberichte 124, Springer, 332 - 342, 1986.
Puppe, F.: Diagnostisches Problemlösen mit Expertensystemen, Informatik Fachberichte, Springer, 1987.
Puppe, F.: Übersicht über das Diagnostik-Expertensystem-Shell MED2, ACM-Tagung “Expertensysteme 87”, Berichte des German Chapter of the ACM 28, Teubner Verlag, 356 - 375, 1987.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Puppe, F. (1987). Belief Revision in Diagnosis. In: Morik, K. (eds) GWAI-87 11th German Workshop on Artifical Intelligence. Informatik-Fachberichte, vol 152. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-73005-4_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-73005-4_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18388-4
Online ISBN: 978-3-642-73005-4
eBook Packages: Springer Book Archive