An analysis of communication and cooperation in a logic of belief, intention, and action
Olivier Gasquet, Andreas Herzig, Dominique Longin · HAL (Le Centre pour la Communication Scientifique Directe) · 2001
In this paper, we propose a logic for the dynamics of beliefs and intentions. We suppose that agents are cooperative, and interact both with communicative and physical actions. We built on an existing Dynamic Logic based solution to the frame problem, enabling in particular tableau theorem proving methods. This provides an alternative to recent approaches of Shapiro et al.