Abstract
Diagnostic problem solving aims at finding out disorders which may have caused observed symptoms of ill-behaviour. It is often called “abductive reasoning”. The pattern which, from the two premises “if disorder is present then symptom is observed” and “symptom is observed”, infers the conclusion “disorder is plausible”, can be viewed as the simplest pattern of abductive reasoning [Peirce, 1940]. This pattern can be contrasted with deductive inference which, from “if disorder is present then symptom is observed” and “disorder is present” infers that “symptom is observed”. Clearly, a key problem in abduction is to provide some status to the abductive conclusion “disorder is plausible” and maybe to assign some degree of plausibility to this disorder, or at least to be able to rank possible causes of an observed state of facts according to their relative plausibilities. The abductive pattern, although considered by many authors (e.g., [Pólya, 19681), has not been given any logical or numerical formalization until recently, if we except the Bayesian model (which requires more information and where we compute the a posteriori probability of disorders on the basis of observations), and some heuristic, numerically quantified attempts (e.g., [Friedman, 1981; Bandler and Kohout, 1984; Hall, 1987]).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
K. P. Adlassnig, W. Scheithauer and G. Kolarz. Fuzzy medical diagnosis in a hospital. In: Fuzzy Logic in Knowledge Engineering,H. Prade and C. V. Negoita, eds. pp. 275–294. Verlag TÜV Rheinland, Kln, 1986.
Appelbaum and Ruspini, 19851 L. Appelbaum and E. H. Ruspini. ARIES: An approximate reasoning inference engine. In Approximate Reasoning in Expert Systems, M. M. Gupta, A. Kandel, W. Bandler and J.B. Kiszka, eds. pp. 745–765. North-Holland, Amsterdam, 1985.
A. Asse, A. Maizener, A. Moreau and D. Willaeys. Diagnosis based on subjective information in a solar energy plant. In Approximate Reasoning in Intelligent Systems, Decision and Control,E. Sanchez and L. A. Zadeh, eds. pp. 159–173. Pergamon Press, New York, 1987.
J. F. Baldwin. Support logic programming. Int. J. of Intelligent Systems, 1, 73–104, 1986.
W. Bandler and L. J. Kohout. The four modes of inference in fuzzy expert systems. In Cybernetics and Systems Research 2, R. Trappl, ed. pp. 581–586. North-Holland, Amsterdam, 1984.
S. Benferhat, D. Dubois, J. Lang and H. Prade. Hypothetical reasoning in possibilistic logic: basic notions and implementation issues. In Between Mind and Computer, Fuzzy Science and Engineering, Vol. I,P. Z. Wang and K. E Loe, eds. pp. 1–29. World Scientific Publ., Singapore, 1994
S. Benferhat, D. Cayrac, D. Dubois and H. Prade. Explaining away in a possibilistic setting. Proc. of the 6th lm. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU-96),Granada, Spain, July 1–5, Vol. II, pp. 929–934, 1996.
S. Benferhat, D. Dubois, L. Garcia and H. Prade. Directed possibilistic graphs and possibilistic logic. Proc. of the 7th Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU-98),Paris, July 6–10, pp. 1470–1477, 1998.
P. Bonissone, S. Gans and K. Decker. RUM: A layered architecture for reasoning with uncertainty. Proc. of the 10th Inter. Joint Conf. on Artificial Intelligence (IJCAI’87),Milano, Italy, pp. 891–898, 1987.
B. G. Buchanan and E. H. Shortliffe. Rule-Based Expert Systems The MYCIN Experiments of the Stanford Heuristic Programming Project. Addison-Wesley, Reading, MA, 1984.
J. J. Buckley, W. Siler and D. Tucker. A fuzzy expert system. Fuzzy Sets and Systems,20 1–16, 1986
D. Cayrac, D. Dubois and H. Prade. Practical model-based diagnosis with qualitative possibilistic uncertainty. Proc. of the 11th Conf. on Uncertainty in Artificial Intelligence,P. Besnard and S. Hanks, eds. pp. 68–76, 1995.
D. Cayrac, D. Dubois and H. Prade. Handling uncertainty with possibility theory and fuzzy sets in a satellite fault diagnosis application. IEEE Trans. on Fuzzy Systems,4 251–269, 1996.
D. Cayrac, D. Dubois and H. Prade. Possibilistic handling of uncertainty in practical fault isolation. In Fuzzy Information Engineering,d. Dubois, H. Prade and R. Yager, eds. pp. 437–456, Wiley, New York, 1997.
E. Charniak. The Bayesian basis of common sense medical diagnosis. Proc. of the National Conf. on Artificial Intelligence (AAAI’83), pp. 70–73, 1983.
W. J. Clancey. Heuristic classification. Artificial Intelligence, 25, 289–350, 1985.
L. Console and P. Torasso. (1992) A spectrum of logical definitions of model-based diagnosis. In Readings in Model-Based Diagnosis, W. Hamscher, L. Console and J. De Kleer, eds. pp. 78–88. Morgan and Kaufmann, San Mateo, CA, 1992.
Dalton, 19931 R. E. Dalton. Towards a theory of fuzzy causality for diagnosis. Information Sciences, 80, 195–211, 1993.
L. de Campos, J. Gebhardt and R. Kruse. Axiomatic treatment of possibilistic independence. In Symbolic and Quantitative Approaches to Reasoning and Uncertainty,C. Froidevaux and J. Kohlas, eds. pp. 77–88. LNAI 946, Springer Verlag, 1995.
L. de Campos, J. F. Huete and S. Moral. Probability intervals: A tool for uncertain reasoning. Int. J. of Uncertainty, Fuzziness and Knowledge-Based Systems,2 167–196, 1994.
A. di Nola, S. Sessa, W. Pedrycz and E. Sanchez. Fuzzy Relation Equations andtheir Applications to Knowledge Engineering. Kluwer Academic Publ., Dordrecht, 1989.
D. Dubois and H. Prade. Fuzzy Sets and Systems: Theory and Applications. Academic Press, New York, 1980.
D. Dubois and H. Prade. Twofold fuzzy sets and rough sets — Some issues in knowledge representation. Fuzzy Sets and Systems, 23, 3–18, 1987.
D. Dubois and H. Prade. Necessity measures and the resolution principle. IEEE Trans. on Systems, Man and Cybernetics, 17, 474–478, 1987.
D. Dubois and H. Prade. Incomplete conjunctive information. Computers and Mathematics with Applications, 15, 797–810, 1988.
D. Dubois and H. Prade. (with the collaboration of H. Farreny, R. MartinClouaire and C. Testemale) Possibility Theory — An Approach to Computerized Processing of Uncertainty. Plenum Press, New York, 1988. French editions, Masson, 1985 and 1987.
D. Dubois and H. Prade. Modelling uncertainty and inductive inference. Acta Psychologica, 68, 53–78, 1988.
Dubois and Prade, 1988d1 D. Dubois and H. Prade. Representation and combination of uncertainty with belief functions and possibility measures. Computational Intelligence (Canada), 4, 244–264, 1988.
Dubois and Prade, 19891 D. Dubois and H. Prade. Handling uncertainty in expert systems: Pitfalls, difficulties, remedies. In The Reliability of Expert Systems, E. Hollnagel, ed. pp. 64–118. Ellis Horwood, Chichester, UK, 1989.
D. Dubois and H. Prade. Probability theory in artificial intelligence: Book Review of ‘Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference’ by J. Pearl. J. Mathematical Psychology, 34, 472–482, 1990.
Dubois and Prade, 19911 D. Dubois and H. Prade. Possibilistic logic, preference models, nonmonotonicity and related issues. In Proc. of the Inter. Joint Conf. on Artificial Intelligence (IJCAI91), Sydney, Australia, Aug. 24–30, pp. 419–424, 1991.
D. Dubois and H. Prade. A fuzzy relation-based extension of Reggia’s relational model for diagnosis handling uncertain and incomplete information. In Proc. of the 9th Conf. on Uncertainty in Artificial Intelligence, D. Heckerman and A. Mamdani, eds. pp. 106–113, 1993.
D. Dubois and H. Prade. Possibilistic abduction. In IPMU’92 —Advanced Methods in Artificial Intelligence (Proc. of the 4th Inter. Conf. on IPMU’92), Palma de Mallorca, Spain, July 1992, pp. 3–12. Lecture Notes in Computer Science, Vol. 682, Springer Verlag, Berlin, 1993.
D. Dubois and H. Prade. Fuzzy set and possibility theory-based models for diagnostic problem solving. Tech. Rep. IRIT/93–28-R, October 1993.
D. Dubois and H. Prade. Fuzzy relation equations and abductive reasoning. Special Issue on “Equations and Relations on Ordered Structures: Mathematical Aspects and Applications, A. Di Nola, W. Pedrycz and S. Sessa, eds. Fuzzy Sets and Systems, 75, 119–134, 1995.
D. Dubois and H. Prade. Possibility theory: quanitative and quantitative aspects. In Handbook on Defeasible Reasoning and Uncertainty Management Systems—Volume I: Quantified Representation of ncertainty and Imprecision, P. Smets, ed. pp. 169–226. Kluwer, 1998.
D. Dubois, J. Lang and H. Prade. A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision. In Truth Maintenance Systems (Proc. of the ECM’ 90 Workshop),Stockholm, August 1990. J. P. Martins and M. Reinfrank, eds. pp. 87–106. Lecture Notes in Computer Sciences, Vol. 515, Springer Verlag, Berlin, 1991
D. Dubois, L. Farinas del Cerro, A. Herzig and H. Prade. An ordinalview of independence with application to plausible reasoning. In Proc. of the 10th Conf. on Uncertainty in Artificial Intelligence (UAI-94),R. Lopez de Mantaras and D. Poole, eds. Seattle, July 29–31, pp. 195–203. Morgan Kaufmann Publ., San Francisco, 1994.
D. Dubois, S. Moral and H. Prade. A semantics for possibility theory based on likelihoods. Journal of Mathematical Analysis and Applications,205, 359–380, 997.
D. Dubois, L. Farinas del Cerro, A. Herzig and H. Prade. A roadmap of quanitative independence. In Fuzzy Sets, Logics and Reasoning about Knowledge,d. Dubois, H. Prade and E. P. Klement, eds. pp. 325–350. Vol. 15 Applied Logic Series, Kluwer, 1999.
D. Dubois, M. Grabisch and H. Prade. A general approach to diagnosis in a fuzzy setting. In Proceedings of the 8th International Fuzzy Sets Association (IFSA’99),Taipei, Taiwan, pp. 680–684, 1999.
R. O. Duda, J. Gaschnig and P. E. Hart. Model design in the PROSPECTOR consultant system for mineral exploration. In Expert Systems in the Micro-Electronic Age,D. Michie, ed. Edinburgh University Press, Edinburgh, 1981.
R. O. Duda and P. E. Hart. Pattern Classification and Scene Analysis. Wiley, New York, 1973.
A. W. E. Edwards. Likelihood. Cambridge University Press, Cambridge, UK, 1972. [el Ayeb et al.,1993] B. el Ayeb, P. Marquis and M. Rusinowitch. Preferring diagnoses by abduction. IEEE Trans. on Systems, Man and Cybernetics,23, 792–808, 1993.
H. Farreny and H. Prade. Positive and negative explanations of uncertain reasoning in the framework of possibility theory. In Fuzzy Logic for the Management of Uncertainty, L. A. Zadeh and J. Kacprzyk, eds. pp. 319–33. Wiley, New York, 1992.
H. Farreny, H. Prade and E. Wyss. Approximate reasoning in a rule-based expert system using possibility theory: a case study. In Proc. of the 10th World IFIP Congress on Information Processing ‘86,Dublin, 1–5 Sept, H. J. Kugler, ed. pp. 407–413. North-Holland, Amsterdam, 1986.
M. Fieschi, M. Joubert, D. Fieschi, G. Soula and M. Roux. SPHINX: An interactive system for medical diagnosis aids. In Approximate Reasoning in Decision Analysis, M. M. Gupta and E. Sanchez, eds. pp. 269–275. North-Holland, Amsterdam, 1982.
P. Fonck. Conditional independence in possibility theory. In Proc. of the 10th Conf. on Uncertainty in Artificial Intelligence, Seattle, WA, July 29–31, R. Lopez de Mâtaras and D. Poole, eds. pp. 221–229, 1994.
P. Fonck and E. Straszecka. Building influence networks in the frame- work of possibility theory. Ann. Univ. Sci. Budap., Sect. Comp., 12, 101–106, 1991.
L. Friedman. Extended plausible inference. In Proc. of the 7th Inter. Joint Conf. on Artificial Intelligence (IJCAI’81), Vancouver, pp. 487–495, 1981.
R. Garbolino. On the Plausibility of Inverse Possibility. Annali dell’Università di Ferrara, Nuova Serie, Sezione III, Filosofia, Discussion Paper n. 8, Univ. degli Studi di Ferrara, Italy, 1989.
Gmytrasiewicz et al.,1990] P. Gmytrasiewicz, J. A. Hassberger and J. C. Lee. Fault tree based diagnostics using fuzzy logic. In IEEE Trans. on Pattern Analysis and Machine Intelligence,12, 11151119, 1990.
Godo et al.,1987] L. Godo, R. Lopez de Mântaras, C. Sierra and A. Verdaguer. MILORD: The architecture and the management of linguistically expressed uncertainty. Int. J. of Intelligent Systems,4, 471–504, 1987.
Gouvemet et al.,1985] J. Gouvemet, M. Caraboeuf and S. Ayme. GENDIAG: A computer-assisted facility in medical genetics based on belief functions. Methods of Information in Medicine,24, 177–180, 1985.
L. O. Hall. On the fuzzy logic modes of inference: Confirmation and denial. In Proc. of the 2nd Inter. Fuzzy Systems Assoc. (IFSA’87) Congress, Tokyo, Japan, July 20–25, pp. 24–26, 1987.
W. Hamscher, L. Console and J. de Kleer, eds. Readings in Model-Based Diagnosis. Morgan and Kaufmann, San Mateo, CA, 1992.
E. Hisdal. Conditional possibilities — Independence and non-interactivity. Fuzzy Sets and Systems, 1, 283–297, 1978.
P. Jackson. Propositional abductive logic. In Proc. of the 7th Conf. of the Society for the Study of Artificial Intelligence and Simulation of Behaviour, A. G. Cohn, ed. pp. 89–94. Pitman and Morgan-Kaufmann, 1989.
Jackson, 1991a1 P. Jackson. Possibilistic prime implicates and their use in abduction. Research Note, McDonnell Douglas Research Lab., St Louis, MO, 1991.
P. Jackson. Prime implicates: their computation and use. In Proc. of the 11 th Inter. Conf. on Expert Systems and Applications, Avignon, May 27–31, Vol. 1, pp. 53–64, 1991.
J. Kitowski and M. Bargiel. Diagnosis of faulty states in complex physical systems using fuzzy relational equations. In Approximate Reasoning in Intelligent Systems, Decision and Control, E. Sanchez and L. A. Zadeh, eds. pp. 175–194. Pergamon Press, New York, 1987.
J. Kohlas and R. A. Monney. A Mathematical Theory of Hints. Lecture Notes in Economics and Mathematical Systems, Vol. 425, Springer Verlag, Berlin, 1995.
R. Kruse and E. Schwecke. Fuzzy reasoning in a multidimensional space of hypothesis. Int. J. of Approximate Reasoning, 4, 47–68, 1990.
K. B. Laskey and P. E. Lehner. Belief maintenance: An integrated approach to uncertainty management. In Proc. of the 7th National Conference on Artificial Intelligence, Saint Paul, Aug. 21–26, pp. 210–214. 1988.
S. L. Lauritzen and D. J. Spiegelhalter. Local computations with probabilities on graphical structures and their application to expert systems. J. of the Royal Statistical Society, B-50(2), 157–224, 1988.
Lesmo et al.,1985] L. Lesmo, L. Saitta and R. Torasso. Evidence combination in expert systems. Int. J. of Man-Machine Studies,22, 307–326, 1985.
R. Martin-Clouaire and H. Prade. SPII-1 — A simple inference engine capable of accommodating imprecision and uncertainty. In Computer-Assisted Decision-Making, G. Mitra, ed. pp. 117–131. North-Holland, Amsterdam, 1996.
C. P. Pappis and M. Sugeno. Fuzzy relational equations and the inverse problem. Fuzzy Sets and Systems, 15, 79–90, 1985.
J. Pearl. Embracing causality in default reasoning. Artificial Intelligence, 35, 259–271, 1988.
J. Pearl. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, San Mateo, CA, 1988.
C. S. Peirce. Abduction and induction. In Selected Philosophical Writings, J. Buehler, ed. Republished by Dover, 1955.
Y. Peng and J. A. Reggia. Abductive Inference Models for Diagnostic Problem-Solving. Springer Verlag, New York, 1990.
G. Pya. Mathematics and Plausible Reasoning — Vol. II: Pattern of Plausible Inference. First edition, 1954. Second edition, Princeton University Press, 1968.
G. Provan. An analysis of ATMS-based techniques for Computing Dempster–Shafer belief functions. In Proc. 11th Int. Joint Conf. on Artificial Intelligence, Detroit, Aug. 20–25, pp. 1115–1120, 1989.
M. Ramon and A. Riva. Belief maintenance in Bayesian networks. In Proc. of the 10th Conf. on Uncertainty in Artificial Intelligence, Seattle, WA, R. Lopez de Mantaras, D. Poole, eds. pp. 498–505, 1994.
Reggia et al.,1985] J. A. Reggia, D. S. Nau, P. Y. Wang and H. Peng. A formal model of diagnostic inference. Information Sciences,37, 227–285, 1985.
R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32, 57–96, 1987.
R. Reiter and J. de Kleer. Foundations of assumption-based truth maintenance systems: Preliminary report. In Proc. of the 6th National Conf. on Artificial Intelligence (AAA/’87), pp. 183–188, 1987.
A. Saffiotti. A hybrid framework for representing uncertain knowledge. In Proc. of the National Conf. on Artificial Intelligence (AAAP90), Boston, MA., pp. 653–658, 1990.
E. Sanchez. Solutions in composite fuzzy relation equations: Application to medical diagnosis in Brouwerian logic. In Fuzzy Automata and Decision Processes, M. M. Gupta, G. N. Saridis and B. R. Gaines, eds. pp. 221–234. North-Holland, Amsterdam, 1977.
E. Sanchez. Inverses of fuzzy relations, application to possibility distributions and medical diagnosis. Fuzzy Sets and Systems, 2, 75–86. Preliminary version in Proc. of the 1977 IEEE Conf. on Decision and Control, New Orleans, Louisiana, Dec. 7–9,, pp. 1384–1389, 1977.
Seroussi and Golmard, 19941 B.Seroussi and J. L. Golmard. An algoirthm directly finding the k most probable configurations in Bayesian networks. International Journal of Approximate Reasoning, 11, 205–233, 1994.
G. Shafer. A Mathematical Theory of Evidence, Princeton University Press, Princeton, NJ, 1976.
R. R. Shenoy and G. Shafer. Propagating belief functions with local computations. IEEE Expert, Fall, 43–52, 1986.
P. Smets. Un modèle mathématico-statistique simulant le processus du diagnostic médical. Doctoral dissertation, Université Libre de Bruxelles, Belgium, 1978.
P. Smets. Possibilistic inference from statistical data. In Proc. of the 2nd World Conf. on Mathematics at the Service of Man, Universidad Politecnica de la Palmas, Spain, A. Ballester, D. Cardus and E. Trillas, eds. pp. 611–613, 1982.
P. Smets. Probability of provability and belief functions. Logique and Analyse, 133/134, 177–195, 1991.
P. Smets. Belief functions: The disjunctive rule of combination and the generalized Bayesian theorem. Int. J. of Approximate Reasoning, 9, 1–35, 1993.
P. Smets. Application of the transferable belief model to diagnostic problems. Int. J. of Intelligent Systems, 13, 127–157, 1998.
G. Soula, B. Vialettes, J. L. San Marco, X. Thirion and M. Roux. PROTIS: A fuzzy expert system with medical applications. In Fuzzy Logic in Knowledge Engineering,H. Prade and C. V. Negoita, eds. pp. 295–310. Verlag TV Rheinland, Kln, 1986.
D. Spiegelhalter. A statistical view of uncertainty in expert systems. In Artificial Intelligence and Statistics, W. A. Gale, ed. Addison-Wesley, Reading, MA, 1986.
D. Spiegelhalter and R. P. Knill-Jones. Statistical and knowledge based approaches to clinical decision support systems. J. of the Royal Statistical Society, A147, 35–177, 1985.
M. Studeny. Conditional independence and natural conditional functions. Int. J. of Approximate Reasoning, 12, 43–68, 1995.
Torasso and Console, 19891 P. Torasso and L. Console. Diagnostic Problem Solving — Combining Heuristic, Approximate and Causal Reasoning. North Oxford Academic, London, 1989.
Y. Tsukamoto and T. Terano. Failure diagnosis by using fuzzy logic. In Proc. of the IEEE Conf. on Decision and Control, New Orleans, Louisiana, pp. 1390–1395, 1977.
M. P. Wellman and M. Henrion. Qualitative intercausal relations or explaining “explaining away”. In Proc. 2nd Int Conf on Principles of Knowledge Representation and Reasoning (KR’91), pp. 535–546. Morgan Kaufmann, San Francisco, 1991.
R. R. Yager. Measures of accountability and credibility in knowledge based diagnosis systems. In Engineering Risk and Hazard Assessment Vol. III, A. Kandel and E. Avni, eds. pp. 1–15 CRC Press, Boca Raton, FL, 1988.
R. R. Yager. Explanatory models in expert systems, Int. J. of Man-Machine Studies, 23, 539–550, 1985.
L. A. Zadeh. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 1, 3–28, 1978.
L. A. Zadeh. A theory of approximate reasoning. In Machine Intelligence, Vol. 9, J. E. Hayes, D. Michies and L. I. Mikulich, eds. pp. 149–194, Elsevier, New York, 1979.
D. Zwirn and H. Zwim. Metaconfiramation, Theory and Decision, 41, 195–228, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Dubois, D., Prade, H. (2000). An Overview of Ordinal and Numerical Approaches to Causal Diagnostic Problem Solving. In: Gabbay, D.M., Kruse, R. (eds) Abductive Reasoning and Learning. Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol 4. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-1733-5_6
Download citation
DOI: https://doi.org/10.1007/978-94-017-1733-5_6
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5560-6
Online ISBN: 978-94-017-1733-5
eBook Packages: Springer Book Archive