Advertisement

A cost bounded possibilistic ATMS

  • John Bigham
  • Zhiyuan Luo
  • Debashis Banerjee
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 946)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 1Google Scholar
  2. 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.Google Scholar
  3. de Kleer, J. (1986) “Extending the ATMS”, Artificial Intelligence 28 pp163–196, Elsevier ScienceGoogle Scholar
  4. 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.Google Scholar
  5. Murato, T., (1989) “Petri Nets:Properties, Analysis and Applications”, Proc. IEEE, Vol 77, No 4, April 1989Google Scholar
  6. 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-17Google Scholar
  7. Poole, D., (1993) “Probabilistic Horn Clause Abduction and Bayesian Networks”, Artificial Intelligence, 64, (1993) pp81–129, Elsevier Science PublishersGoogle Scholar
  8. 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 SingaporeGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • John Bigham
    • 1
  • Zhiyuan Luo
    • 1
  • Debashis Banerjee
    • 1
  1. 1.Department of Electronic Engineering, Queen Mary & Westfield CollegeLondon UniversityLondon

Personalised recommendations