On Semantic Update Operators for Answer-Set Programs

12 years 6 months ago
On Semantic Update Operators for Answer-Set Programs
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wellunderstood semantics. However, handling the evolution of rule bases is still a largely open problem. The AGM framework for belief change was shown to give inappropriate results when directly applied to logic programs under a nonmonotonic semantics such as the stable models. Most approaches to address this issue, developed so far, proposed update operators based on syntactic conditions for rule rejection. More recently, AGM revision has been successfully applied to a significantly more expressive semantic characterisation of logic programs based on SE models. This is an important step, as it changes the focus from the evolution of a syntactic representation of a rule base to the evolution of its semantic content. In this paper, we borrow results from the area of belief update to tackle the problem of updating...
Martin Slota, João Leite
Added 08 Nov 2010
Updated 08 Nov 2010
Type Conference
Year 2010
Where ECAI
Authors Martin Slota, João Leite
Comments (0)