Reasoning about knowledge and probability
Journal of the ACM (JACM)
A Social Mechanism of Reputation Management in Electronic Communities
CIA '00 Proceedings of the 4th International Workshop on Cooperative Information Agents IV, The Future of Information Agents in Cyberspace
Probabilistic Dynamic Epistemic Logic
Journal of Logic, Language and Information
Formal systems for persuasion dialogue
The Knowledge Engineering Review
A Logic for Reasoning about Persuasion
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Modeling Persuasiveness: change of uncertainty through agents' interactions
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Perseus. Software for Analyzing Persuasion Process
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Journal of Artificial Intelligence Research
Using the perseus system for modelling epistemic interactions
Transactions on computational collective intelligence V
Hi-index | 0.00 |
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 (AG n) 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.