Tractable multiagent planning for epistemic goals
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Alternating-time temporal logic
Journal of the ACM (JACM)
Alternating-time Temporal Logic
FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
Knowing how to play: uniform choices in logics of agency
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
What agents can achieve under incomplete information
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
On Epistemic Temporal Strategic Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Intentions and strategies in game-like scenarios
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Autonomous Agents and Multi-Agent Systems
| Hi-index | 0.00 |
Modal logics of strategic ability usually focus on capturing what it means for an agent to have a feasible strategy that brings about some property.While there is a general agreement on abilities in scenarios where agents have perfect information, the right semantics for ability under incomplete information is still debated upon. Epistemic Temporal Strategic Logic, an offspring of this debate, can be treated as a logic that captures properties of agents' rational play. In this paper, we provide a semantics of etsl that is more compact and comprehensible than the one presented in the original paper by van Otterloo and Jonker. Second, we use etsl to show that a rational player knows that he will succeed if, and only if, he knows how to play to succeed-while the same is not true for rational coalitions of players.