Chapter 11 Knowledge and Ability

@inproceedings{gotnes2016Chapter1K,
  title={Chapter 11 Knowledge and Ability},
  author={Thomas {\AA}gotnes and Valentin Goranko and Wojciech Jamroga and Michael Wooldridge},
  year={2016}
}
In this chapter we relate epistemic logics with logics for strategic ability developed and studied in computer science, artificial intelligence and multi-agent systems. We discuss approaches from philosophy and artificial intelligence to modelling the interaction of agents’ knowledge and abilities and then focus on concurrent game models and the alternating-time temporal logic ATL. We show how ATL enables reasoning about agents’ coalitional abilities to achieve qualitative objectives in… CONTINUE READING