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 exchange books? It’s EASY!
Get registered and find other users who want to give their favourite books to good hands!
