A Unified Framework for Representing Logic Program Updates

Yan Zhang, Norman Foo

As a promising formulation to represent and reason about agents’ dynamic behavious, logic program updates have been considerably studied recently. While similarities and differences between various approaches were discussed and evaluated by researchers, there is a lack of method to represent different logic program update approaches under a common framework. In this paper, we continue our study on a general framework for logic program conflict solving based on notions of strong and weak forgettings. We show that all major logic program update approaches can be transformed into our framework, under which each update approach becomes a specific conflict solving case with certain constraints. We also investigate related computational properties for these transformations.

Content Area: 11. Logic Programming

Subjects: 11. Knowledge Representation; 15.1 Belief Revision

Submitted: May 7, 2005

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.