Reasoning about temporal properties of rational play

  title={Reasoning about temporal properties of rational play},
  author={Nils Bulling and Wojciech Jamroga and J{\"u}rgen Dix},
  journal={Annals of Mathematics and Artificial Intelligence},
This article is about defining a suitable logic for expressing classical game theoretical notions. We define an extension of alternating-time temporal logic (ATL) that enables us to express various rationality assumptions of intelligent agents. Our proposal, the logic ATLP (ATL with plausibility) allows us to specify sets of rational strategy profiles in the object language, and reason about agents’ play if only these strategy profiles were allowed. For example, we may assume the agents to play… CONTINUE READING
Highly Cited
This paper has 33 citations. REVIEW CITATIONS
20 Citations
45 References
Similar Papers

Similar Papers

Loading similar papers…