On the Revision of Action Laws: an Algorithmic Approach
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 we ï¬ll this gap by providing an algorithmic approach for revision of action laws. We give a well deï¬ned semantics that ensures minimal change w.r.t. the original models, and show correctness of our algorithms w.r.t. the semantic constructions.
Do you want to read a book that interests you? It’s EASY!
Create an account and send a request for reading to other users on the Webpage of the book!
