Action Theory Evolution

Book cover
Like any other logical theory, domain descriptions in reasoning about actions may evolve, and thus need revision methods to adequately accommodate new information about the behavior of actions. The present work is about changing action domain descriptions in propositional dynamic logic. Its contribution is threefold: first we revisit the semantics of action theory contraction that has been done in previous work, giving more robust operators that express minimal change based on a notion of distance between Kripke-models. Second we give algorithms for syntactical action theory contraction and establish their correctness w.r.t. our semantics. Finally we state postulates for action theory contraction and assess the behavior of our operators w.r.t. them. Moreover, we also address the revision counterpart of action theory change, showing that it benefits from our semantics for contraction.
add to favoritesadd

Users who have this book

Users who want this book

What readers are saying

What do you think? Write your own comment on this book!

write a comment

What do you think? Write your own comment on this book

Info about the book

Author:

Series:

Unknown

ISBN:

0805898883

Rating:

4.5/5 (2)

Your rating:

0/5

Languge:

English

Other books by this author

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!