Using preference based heuristics to control abductive reasoning

  • John Bigham
Part of the Lecture Notes in Computer Science book series (LNCS, volume 945)


Explanations for symptoms can be selected using a variety of criteria. When numerical information is scarce, approaches which depend on partial orders could be of value. The problem of generating explanations for symptoms when only preference relationships between possible causes is considered. The lack of information leads to large number of possible solutions and control of the reasoning process is very important. A computational approach based on focusing the reasoning using a cost bounded ATMS is described.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bigham, J., Pang D., Kehl, W., Newstead, M., Neuman, C. (1992) “A generic maintenance system for telecommunications”, in “The Management of Telecommunications Networks”, eds. R. Smith, E.H. Mamdani, & J. Callaghan, Ellis Horwood. (Also 6th TMN conference, Madeira September 92).Google Scholar
  2. 2.
    Bigham, J., Pang, D., (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
  3. 3.
    Cayrol, C., Royer, V., & Saurel, C. (1993) “Methodological Approach to Preference Based Diagnosis” ToolDiag'93 April 93 Available from Centre d'Etudes et de Recherches de Toulouse, 2 Avenue Edouard Belin, B.P. 4025, 31055 Toulouse Cedex.Google Scholar
  4. 4.
    Cayrol, C., Royer, V., & Saurel, C. (1992) “Management of Preferences in Assumption Based Reasoning”, IPMU 92 Springer VerlagGoogle Scholar
  5. 5.
    de Kleer, J. (1986) “Problem solving with the ATMS”, Artificial Intelligence, Vol. 28, pp197–224, North Holland.Google Scholar
  6. 6.
    de Kleer, J. & Williams, B.C. (1987) “Diagnosing multiple faults” Artificial Intelligence, 32, pp 97–130.Google Scholar
  7. 7.
    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
  1. 1.Department of Electronic Engineering, Queen Mary & Westfield CollegeUniversity of LondonLondon

Personalised recommendations