José Júlio Alferes, Federico Banti, Antonio Brogi, João A. Leite:
The Refined Extension Principle for Semantics of Dynamic Logic Programming.
Abstract
Over recent years, various semantics have been proposed for
dealing with updates in the setting of logic programs. The availability of
different semantics naturally raises the question of which are most
adequate to model updates. A systematic approach to face this question is
to identify general principles against which such semantics could be
evaluated. In this paper we motivate and introduce a new such principle -
the refined extension principle. Such principle is complied with by the
stable model semantics for (single) logic programs. It turns out that none
of the existing semantics for logic program updates, even though
generalisations of the stable model semantics, comply with this
principle. For this reason, we define a refinement of the dynamic stable
model semantics for Dynamic Logic Programs that complies with the
principle.
URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-63
@article{REWERSE-RP-2005-63, author = {Jos\'{e} J\'{u}lio Alferes and Federico Banti and Antonio Brogi and João A. Leite}, title = {The Refined Extension Principle for Semantics of Dynamic Logic Programming}, journal = {Studia Logica}, year = {2005}, volume = {79}, number = {1}, pages = {7--32}, url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-63} }