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
Perseus. Software for Analyzing Persuasion Process
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Logic for Reasoning about Components of Persuasive Actions
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
Update of Probabilistic Beliefs: Implementation and Parametric Verification
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Using perseus system for modelling epistemic interactions
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
Using the perseus system for modelling epistemic interactions
Transactions on computational collective intelligence V
Perseus. Software for Analyzing Persuasion Process
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Reasoning about dialogical strategies
KES'12 Proceedings of the 16th international conference on Knowledge Engineering, Machine Learning and Lattice Computing with Applications
| 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.