A hybrid belief system for doubtful agents

  • Alessandro Saffiotti
7. Hybrid Approaches To Uncertainty
Part of the Lecture Notes in Computer Science book series (LNCS, volume 521)


This paper aims at bridging together the fields of Uncertain Reasoning and Knowledge Representation. The bridge we propose consists in the definition of a Hybrid Belief System, a general modular system capable of performing uncertain reasoning on structured knowledge. This system comprises two distinct modules, UR-mod and KR-mod: the UR-mod provides the uncertainty calculus used to represent uncertainty about our knowledge; this knowledge itself is in turn represented by the linguistic structures made available by the KR-mod. An architecture is drawn for this system grounded on a formal framework, and examples are given using Dempster-Shafer theory or probabilities as UR-mod, and first order logic or Krypton as KR-mod. An ATMS-based algorithm for a Hybrid Belief System is hinted at.


Uncertain Reasoning Knowledge Representation Dempster-Shafer theory Probability ATMS 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Brachman, R.J., Pigman Gilbert, V. and Levesque, H.J. (1985) “An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of Krypton”, Proc. of IJCAI-85: 532–539.Google Scholar
  2. de Kleer, J. (1986) “An Assumption-Based Truth Maintenance System” Artificial Intelligence 28: 127–162.CrossRefGoogle Scholar
  3. Konolige, K. (1984) “Belief and Incompleteness”, SRI Int. Techn. Note 319 (Stanford, CA).Google Scholar
  4. Laskey, K.B. and Lehner, P.E. (1989) “Assumptions, Beliefs and Probabilities”, Artificial Intelligence 41(1).Google Scholar
  5. Levesque, H.J. (1984) “Foundations of a Functional Approach to Knowledge Representation”, Artificial Intell. 23.Google Scholar
  6. Saffiotti, A. (1987) “An AI view of the treatment of uncertainty”, The Knowledge Engineering Review 2(2): 75–97.Google Scholar
  7. Saffiotti, A. (1990a) “A Hybrid Framework for Representing Uncertain Knowledge”, Procs of the Eighth AAAI Conference (Boston, MA).Google Scholar
  8. Saffiotti, A. (1990b) “Using Dempster-Shafer Theory in Knowledge Representation”, Procs. of the Sixth Conference on Uncertainty in AI (Cambridge, MA).Google Scholar
  9. Saffiotti, A. and Sebastiani, F. (1988) “Dialogue Modelling in M-KRYPTON, a Hybrid Language for Multiple Believers”, Proc. of the 4th IEEE Conf.on AI Applications: 56–60.Google Scholar
  10. Schefe, P. (1980) “On Foundations of Reasoning With Uncertain Facts and Vague Concepts”, Int. Journal of Man-Machine Studies 12:35–62.Google Scholar
  11. Shafer G. (1976) A Mathematical Theory of Evidence (Princeton University Press, Princeton).Google Scholar
  12. Shafer, G., Shenoy, P.P. and Mellouli, K. (1987) “Propagating Belief Functions in Qualitative Markov Trees”, International Journal of Approximate Reasoning 1: 349–400.CrossRefGoogle Scholar
  13. Smets, P. (1988) “Belief Functions”, in: Smets P., Mamdani E.H., Dubois D. and Prade H. (Eds.) Non-Standard Logics for Automated Reasoning (Academic Press, London).Google Scholar
  14. Smets, P. and Hsia, Y. (1990) “Default Reasoning and the Transferable Belief Model”, Proc. of the 6th Conf. on Unc. in AI (Cambridge, MA).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Alessandro Saffiotti
    • 1
  1. 1.IRIDIAUniversité Libre de BruxellesBruxellesBelgium

Personalised recommendations