{"type":"ScholarlyArticle","title":"Towards Generalized Rule-based Updates","authors":[{"name":"Yan Zhang","slug":"yan-zhang","given":"Yan","family":"Zhang","affiliation":""},{"name":"Norman Y. Foo","slug":"norman-y-foo","given":"Norman Y.","family":"Foo","affiliation":""}],"abstract":"Recent work on rule-based updat es provided new frameworks for updates in more general knowledge domains [Marek and Truszczriski , 1994; Baral, 1994; Przymusinski and Turner , 1995]. In this paper , we consider a simple generalization of rule-based updates where incomplete knowledge bases are allowed and updat e rules may contain two types of negations. It turns out that previous methods cannot deal with this generalized rule-based update properly. To overcome the difficulty, we argue that necessary preferences between update rules and inertia rules must be taken into account in update specifications. From this motivation , we propose prioritized logic programs (PLPs) by adding preferences into extended logic programs [Gelfond and Lifschitz , 1991] . Formal semantics of PLPs is provided in terms of the answer set semantics of extended logic programs. We then show that the procedure of generalized rule-based update can be formalized in the framework of PLPs. The minimal change property of the update is also investigated.","doi":null,"url":"https://ijcai.org/proceedings/1997/13","pdf":"https://ijcai.org/proceedings/1997/0013.pdf","markdown":"https://ijcai.org/proceedings/1997/13.md","bibtex":"https://ijcai.org/proceedings/1997/bibtex/13","volume":{"slug":"1997","title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1997","url":"https://ijcai.org/proceedings/1997/","year":1997,"location":"Nagoya, Japan","dates":"","editors":"Martha E. Pollack","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automated Reasoning","track":"Automated Reasoning","number":13,"pages":{"first":82,"last":87},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}