14 March 2024, The Utrecht Logic in Progress Series (TULIPS), Dragan Doder

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. Finally, I will briefly present some current and future work based on this paper.

For more information, see http://tulips.sites.uu.nl/ or contact Colin R. Caret at c.r.caret at uu.nl.