Dynamic Epistemic Logic
A framework for sequential planning in multi-agent settings
Journal of Artificial Intelligence Research
| Hi-index | 0.00 |
In settings where multiple strategic agents perform actions that influence each other's decision-making process, it is often necessary to accurately predict the behaviour of others in order to respond appropriately [9]. One option to do so is by modeling an opponent explicitly, e.g. through dynamic epistemic logic [13], Interactive POMDPs [6], multi-agent influence diagrams [7], or iterated best-response models such as cognitive hierarchy models [2] and level-n theory [1]. These models allow for recursive modeling of an opponent, by modeling the opponent as an opponent-modeling agent itself, creating increasingly complicated models to predict the actions of increasingly sophisticated opponents.