Dragan Doder

Date: 16:00 – 16:30, Thursday, 19.11.2020
Location: Teams ICS Colloquium

Title: Interplay between beliefs and intentions in dynamic environments
Abstract: This talk is based on joint work with Mehdi Dastani, Marc van Zee, Leon van der Torre, Thomas F. Icard III and Eric Pacuit, published in Artificial Intelligence journal 2020. In my talk I will present some results on the interplay of beliefs and intentions. I will present a formal system for reasoning about actions, time and belief, in which assumptions of actions are represented by their preconditions. Intended actions are coherent with beliefs, as long as these assumptions are not violated, i.e. as long as the actions can be performed, such that their preconditions hold as well. Then, I will formalize what-if scenarios: what happens with actions and beliefs if a new intention is adopted, or if the belief base is updated? The agents are committed to their intended actions as long as their belief-intention databases are coherent. I will present postulates for revision operators of those databases, and a Katsuno-Mendelzon-style representation theorem which characterizes all the revision operators that satisfy the postulates.