Skip to main content
SpringerLink
Log in

Aggregation of Trust for Iterated Belief Revision in Probabilistic Logics

  • Conference paper
Scalable Uncertainty Management (SUM 2009)

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

Included in the following conference series:

Abstract

In this paper it is shown how communication about trust in a multi-agent system may be used to endow agents with belief change capabilities, in a probabilistic logical framework. Belief change operators are obtained in an intuitive, principled way using aggregation operators for trust-values. Under additional conditions, such change operators may be proved to be maxichoice. The present approach constitutes a sound method for autonomous uncertainty management in multi-agent systems.

The author wishes to thank Pilar Dellunde, Lluís Godo and anonymous reviewers for helpful comments and Agreement Technologies project (Consolider CSD2007-022, INGENIO 2010) from the Spanish Ministry of Science and Innovation for financial support.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alchourrón, C., Gärdenfors, P., Makinson, D.: On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. The Journal of Symbolic Logic 50, 510–530 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  2. Booth, R., Richter, E.: On Revising Fuzzy Belief Bases. Studia Logica 80, 29–61 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  3. Calvo, T., Mayor, G., Mesiar, R. (eds.): Aggregation Operators. Physica-Verlag; Springer-Verlag (2002)

    Google Scholar 

  4. Darwiche, A., Pearl, J.: On the logic of iterated belief revision. Artificial Intelligence 89(1,2), 1–29 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  5. Delgrande, J., Dubois, D., Lang, J.: Iterated revision as prioritized merging. In: Proceedings of KR-2006, pp. 210–220 (2006)

    Google Scholar 

  6. Dellunde, P., Godo, L.: Introducing grades in deontic logics. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol. 5076, pp. 248–262. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  7. Demolombe, R., Liau, C.J.: A Logic of Graded Trust and Belief Fusion. In: Proc. 4th Workshop on Deception, Fraud and Trust in Agent Societies, Montréal (2001)

    Google Scholar 

  8. Dragoni, A.F., Giorgini, P.: Revising beliefs received from multiple sources. In: Williams, M.A., Rott, H. (eds.) Frontiers in belief revision, vol. 22. Kluwer, Dordrecht (2001)

    Chapter  Google Scholar 

  9. Dubois, D., Prade, H.: Possibility theory, probability theory and muliple-valued logics: A clarification. Annals of Math. and Art. Intel. 32, 35–66 (2001)

    Article  MATH  Google Scholar 

  10. Esteva, F., Gispert, J.: Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results. Fuzzy Sets and Systems 185, 597–618 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  11. Flaminio, T., Pinna, G.M., Tiezzi, E.B.P.: A complete fuzzy logical system to deal with trust management systems. Fuzzy Sets and Systems 159, 1191–1207 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  12. Font, J.M., Jansana, R.: A General Algebraic Semantics for Sentential Logics. Lecture Notes in Logic, vol. 7. Springer, Heidelberg (1996)

    Book  MATH  Google Scholar 

  13. Godo L.l., Hájek P. and Esteva F.: A Fuzzy Modal Logic for Belief Functions. Fundamenta Informaticae, 1001–1020 (2001)

    Google Scholar 

  14. Hájek, P.: Metamatematics of Fuzzy Logic. Trends in Logic, vol. 4. Kluwer, Dordrecht (1998)

    Book  Google Scholar 

  15. Halpern, J., Fagin, R.: Reasoning about Knowledge and Probability. Journal of the ACM 41(2), 340–367 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  16. Hansson, S.o.: Ten philosophical problems in belief revision. Journal of Logic and Computation 13(1), 37–49 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  17. Konieczny, S., Lang, J., Marquis, P.: DA2 merging operators. Artificial Intelligence 157, 49–79 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  18. Liau, C.J.: Belief, information acquisition, and trust in multi-agent systems - A modal logic formulation. Artificial Intelligence 149, 31–60 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  19. Maynard-Reid II, P., Shoham, Y.: Belief Fusion: Aggregating Pedigreed Belief States. Journal of Logic, Language and Information 10, 183–209 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  20. Ognjanovic, Z., Raškovic, M.: Some first-order probability logics. Theoretical Computer Science 247, 191–212 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  21. Pardo, P.: Base Belief Revision for Finitary Monotonic logics. In: Proceedings of the ESSLLI 2009 Student Session (2009)

    Google Scholar 

  22. Peppas, P.: Belief Revision. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation. Elsevier, Amsterdam (2007)

    Google Scholar 

  23. Sierra, C., Sabater-Mir, J.: Review on Computational Trust and Reputation Systems. Artificial Intelligence Review 24, 33–60 (2005)

    Article  MATH  Google Scholar 

  24. Torra, V., Narukawa, Y.: Information Fusion and Aggregation Operators. Cognitive Technologies Series. Springer, Heidelberg (2007)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut d’Investigació en Intel·ligència Artificial (IIIA - CSIC), Campus UAB, E-08193, Bellaterra, Catalonia, Spain

    Pere Pardo

Authors
  1. Pere Pardo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Articial Intelligence Reseach Institute (IIIA), Spanish National Research Council (CSIC), Campus de la Universitat, 08193, Bellaterra, Spain

    Lluís Godo

  2. Department of Electronics, Computer Science and Systems, University of Calabria, Via P. Bucci, 41C, 87036, Rende (CS), Italy

    Andrea Pugliese

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pardo, P. (2009). Aggregation of Trust for Iterated Belief Revision in Probabilistic Logics. In: Godo, L., Pugliese, A. (eds) Scalable Uncertainty Management. SUM 2009. Lecture Notes in Computer Science(), vol 5785. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04388-8_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04388-8_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-04387-1

  • Online ISBN: 978-3-642-04388-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation