Irrelevant Updates and Nonmonotonic Assumptions

The second postulate of Katsuno and Mendelzon characterizes irrelevant updates. We show that the postulate has to be modified, if nonmonotonic assumptions are considered. Our characterization of irrelevant updates is based on a dependency framework, which provides an alternative semantics of multidimensional dynamic logic programming.

[2]  José Júlio Alferes,et al.  Multi-dimensional Dynamic Logic Programming , 2000, CL-2000 Workshop on Computational Logic in Multi-Agent Systems.

[3]  João Leite.  On Some Differences Between Semantics of Logic Program Updates , 2004, IBERAMIA.

[4]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[5]  Ján Sefránek,et al.  Irrelevant Updates of Nonmonotonic Knowledge Bases , 2006, ECAI.

[6]  Hans Tompits,et al.  A framework for compiling preferences in logic programs , 2002, Theory and Practice of Logic Programming.

[7]  José Júlio Alferes,et al.  Dynamic Logic Programming , 1998, APPIA-GULP-PRODE.

[8]  José Júlio Alferes,et al.  The Well Supported Semantics for Multidimensional Dynamic Logic Programs , 2005, LPNMR.

[9]  Guillermo Ricardo Simari,et al.  Defeasible logic programming: an argumentative approach , 2003, Theory and Practice of Logic Programming.

[10]  José Júlio Alferes,et al.  The Refined Extension Principle for Semantics of Dynamic Logic Programming , 2005, Stud Logica.

[11]  João Leite,et al.  Evolving knowledge bases : specification and semantics , 2003 .

[12]  Alex M. Andrew,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2004 .

[13]  Martin Homola,et al.  Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs , 2004, CLIMA.

[14]  Hans Tompits,et al.  On properties of update sequences based on causal rejection , 2001, Theory and Practice of Logic Programming.

[15]  José Júlio Alferes,et al.  Reasoning with Logic Programming , 1996, Lecture Notes in Computer Science.