Abstract
An incremental approach for generating multiple fault explanations when the system behaviour model is incomplete has been developed using a cost bounded ATMS as an underlying implementation mechanism. This paper describes an extension of the basic cost bounded ATMS suitable for cases when the incompleteness is modelled using possibilistic logic. The possibilistic cost bounded ATMS is integrated into a diagnostic system where uncertain and temporal information are used to discriminate hypotheses.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Bigham, J., Pang, P., (1993) “A model based reasoning system for the maintenance of telecommunications networks”, International Journal of Engineering Intelligent Systems for Electrical Engineering and Communications”, No 1, Vol. 1
Bigham, J., Luo, Z., (1995) “An integrated tool for uncertain and temporal reasoning in diagnostic problems”, Internal Report, Department of Electronic Engineering, Queen Mary & Westfield College (London University), Mile End Road, London E1 4NS.
de Kleer, J. (1986) “Extending the ATMS”, Artificial Intelligence 28 pp163–196, Elsevier Science
Dubois, D., Lang, J., Prade H., (1989) “A Possibilistic Assumption-based Truth Maintenance System with uncertain justifications and its application to belief revision”, Truth Maintenance Systems, Springer Verlag, pp 87–106.
Murato, T., (1989) “Petri Nets:Properties, Analysis and Applications”, Proc. IEEE, Vol 77, No 4, April 1989
Peng, Y., Reggia, J.A., (1987) “A probabilistic causal model for diagnostic problem solving — Parts I and II”, IEEE Transactions on Systems, Man and Cybernetics, Vol SMC-17
Poole, D., (1993) “Probabilistic Horn Clause Abduction and Bayesian Networks”, Artificial Intelligence, 64, (1993) pp81–129, Elsevier Science Publishers
Ngair, T. H. and Provan G. (1993) “A Lattice-Theoretic Analysis of Assumption-based Problem Solving”, Institute of System Science, National University of Singapore, Kent Ridge, S(0511), Republic of Singapore
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bigham, J., Luo, Z., Banerjee, D. (1995). A cost bounded possibilistic ATMS. In: Froidevaux, C., Kohlas, J. (eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty. ECSQARU 1995. Lecture Notes in Computer Science, vol 946. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60112-0_7
Download citation
DOI: https://doi.org/10.1007/3-540-60112-0_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60112-8
Online ISBN: 978-3-540-49438-6
eBook Packages: Springer Book Archive