Changing probabilistic beliefs in persuasion

• Autorzy: Budzyńska K. , Kacprzak M.

Warianty tytułu

PL

Zmiana probabilistycznych przekonań w perswazji

• Języki publikacji: EN

Abstrakty

EN

The aim of the paper is to extend our formal model of persuasion with an aspect of change of uncertainty interpreted probabilistically. The general goal of our research is to apply this model to design a logic and a software tool that allow for verification of persuasive multi-agent systems (MAS). To develop such a model, we analyze and then adopt the Probabilistic Dynamic Epistemic Logic introduced by B. Kooi. We show that the extensions proposed in this paper allow us to represent selected aspects of persuasion and apply the model in the resource re-allocation problem in multi-agent systems.

PL

Celem pracy jest rozszerzenie zaproponowanego przez nas formalnego modelu perswazji o aspekt zmiany niepewności przekonań agentów interpretowanych w teorii prawdopodobieństwa. Wzbogacony model jest podstawą do zdefiniowania logiki i zaprojektowania narzędzia, które umożliwia automatyczną weryfikację perswazyjnych systemów wieloagentowych. W celu realizacji tego zadania analizujemy i adaptujemy Probabilistyczną Dynamiczną Epistemiczną Logikę wprowadzoną przez B. Kooi. Zastosowanie zaproponowanego podejścia do analizowania wybranych aspektów perswazji omawiamy na przykładzie problemu alokacji zasobów w rozproszonych komputerowych systemach.

Słowa kluczowe

EN

persuasion; beliefs; probabilistic logic; formal verification

PL

perswazja; przekonania; ogika prawdopodobieństwa; formalna weryfikacja; logika prawdopodobieństwa

• Wydawca: Oficyna Wydawnicza Politechniki Białostockiej
• Czasopismo: Zeszyty Naukowe Politechniki Białostockiej. Informatyka
• Rocznik: 2010
• Tom: Z. 6
• Strony: 23--39
• Opis fizyczny: Bibliogr. 14 poz., tab.

Twórcy

autor

Budzyńska K.

autor

Kacprzak M.

• Politechnika Białostocka. Wydział Informatyki, Białystok

Bibliografia

• [1] F. Bacchus, Representing and Reasoning with Probabilistic Knowledge, MIT Press, Cambridge, 1990.
• [2] K. Budzy´nska and M. Kacprzak, ‘A logic for reasoning about persuasion’, Fundamenta Informaticae, 85, 51–65, (2008).
• [3] K. Budzy´nska, M. Kacprzak, and P. Rembelski, ‘Modeling persuasiveness: change of uncertainty through agents’ interactions’, in Frontiers in Artificial Intelligence and Applications. IOS Press, (2008).
• [4] K. Budzynska, M. Kacprzak, and P. Rembelski, ‘Perseus. software for analyzing persuasion process.’, Fundamenta Informaticae, (91), (2009).
• [5] J. Y. Halpern, ‘An analysis of first-order logics of probability’, Artificial Intelligence, 46, 311–350, (1990).
• [6] J.Y. Halpern, ‘Lexicographic probability, conditional probability, and nonstandard probability’, in Proceedings of the Eighth Conference on Theoretical Aspects of Rationality and Knowledge, 17–30, (2001).
• [7] A. Hussain and F. Toni, ‘Bilateral agent negotiation with information-seeking’, in Proc. of EUMAS-2007, (2007).
• [8] B. Kooi, ‘Probabilistic dynamic epistemic logic’, Journal of Logic, Language and Information, 12, 381?408, (2003).
• [9] N. Laverny and J. Lang, ‘From knowledge-based programs to graded beliefbased programs part i: On-line reasoning’, Synthese, (147), 277–321, (2005).
• [10] H. Prakken, ‘Formal systems for persuasion dialogue’, The Knowledge Engineering Review, 21, 163–188, (2006).
• [11] S. D. Ramchurn, C. Mezzetti, A. Giovannucci, J. A. Rodriguez-Aguilar, R. K. Dash, and N.R. Jennings, ‘Trust-based mechanisms for robust and efficient task allocation in the presence of execution uncertainty’, Journal of Artificial Intelligence Research, (35), 119–159, (2009).
• [12] H.P. van Ditmarsch, ‘Prolegomena to dynamic logic for belief revision’, Knowledge, Rationality & Action (Synthese), 147, 229–275, (2005).
• [13] D. N. Walton and E. C. W. Krabbe, Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning, State Univ. of N.Y. Press, 1995.
• [14] B. Yu and M.P. Singh, ‘A social mechanism of reputation management in electronic communities’, in Proceedings of the Fourth International Workshop on Cooperative Information Agents, (2000).