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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Booth, R., Richter, E.: On Revising Fuzzy Belief Bases. Studia Logica 80, 29–61 (2005)
Calvo, T., Mayor, G., Mesiar, R. (eds.): Aggregation Operators. Physica-Verlag; Springer-Verlag (2002)
Darwiche, A., Pearl, J.: On the logic of iterated belief revision. Artificial Intelligence 89(1,2), 1–29 (1997)
Delgrande, J., Dubois, D., Lang, J.: Iterated revision as prioritized merging. In: Proceedings of KR-2006, pp. 210–220 (2006)
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)
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)
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)
Dubois, D., Prade, H.: Possibility theory, probability theory and muliple-valued logics: A clarification. Annals of Math. and Art. Intel. 32, 35–66 (2001)
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)
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)
Font, J.M., Jansana, R.: A General Algebraic Semantics for Sentential Logics. Lecture Notes in Logic, vol. 7. Springer, Heidelberg (1996)
Godo L.l., Hájek P. and Esteva F.: A Fuzzy Modal Logic for Belief Functions. Fundamenta Informaticae, 1001–1020 (2001)
Hájek, P.: Metamatematics of Fuzzy Logic. Trends in Logic, vol. 4. Kluwer, Dordrecht (1998)
Halpern, J., Fagin, R.: Reasoning about Knowledge and Probability. Journal of the ACM 41(2), 340–367 (1994)
Hansson, S.o.: Ten philosophical problems in belief revision. Journal of Logic and Computation 13(1), 37–49 (2003)
Konieczny, S., Lang, J., Marquis, P.: DA2 merging operators. Artificial Intelligence 157, 49–79 (2004)
Liau, C.J.: Belief, information acquisition, and trust in multi-agent systems - A modal logic formulation. Artificial Intelligence 149, 31–60 (2003)
Maynard-Reid II, P., Shoham, Y.: Belief Fusion: Aggregating Pedigreed Belief States. Journal of Logic, Language and Information 10, 183–209 (2001)
Ognjanovic, Z., Raškovic, M.: Some first-order probability logics. Theoretical Computer Science 247, 191–212 (2000)
Pardo, P.: Base Belief Revision for Finitary Monotonic logics. In: Proceedings of the ESSLLI 2009 Student Session (2009)
Peppas, P.: Belief Revision. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation. Elsevier, Amsterdam (2007)
Sierra, C., Sabater-Mir, J.: Review on Computational Trust and Reputation Systems. Artificial Intelligence Review 24, 33–60 (2005)
Torra, V., Narukawa, Y.: Information Fusion and Aggregation Operators. Cognitive Technologies Series. Springer, Heidelberg (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)