×

zbMATH — the first resource for mathematics

SPIRIT and Léa Sombé: A study in probabilistic reasoning. (Léa Sombé und entropie-optimale Informationsverarbeitung mit der Expertensystem-Shell SPIRIT.) (German) Zbl 0914.90174
Summary: The famous example of L. Sombé [‘Reasoning under uncertainty’ (1992; Zbl 0755.68128)] is re-examined by methods combining cross-entropy minimization with probabilistic conditional logic. Thus a knowledge base is built up which allows easy computations and inferences in a logically sound way. The concept is realized by the probabilistic expert system shell SPIRIT which is presented here, too. So the aim of this paper affects as much practical aspects as it concerns logical foundations of knowledge representation. As the Sombé-example illustrates, even incomplete knowledge based on subjective probabilities or statistical data may be represented and dealt with adequately.

MSC:
90B50 Management decision making, including multiple objectives
68T35 Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Adams EW (1975) The Logic of Conditionals. D. Reidel, Dordrecht
[2] Calabrese, PG; Goodman, IR (ed.); etal., Deduction and interference using conditional logic and probability, 71-100, (1991), Amsterdam
[3] Csiszár, I, I-divergence geometry of probability distributions and minimization problems, Ann Probab, 3, 146-158, (1975) · Zbl 0318.60013
[4] Finetti, B; Kyburg, H (ed.); Smokler, H (ed.), La prévision, ses lois logiques et ses sources subjectives. ann inst H Poincaré 7 (1937), 95-158, (1937), New York
[5] Dubois, D; Prade, H; Goodman, IR (ed.); etal., Conditioning, non-monotonic logic and non-standard uncertainty models, 115-158, (1991), Amsterdam
[6] Gerla, G, The probability that tweety is able to fly, Int J Intelligent Systems, 9, 403-409, (1994) · Zbl 0942.68720
[7] Goodman, IR; Nguyen, HT; Gupta, MM (ed.); Yamakawa, T (ed.), Conditional objects and the modeling of uncertainties, 119-138, (1988), Amsterdam
[8] Jaynes ET (1983) Papers on Probability, Statistics and Statistical Physics. Rosenkrantz RD (ed) D. Reidel, Dordrecht Holland
[9] Kullback S (1968) Information Theory and Statistics. Dover, New York · Zbl 0897.62003
[10] Lauritzen SL (1982) Lectures on Contingency Tables. Aalborg University Press, Denmark
[11] Lauritzen, SL; Spiegelhalter, DJ, Local computations with probabilities in graphical structures and their applications to expert systems, J R Statist Soc B, 50, 415-448, (1988)
[12] Lemmer, JF, Generalized Bayesian updating of incompletely specified distributions, Large Scale Syst, 5, 51-68, (1983) · Zbl 0534.62003
[13] Lemmer JF, Barth SW (1982) Efficient minimum information updating for Bayesian inferencing in expert systems. In: Proceedings of the National Conference on Artificial Intelligence. Morgan Kauffmann, Pittsburgh, PA, Los Altos, CA, pp 424-427
[14] Makinson, D; Reinfrank, M (ed.), General theory of cumulative inference, 1-18, (1989), Berlin
[15] Malvestuto FM (1986) Decomposing complex contingency tables to reduce storage requirements. In: Proc. 3rd Intern. Workshop on Scientific and Statistical Database Management, pp 66-71
[16] Meyer, CH; Kern-Isberner, G; Rödder, W; Kleinschmid, P (ed.); etal., Analyse medizinisch-soziologischer daten mittels eines probabilistischen expertensystems, 347-352, (1996), Berlin
[17] Nilsson, NJ, Probabilistic logic, Artificial Intelligence, 28, 71-87, (1986) · Zbl 0589.03007
[18] Pearl J (1988) Probabilistic Reasoning in Intelligent Systems. Morgan Kauffmann, San Mateo, CA · Zbl 0746.68089
[19] Reidmacher HP (1994) Logisches Schließen bei Unsicherheit. Europäische Hochschulschriften, Reihe 5, Bd. 1519, Frankfurt am Main · Zbl 0854.68099
[20] Reidmacher, HP; Kern-Isberner, G, Interpreting a contingency table by rules, Int J Intelligent Syst, 11, 327-346, (1996) · Zbl 0854.68099
[21] Rödder, W; Werners, B (ed.); Gabriel, R (ed.), Symmetrical probabilistic intensional reasoning in inference networks in transition, 129-145, (1994), Berlin Heidelberg New York
[22] Rödder, W; Longgui, X; Hansmann, K-W (ed.); etal., SPIRIT — die behandlung logischer funktionen in einer probabilistischen wissensbasis, 462-469, (1993), Berlin
[23] Shannon, CE, A mathematical theory of communication, Bell Syst Tech J, 27, 379-423, (1948) · Zbl 1154.94303
[24] Shore JE (1986) Relative Entropy, Probabilistic Inference and AI. In: Kanal et al. (eds) Uncertainty in AI. North-Holland, Amsterdam, pp 211-215
[25] Shore, JE; Johnson, RW, Axiomatic derivation of the principle of maximum entropy and the principle of minimum cross-entropy, IEEE Transact Inf Theory, IT-26, 26-37, (1980) · Zbl 0429.94011
[26] Shortliffe E (1976) Computer based medical consultation: MYCIN. American Elsevier Publishing Co, Amsterdam
[27] Sombé L (1992) Schließen bei unsicherem Wissen in der Künstlichen Intelligenz. Vieweg, Braunschweig, Wiesbaden · Zbl 0755.68128
[28] Spiegelhalter, DJ; Dawid, AP; Lauritzen, SL; Cowell, RG, Bayesian analysis in expert systems, Statist Sci, 8, 219-247, (1993) · Zbl 0955.62523
[29] Zimmermann H-J (1990) Fuzzy Set Theory — and its Applications (Rev. Ed.). Boston, Dordrecht, Lancaster
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.