On the revision of action laws: an algorithmic approach

Abstract

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 the authors fill this gap by providing an algorithmic approach for revision of action laws. They give a well defined semantics that ensures minimal change with regards to the original models, and show correctness of their algorithms with regard to. the semantic constructions.