Modelling the Dynamic of Intentions using a Temporal Propositional Logic

Abstract

Belief-Desire-Intention agents are often based upon logical models and a main part of the field of BDI research is finding logical models. In this thesis I answered whether a logical model could be made and used to perform belief and (sophisticated) intention revision while staying close to propositional logic. I did this by building a logical model, proposing and formalizing a system of checking consistency, proposing and formalizing a (sophisticated) system of intention revision which connected intention to automatic planning and adopting a system of belief revision. Doing so, I showed the value staying close to propositional logic for a logical model as existing tools for propositional logic can be utilized.