Reasoning about dialogical strategies

Authors:
Magdalena Kacprzak;Katarzyna Budzynska
Affiliations:
Faculty of Computer Science, Bialystok University of Technology, Poland;Institute of Philosophy and Sociology, Polish Academy of Sciences, Poland
Venue:
KES'12 Proceedings of the 16th international conference on Knowledge Engineering, Machine Learning and Lattice Computing with Applications
Year:
2012

Citing 10
Cited 0

Alternating-time temporal logic

Journal of the ACM (JACM)
Commitment-based and dialogue-game-based protocols: new trends in agent communication languages

The Knowledge Engineering Review
Towards the Application of Argumentation-Based Dialogues for Education

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Formal systems for persuasion dialogue

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

Journal of Logic and Computation
Agents that Know How to Play

Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
A Logic for Reasoning about Persuasion

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
An inquiry dialogue system

Autonomous Agents and Multi-Agent Systems
Perseus. Software for Analyzing Persuasion Process

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
A characterisation of strategy-proofness for grounded argumentation semantics

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper proposes an extension of the modal logic ${\cal AG}_n$ with operators for reasoning about different types of strategies which agents may adopt in order to win a dialogue game. We model agent communication using the paradigm of formal systems of dialogues and in particular, a system proposed by Prakken. In the paper, the traditional notion of a winning strategy is extended with a notion of a strategy giving a chance for success and a notion of a strategy giving a particular degree of chances for victory. Then, using the framework of Alternating-time Temporal Logic (ATL) we specify ${\cal AG}_n$ operators which allow the investigation of the dialogical strategies.