Embedding revision programs in logic programming situation calculus

Research output: Contribution to journalArticle

10 Scopus citations

Abstract

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.

Original languageEnglish (US)
Pages (from-to)83-97
Number of pages15
JournalJournal of Logic Programming
Volume30
Issue number1
DOIs
StatePublished - Jan 1997
Externally publishedYes

ASJC Scopus subject areas

  • Logic

Fingerprint Dive into the research topics of 'Embedding revision programs in logic programming situation calculus'. Together they form a unique fingerprint.

  • Cite this