A hybrid belief system for doubtful agents
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.
KeywordsUncertain Reasoning Knowledge Representation Dempster-Shafer theory Probability ATMS
Unable to display preview. Download preview PDF.
- 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
- Konolige, K. (1984) “Belief and Incompleteness”, SRI Int. Techn. Note 319 (Stanford, CA).Google Scholar
- Laskey, K.B. and Lehner, P.E. (1989) “Assumptions, Beliefs and Probabilities”, Artificial Intelligence 41(1).Google Scholar
- Levesque, H.J. (1984) “Foundations of a Functional Approach to Knowledge Representation”, Artificial Intell. 23.Google Scholar
- Saffiotti, A. (1987) “An AI view of the treatment of uncertainty”, The Knowledge Engineering Review 2(2): 75–97.Google Scholar
- Saffiotti, A. (1990a) “A Hybrid Framework for Representing Uncertain Knowledge”, Procs of the Eighth AAAI Conference (Boston, MA).Google Scholar
- Saffiotti, A. (1990b) “Using Dempster-Shafer Theory in Knowledge Representation”, Procs. of the Sixth Conference on Uncertainty in AI (Cambridge, MA).Google Scholar
- 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
- Schefe, P. (1980) “On Foundations of Reasoning With Uncertain Facts and Vague Concepts”, Int. Journal of Man-Machine Studies 12:35–62.Google Scholar
- Shafer G. (1976) A Mathematical Theory of Evidence (Princeton University Press, Princeton).Google Scholar
- 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
- 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