Update of Probabilistic Beliefs: Implementation and Parametric Verification

• Autorzy: Budzyńska K. , Kacprzak M. , Rembelski P.
• Języki publikacji: EN

Abstrakty

EN

The aim of the paper is to propose how to enrich a formal model of persuasion with a specification for actions which are typical for persuasion process. First, since these actions are verbal, they influence a receiver but do not change the agent’s environment. In a formal framework, we represent them as actions that change not the particular state of a model, but the whole model. Second, effects of those actions depend on how much the receiver trusts the persuader. To formally model this phenomenon, we use a trust function. Finally, we want to represent uncertainty in terms of probability. Thus far, our model did not allow to express those properties of the persuasion process. Therefore, in this paper we extend Multimodal Logic of Actions and Graded Beliefs (AGn) with Probabilistic Dynamic Epistemic Logic (PDEL) and elements of Reputation Management framework (RM). Incorporation of PDEL into the model of persuasion requires some modifications of PDEL. Such extended model is then used to enrich Perseus - our software tool that enables to examine persuasive multi-agent systems. New components of the tool allow us to execute parametric verification of the different properties related to updating probabilistic beliefs in persuasion.

Słowa kluczowe

EN

formal frameworks; uncertainty in persuasion

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2010
• Tom: Vol. 102, nr 1
• Strony: 35--48
• Opis fizyczny: Bibliogr. 10 poz.

Twórcy

autor

Budzyńska K.

autor

Kacprzak M.

autor

Rembelski P.

• Institute of Philosophy, Cardinal Stefan Wyszyński University in Warsaw, Dewajtis 5, 01-815 Warsaw, Poland,

Bibliografia

• [1] Budzyńska, K., Kacprzak, M.: A Logic for Reasoning about Persuasion, Fundamenta Informaticae, 85, 2008, 51-65.
• [2] Budzyńska, K., Kacprzak, M., Rembelski, P.: Modeling Persuasiveness: change of uncertainty through agents' interactions, Proc. of COMMA, Frontiers in Artificial Intelligence and Applications, IOS Press, 2008.
• [3] Budzyńska, K., Kacprzak, M., Rembelski, P.: Perseus. Software for analyzing persuasion process., Fundamenta Informaticae, (91), 2009.
• [4] Fagin, R., Halpern, J. Y.: Reasoning about knowledge and probability, Journal of the ACM, 41(2), 1994, 340-367.
• [5] Gerbrandy, J.: Bisimulations on Planet Kripke, Dissertation Series, Amsterdam: ILLC, 1999.
• [6] Hussain, A., Toni, F.: Bilateral agent negotiation with information-seeking, Proc. of the 5th European Workshop on Multi-Agent Systems, 2007.
• [7] Kooi, B.: Probabilistic Dynamic Epistemic Logic, Journal of Logic, Language and Information, (12), 2003, 381-408.
• [8] Prakken, H.: Formal systems for persuasion dialogue, The Knowledge Engineering Review, 21, 2006, 163-188.
• [9] Ramchurn, S. D., Mezzetti, C., Giovannucci, A., Rodriguez-Aguilar, J. A., Dash, R. K., Jennings, N.: Trust-Based Mechanisms for Robust and Efficient Task Allocation in the Presence of Execution Uncertainty, Journal of Artificial Intelligence Research, (35), 2009, 119-159.
• [10] Yu, B., Singh, M.: A Social Mechanism of Reputation Management in Electronic Communities, Proceedings of the Fourth International Workshop on Cooperative Information Agents, 2000.