Luciano Caroprese, Irina Trubitsyna, Ester Zumpano
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 Answer Set Optimization semantics is presented. The paper introduces the concept of choice, as a set of preference rules describing common choice options in different contexts.
Subjects: 11. Knowledge Representation
Submitted: Feb 9, 2007