Reasoning about knowledge
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
Dynamic Logic
Algorithmic Logic
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Modeling Persuasiveness: change of uncertainty through agents' interactions
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Hi-index | 0.00 |
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.