Intentions and strategies in game-like scenarios

Authors:
Wojciech Jamroga;Wiebe van der Hoek;Michael Wooldridge
Affiliations:
Institute of Computer Science, Clausthal University of Technology, Germany;Department of Computer Science, University of Liverpool, UK;Department of Computer Science, University of Liverpool, UK
Venue:
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Year:
2005

Citing 11
Cited 11

Intention is choice with commitment

Artificial Intelligence
Temporal and modal logic

Handbook of theoretical computer science (vol. B)
The uses of plans

Artificial Intelligence
Fast planning through planning graph analysis

Artificial Intelligence
Dynamic Logic

Dynamic Logic
Introduction to Multiagent Systems

Introduction to Multiagent Systems
Alternating-time temporal logic

Journal of the ACM (JACM)
Planning as Model Checking

ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
A modal characterization of Nash equilibrium

Fundamenta Informaticae
Preferences in Game Logics

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
A logic for strategic reasoning

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems

An Improved Formal Framework of Actions, Individual Intention and Group Intention for Multi-agent Systems

IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
A framework for reasoning about rational agents

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Agents, beliefs, and plausible behavior in a temporal setting

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
A Logic for Reasoning about Rational Agents

Computational Logic in Multi-Agent Systems
Reasoning about temporal properties of rational play

Annals of Mathematics and Artificial Intelligence
Rational play and rational beliefs under uncertainty

Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Dynamic restriction of choices: a preliminary logical report

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
On the relationship between playing rationally and knowing how to play: a logical account

KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Dynamic restriction of choices: synthesis of societal rules

LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Reasoning about agent programs using ATL-Like logics

JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Comparing variants of strategic ability: how uncertainty and memory influence general properties of games

Autonomous Agents and Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we investigate the link between logics of games and “mentalistic” logics of rational agency, in which agents are characterized in terms of attitudes such as belief, desire and intention. In particular, we investigate the possibility of extending the logics of games with the notion of agents’ intentions (in the sense of Cohen and Levesque’s BDI theory). We propose a new operator (straσ) that can be used to formalize reasoning about outcomes of strategies in game-like scenarios. We briefly discuss the relationship between intentions and goals in this new framework, and show how to capture dynamic logic-like constructs. Finally, we demonstrate how game-theoretical concepts like Nash equilibrium can be expressed to reason about rational intentions and their consequences.