Sciweavers

Share
FLAIRS
2007

Prioritized Reasoning in Logic Programming

9 years 6 months ago
Prioritized Reasoning in Logic Programming
This work addresses the issue of prioritized reasoning in the context of logic programming. The case of preference conditions involving atoms is considered and a refinement of the comparison method of the ASO semantics is presented. The paper introduces the concept of “choice”, as a set of preference rules describing common choice options in different contexts and proposes a new semantics that looks beyond the single preference rules, considering them as a tool for choice representation. More specifically, given a preference rule, its head atoms correspond to the choice options, whereas its body specifies the choice context, i.e. the decisions which have to precede this choice. Finally, a system, called CHOPPER, able to realize both the ASO semantics and its extensions is proposed.
Luciano Caroprese, Irina Trubitsyna, Ester Zumpano
Added 02 Oct 2010
Updated 02 Oct 2010
Type Conference
Year 2007
Where FLAIRS
Authors Luciano Caroprese, Irina Trubitsyna, Ester Zumpano
Comments (0)
books