Handbook of theoretical computer science (vol. B)
Reasoning about knowledge
Alternating-time temporal logic
Journal of the ACM (JACM)
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
A knowledge-based framework for belief change part I: foundations
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
A computationally grounded logic of knowledge, belief and certainty
Proceedings of the fourth 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
Reasoning about temporal properties of rational play
Annals of Mathematics and Artificial Intelligence
Intentions and strategies in game-like scenarios
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Hi-index | 0.00 |
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents' abilities. Constructive Strategic Logic (csl) is a variant of atl for imperfect information games that allows to express strategic and epistemic properties of coalitions under uncertainty. In this paper, we propose a logic that extends csl with a notion of plausibility that can be used for reasoning about the outcome of rational behavior (in the game-theoretical sense). Moreover, we show how a particular notion of beliefs can be defined on top of plausibility. The resulting logic, cslp, turns out to be very expressive. We show that beliefs satisfy axioms KD45 in the logic. We also demonstrate how solution concepts for imperfect information games can be characterized and used in cslp and that the model checking complexity increases only slightly when plausibility and rational beliefs are added.