TY - JOUR
T1 - Embedding revision programs in logic programming situation calculus
AU - Baral, Chitta
PY - 1997/1
Y1 - 1997/1
N2 - Revision programs were introduced by Marek and Truszczynski to specify a 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 an 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.
AB - Revision programs were introduced by Marek and Truszczynski to specify a 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 an 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.
UR - http://www.scopus.com/inward/record.url?scp=0043265297&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0043265297&partnerID=8YFLogxK
U2 - 10.1016/S0743-1066(96)00080-5
DO - 10.1016/S0743-1066(96)00080-5
M3 - Article
AN - SCOPUS:0043265297
SN - 0743-1066
VL - 30
SP - 83
EP - 97
JO - Journal of Logic Programming
JF - Journal of Logic Programming
IS - 1
ER -