Prioritized Reasoning in Logic Programming

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

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.