Logical theories in reasoning about actions may also evolve and knowledge engineers need revision tools to incorporate new incoming laws about the dynamic environment. Researchers here fill this gap by providing an algorithmic approach for action theory revision. The researchers give a well defined semantics that ensures minimal change, and show correctness of the algorithms with regard to the semantic constructions.
Reference:
Varzinczak, IJ. 2009. How do I revise my agent’s action theory? 9th International Symposium on Logical Formalization of Commonsense Reasoning: Commonsense 2009, Toronto, Canada, 1-3 June, 2009. pp 129-134
Varzinczak, I. (2009). How do I revise my agent’s action theory?. http://hdl.handle.net/10204/3570
Varzinczak, IJ. "How do I revise my agent’s action theory?." (2009): http://hdl.handle.net/10204/3570
Varzinczak I, How do I revise my agent’s action theory?; 2009. http://hdl.handle.net/10204/3570 .
