A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Rules as actions: A situation calculus semantics for logic programs
1997
The Journal of Logic Programming
I> We propose a novel semantics for logic programs with negation by viewing the application of a clause in a derivation as an action in the situation calculus. Program clauses are then identified with situation calculus effect axioms as they are understood in axiomatic theories of actions. We then solve the frame problem for these effect axioms using a recent approach of Reiter [21] , and identify the resulting collection of axioms with the semantics of the original logic problem. An
doi:10.1016/s0743-1066(96)00122-7
fatcat:m3gqxzv5ojedhjv4svzumuwkmm