Knowledge-Based Systems Group

M.Sc. On the Progression of Higher-order Belief in Multi-agent Systems

Motivation

Progression is a form of projection reasoning that updates an initial state to a future one according to the effects of actions, and determines what holds in the updated state. In single-agent systems, progression has been extensively studied, mainly via the logical formalism of the Situation Calculus and its epistemic variants[¹,²].