On the Revision of Action Laws: an Algorithmic Approach
Ivan Jose ́ Varzinczak · 2009
Domain descriptions in reasoning about actions are logical theories and as such they may also evolve. Given that, knowledge engineers also need revision tools to incorporate new incoming laws about the dynamic environment. Here we fill this gap by pro-viding an algorithmic approach for revision of ac-tion laws. We give a well defined semantics that ensures minimal change w.r.t. the original models, and show correctness of our algorithms w.r.t. the semantic constructions. 1