Abstract
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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
