Skip to main content
SpringerLink
Log in

Belief revision through the belief-function formalism in a multi-agent environment

  • Part IV: Theories
  • Conference paper
  • First Online:
Intelligent Agents III Agent Theories, Architectures, and Languages (ATAL 1996)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1193))

Included in the following conference series:

Abstract

The abilities of detecting contradictions and rearranging the cognitive space in order to cope with them are important to be embedded in the BDI architecture of an agent acting in a complex and dynamic world. However, to be accomplished in a multi-agent environment, “belief revision” must depart considerably from its original definitions. According to us, the main changes should be the following ones:

  1. 1.

    replacing the “priority to the incoming information principle” with the “recoverability principle”: any previously believed piece of information must belong to the current cognitive state whenever it is possible

  2. 2.

    dealing not just with pieces of information but with couples <source, information> since the reliability of the source affects the credibility of the information and vice-versa.

The “belief-function” formalism is here accepted as a simple and intuitive way to transfer the sources' reliability to the information's credibility.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Kinny, D. and Georgeff, M., Modelling and Design of Multi-Agent Systems, in this Volume

    Google Scholar 

  2. Alchourrón C.E., Gärdenfors P., and Makinson D., On the Logic of Theory Change: Partial meet Contraction and Revision Functions, in The Journal of Simbolic Logic, 50, pp. 510–530, 1985.

    Google Scholar 

  3. P. Gärdenfors, Knowledge in Flux: Modeling the Dynamics of Epistemic States, Cambridge, Mass., MIT Press, 1988.

    Google Scholar 

  4. P. Gärdenfors, Belief Revision, Cambridge University Press, 1992.

    Google Scholar 

  5. W. Nebel, Base Revision Operations and Schemes: Semantics, Representation, and Complexity, in Cohn A.G. (eds.), Proc. of the 11th European Conference on Artificial Intelligence, John Wiley & Sons, 1994.

    Google Scholar 

  6. Benferhat S., Cayrol C., Dubois D., Lang J. and Prade H., Inconsistency Management and Prioritized Syntax-Based Entailment, in Proc. of the 13th Inter. Joint Conf. on Artificial Intelligence, pp. 640–645, 1993.

    Google Scholar 

  7. Williams M.A., Iterated Theory Base Change: A Computational Model, in Proc. of the 14th Inter. Joint Conf. on Artificial Intelligence,pp. 1541–1547, 1995.

    Google Scholar 

  8. Katsuno H. and Mendelzon A.O., On the difference between updating a knowledge base and revising it, in Allen J., Fikes R. and Sandewall E. (eds.), Proc. of the 2nd Inter. Conf. on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, pp. 387–394, 1991.

    Google Scholar 

  9. Chou Tymothy S.-C. and Winslett M., A Model-Based Belief Revision System, in Journal of Automated Reasoning, 12, pp. 157–208, Kluwer Academic Publishers, 1994.

    Google Scholar 

  10. Dubois D. and Prade H., A Survey of Belief Revision and Update Rules in Various Uncertainty Models, in International Journal of Intelligent Systems, 9, pp. 61–100, 1994.

    Google Scholar 

  11. Pearl J., Probabilistic Reasoning for Intelligent Systems, Morgan Kaufmann Publishers, 1988.

    Google Scholar 

  12. Dubois D. and Prade H., Belief Change and Possibility Theory, in Gärdenfors P. (eds.), Belief Revision, Cambridge University Press, 1992.

    Google Scholar 

  13. Shafer G., Belief Functions, in G. Shafer and J. Pearl (eds.), Readings in Uncertain Reasoning, Morgan Kaufmann Publishers, 1990.

    Google Scholar 

  14. Rott, H., A Nonmonotonic Conditional Logic for Belief Revision I, in A. Fuhrmann and M. Morreau (eds.), The Logic of Theory Change, Springer-Verlag, LNAI 465, Berlin, 135–183,1991.

    Google Scholar 

  15. de Kleer J., An Assumption Based Truth Maintenance System, in Artificial Intelligence, 28, pp. 127–162, 1986.

    Article  Google Scholar 

  16. R. Reiter, A Theory of Diagnosis from First Principles, in Artificial Intelligence, 53, 1987.

    Google Scholar 

  17. Shafer G. and Srivastava R., The Bayesian and Belief-Function Formalisms a General Perpsective for Auditing, in G. Shafer and J. Pearl (eds.), Readings in Uncertain Reasoning, Morgan Kaufmann Publishers, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Istituto di Informatica, Università di Ancona, via Brecce Bianche, 60131, Ancona, Italy

    Aldo Franco Dragoni & Paolo Giorgini

Authors
  1. Aldo Franco Dragoni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Paolo Giorgini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jörg P. Müller Michael J. Wooldridge Nicholas R. Jennings

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dragoni, A.F., Giorgini, P. (1997). Belief revision through the belief-function formalism in a multi-agent environment. In: Müller, J.P., Wooldridge, M.J., Jennings, N.R. (eds) Intelligent Agents III Agent Theories, Architectures, and Languages. ATAL 1996. Lecture Notes in Computer Science, vol 1193. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013580

Download citation

  • DOI: https://doi.org/10.1007/BFb0013580

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-62507-0

  • Online ISBN: 978-3-540-68057-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation