Rational semantics for prioritized logic programs

Both preference logics and preference representation in logic programming are concerned with reasoning about preferences on combinatorial domains, yet little research has been published using preference axioms in logic programming with preferences. In this paper, we propose a rational semantic for prioritized logic programming by combining rational preference with ideas underlying answer set programming. The rational semantics can implement a pervasive prioritized reasoning idea: The more preferential the precondition is, the more preferential the conclusion is. Rational preference logic is used to modeling the behavior of a rational agent. In this paper, we use rational preference axioms as the preference propagation principles. © 2011 IEEE.