EMBEDDING REVISION PROGRAMS IN LOGIC PROGRAMMING SITUATION CALCULUS

Revision programs were introduced by Marek and Truszczynski to specify a change in knowledge bases. In this paper, we show how to embed revi sion programs in logic programs with situation calculus notation. We e xtend Marek and Truszczynski's approach to allow an incomplete initial knowledge base, and extend the rules of revision programs to depend b oth 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. (C) Elsevier Science Inc., 1997