How Do I Revise My Agent’s Action Theory?

Logical theories in reasoning about actions may also evolve, and knowledge engineers need revision tools to incorporate new incoming laws about the dynamic en-vironment. We here fill this gap by providing an algo-rithmic approach for action theory revision. We give a well defined semantics that ensures minimal change, and show correctness of our algorithms w.r.t. the seman-tic constructions