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.
Reference:
Varzinczak, JJ. 2009. On the revision of action laws: an algorithmic approach. 8th International Workshop on Nonmonotonic Reasoning, Action and Change: Part of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09), Pasadena, California, USA, 11-17 July 2009, pp 8
Varzinczak, J. (2009). On the revision of action laws: an algorithmic approach. http://hdl.handle.net/10204/3901
Varzinczak, JJ. "On the revision of action laws: an algorithmic approach." (2009): http://hdl.handle.net/10204/3901
Varzinczak J, On the revision of action laws: an algorithmic approach; 2009. http://hdl.handle.net/10204/3901 .
8th International Workshop on Nonmonotonic Reasoning, Action and Change: Part of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09), Pasadena, California, USA, 11-17 July 2009