Considerations on Updates of Logic Programs

Abstract. Among others, Alferes et al. (1998) presented an approach for updating logic programs with sets of rules based on dynamic logic programs. We syntactically redefine dynamic logic programs and investigate their semantical properties, looking at them from perspectives such as a belief revision and abstract consequence relation view. Since the approach does not respect minimality of change, we refine its stable model semantics and present minimal stable models and strict stable models. We also compare the update approach to related work, and find that is equivalent to a class of inheritance programs independently defined by Buccafurri et al. (1999).

• Type: Conference
• Year: 2000
• Where: JELIA
• Authors: Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
• Keywords: Artificial Intelligence, Dynamic Logic Programs, Et Al, JELIA 2000, Stable Models