Action Theory Contraction and Minimal Change

Ivan Varzinczak (1)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul

This work is about changing action domain descriptions in dynamic logic. We here revisit the semantics of action theory contraction, giving more robust operators that express minimal change based on a notion of distance between models. We then define syntactical contraction operators and establish their correctness w.r.t. our semantics. Finally we show that our operators satisfy the PDL-counterpart of the standard postulates for theory change adopted in the literature.

Mots clés: Reasoning about actions; theory change; contraction; modularity

Domaines: Intelligence artificielle [cs.AI]

Ivan Varzinczak. Action Theory Contraction and Minimal Change. 2008. ⟨hal-00319222⟩