DeepAI AI Chat
Log In Sign Up

A Framework for Compiling Preferences in Logic Programs

03/04/2002
by   J. P. Delgrande, et al.
0

We introduce a methodology and framework for expressing general preference information in logic programming under the answer set semantics. An ordered logic program is an extended logic program in which rules are named by unique terms, and in which preferences among rules are given by a set of atoms of form s < t where s and t are names. An ordered logic program is transformed into a second, regular, extended logic program wherein the preferences are respected, in that the answer sets obtained in the transformed program correspond with the preferred answer sets of the original program. Our approach allows the specification of dynamic orderings, in which preferences can appear arbitrarily within a program. Static orderings (in which preferences are external to a logic program) are a trivial restriction of the general dynamic case. First, we develop a specific approach to reasoning with preferences, wherein the preference ordering specifies the order in which rules are to be applied. We then demonstrate the wide range of applicability of our framework by showing how other approaches, among them that of Brewka and Eiter, can be captured within our framework. Since the result of each of these transformations is an extended logic program, we can make use of existing implementations, such as dlv and smodels. To this end, we have developed a publicly available compiler as a front-end for these programming systems.

READ FULL TEXT

page 1

page 2

page 3

page 4

03/08/2000

Logic Programs with Compiled Preferences

We describe an approach for compiling preferences into logic programs un...
07/11/2002

Logic Programming with Ordered Disjunction

Logic programs with ordered disjunction (LPODs) combine ideas underlying...
11/22/2010

A Logical Charaterisation of Ordered Disjunction

In this paper we consider a logical treatment for the ordered disjunctio...
11/14/2019

A Dynamic Preference Logic for reasoning about Agent Programming

In this work, we investigate the use of Dynamic Preference Logic to enco...
01/15/2018

Cobra: A Framework for Cost Based Rewriting of Database Applications

Database applications are typically written using a mixture of imperativ...
07/15/2002

Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary report

We analyze the problem of defining well-founded semantics for ordered lo...
01/15/2014

Generic Preferences over Subsets of Structured Objects

Various tasks in decision making and decision support systems require se...