Modeling Persuasiveness: change of uncertainty through agents' interactions

Authors:
Katarzyna Budzyńska;Magdalena Kacprzak;Paweł Rembelski
Affiliations:
Institute of Philosophy, Cardinal Stefan Wyszynski University in Warsaw, Poland;Faculty of Computer Science, Bialystok University of Technology, Poland;Faculty of Computer Science, Polish-Japanese Institute of Information Technology
Venue:
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Year:
2008

Citing 10
Cited 7

Reasoning about knowledge and probability

Journal of the ACM (JACM)
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Artificial Intelligence
Reaching agreements through argumentation: a logical model and implementation

Artificial Intelligence
Epistemic Logic for AI and Computer Science

Epistemic Logic for AI and Computer Science
Dynamic Logic

Dynamic Logic
Algorithmic Logic

Algorithmic Logic
A Reasoning Model Based on the Production of Acceptable Arguments

Annals of Mathematics and Artificial Intelligence
Formal systems for persuasion dialogue

The Knowledge Engineering Review
Coherence and Flexibility in Dialogue Games for Argumentation

Journal of Logic and Computation
Success chances in argument games: a probabilistic approach to legal disputes

Proceedings of the 2007 conference on Legal Knowledge and Information Systems: JURIX 2007: The Twentieth Annual Conference

A Game-Theoretic Measure of Argument Strength for Abstract Argumentation

JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
A Logic for Reasoning about Persuasion

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
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)
Perseus. Software for Analyzing Persuasion Process

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
A Logic for Reasoning about Persuasion

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)

Quantified Score

Hi-index	0.00

Visualization

Abstract

The purpose of this paper is to provide a formal model of a persuasion process in which a persuader tries to influence audience's beliefs. We focus on various interactions amongst agents rather than only exchange of arguments by verbal means. Moreover, in our approach the impact of the parties of the dispute on the final result of the persuasion is emphasized. Next, we present how to formalize this model using the modal system $\mathcal{AG}_{n}$ inspired by Logic of Graded Modalities and Algorithmic and Dynamic Logics. We also show how to investigate local and global properties of multi-agent systems which can be expressed in the language of the proposed logic.