A Logic for Reasoning about Persuasion

Issue title: Concurrency Specification and Programming (CS&P)

Article type: Research Article

Authors: Budzyńska, Katarzyna | Kacprzak, Magdalena

Affiliations: Institute of Philosophy Cardinal Stefan Wyszyński University in Warsaw, Poland. k.budzynska@uksw.edu.pl | Faculty of Computer Science Białystok University of Technology, Białystok, Poland. mkacprzak@ii.pb.bialystok.pl

Note: [] Address for correspondence: Institute of of Philosophy, Cardinal Stefan Wyszynski University in Warsaw, Dewajtis 5, 01-815 Warsaw, Poland

Abstract: In the article, we introduce a sound and complete deductive system (AGn) which can be used to reason about persuasion process performed in distributed systems of agents in circumstances of uncertain and incomplete information. In order to express degrees of beliefs of these agents, we adopt methods of Logic of Graded Modalities. To represent degrees' changes resulting from the persuasion, we apply tools of Algorithmic Logic and Dynamic Logic. As a result, we interpret arguments as actions which lead to change of grades of agents' beliefs.

Journal: Fundamenta Informaticae, vol. 85, no. 1-4, pp. 51-65, 2008