Abstract
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.
Keywords
This research has been partially supported by the ARCHON project, which is funded by grants from the Commission of the European Communities under the ESPRIT-II Program, P-2256; the partners in this project are: Krupp Atlas Elektronik GmbH, Amber, CERN, CNRG-NTUA Athens, Electricity Council Research Centre, Framentec, FWI Univ. of Amsterdam, Iberduero, Iridia Univ. Libre de Bruxelles, JRC Ispra, Labein, Volmac, Univ. of Porto, Queen Mary and Westfield College.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
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.
de Kleer, J. (1986) “An Assumption-Based Truth Maintenance System” Artificial Intelligence 28: 127–162.
Konolige, K. (1984) “Belief and Incompleteness”, SRI Int. Techn. Note 319 (Stanford, CA).
Laskey, K.B. and Lehner, P.E. (1989) “Assumptions, Beliefs and Probabilities”, Artificial Intelligence 41(1).
Levesque, H.J. (1984) “Foundations of a Functional Approach to Knowledge Representation”, Artificial Intell. 23.
Saffiotti, A. (1987) “An AI view of the treatment of uncertainty”, The Knowledge Engineering Review 2(2): 75–97.
Saffiotti, A. (1990a) “A Hybrid Framework for Representing Uncertain Knowledge”, Procs of the Eighth AAAI Conference (Boston, MA).
Saffiotti, A. (1990b) “Using Dempster-Shafer Theory in Knowledge Representation”, Procs. of the Sixth Conference on Uncertainty in AI (Cambridge, MA).
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.
Schefe, P. (1980) “On Foundations of Reasoning With Uncertain Facts and Vague Concepts”, Int. Journal of Man-Machine Studies 12:35–62.
Shafer G. (1976) A Mathematical Theory of Evidence (Princeton University Press, Princeton).
Shafer, G., Shenoy, P.P. and Mellouli, K. (1987) “Propagating Belief Functions in Qualitative Markov Trees”, International Journal of Approximate Reasoning 1: 349–400.
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).
Smets, P. and Hsia, Y. (1990) “Default Reasoning and the Transferable Belief Model”, Proc. of the 6th Conf. on Unc. in AI (Cambridge, MA).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Saffiotti, A. (1991). A hybrid belief system for doubtful agents. In: Bouchon-Meunier, B., Yager, R.R., Zadeh, L.A. (eds) Uncertainty in Knowledge Bases. IPMU 1990. Lecture Notes in Computer Science, vol 521. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0028126
Download citation
DOI: https://doi.org/10.1007/BFb0028126
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54346-6
Online ISBN: 978-3-540-47580-4
eBook Packages: Springer Book Archive