Embedding Revision Programs in Logic Programming Situation
Revision programs were introduced by Marek and Truszczynski to
specify change in knowledge bases.
In this paper we show how to embed revision programs in
logic programs with situation calculus notation.
We extend Marek and Truszczynski's approach to allow
incomplete initial knowledge base and extend the rules
of revision programs to depend both on the initial
and the final knowledge base. We show how revision programs
and its proposed extension can be incorporated in theories of
actions and how our usage of situation calculus notation
makes this easier and elegant.