Expressive Power and Succinctness of Propositional Languages for Preference Representation

Sylvie Coste-Marquis, Jérôme Lang, Paolo Liberatore, and Pierre Marquis

Several logical languages have been considered in AI for encoding compactly preference relations over a set of alternatives. In this paper, we analyze both the expressiveness and the spatial efficiency (succinctness) of such preference representation languages. The first issue is concerned with the nature of the preorders that can be encoded (for instance, all preorders, all complete preorders). The second issue is about how succinctly a preference relation can be expressed in those languages. We give polynomial-size translations in some cases, and prove the impossibility of such translations in other cases.

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.