Logic Program with Prioritized Preference

Prioritized preference based decision making is pervasive in real problems solving. We propose a new paradigm of logic programming to handle prioritized preference. The paradigm is interpreted based on answer set semantics. We introduce two semantics to optimize answer sets of the programs. Then, we present the properties of those semantics by investigating their order characterization. Finally, compared with related works, it shows our new paradigm has strong expressive power of preference representation and reasoning.