ATL* With Truly Perfect Recall: Expressivity and Validities
Nils Bulling, Wojciech Jamroga, Matei Popovici · Frontiers in artificial intelligence and applications · 2014
In alternating-time temporal logic ATL*, agents with perfect recall assign choices to sequences of states, i.e., to possible finite histories of the game. However, when a nested strategic modality is interpreted, the new strategy does not take into account the previous sequence of events. It is as if agents collect their observations in the nested game again from scratch, thus effectively forgetting what they observed before. Intuitively, it does not fit the assumption of agents having perfect recall of the past.