Varzinczak, JJ2010-01-182010-01-182009-07Varzinczak, 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 8978-0-9802840-7-2http://hdl.handle.net/10204/39018th 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 2009Domain 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.enDomain descriptionsAction lawsAlgorithmic approachNonmonotonic reasoningArtificial intelligenceConference PresentationVarzinczak, J. (2009). On the revision of action laws: an algorithmic approach. http://hdl.handle.net/10204/3901Varzinczak, JJ. "On the revision of action laws: an algorithmic approach." (2009): http://hdl.handle.net/10204/3901Varzinczak J, On the revision of action laws: an algorithmic approach; 2009. http://hdl.handle.net/10204/3901 .TY - Conference Presentation AU - Varzinczak, JJ AB - 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. DA - 2009-07 DB - ResearchSpace DP - CSIR KW - Domain descriptions KW - Action laws KW - Algorithmic approach KW - Nonmonotonic reasoning KW - Artificial intelligence LK - https://researchspace.csir.co.za PY - 2009 SM - 978-0-9802840-7-2 T1 - On the revision of action laws: an algorithmic approach TI - On the revision of action laws: an algorithmic approach UR - http://hdl.handle.net/10204/3901 ER -