Actions, Preferences, and Logic Programs
An agent may have preferences over states and an agent may have preferences over actions. In this paper, we explore the connection between these distinct forms of preference, in the context where action effects are given by a transition system. We illustrate that preferences over actions can not always be reduced to preferences over states, even under very general conditions. It is possible, however, to define a natural notion of consistency between the two forms of preference. Moreover, it is possible to precisely specify which preferences over actions can be expressed in terms of preferences over states. We encode preferences over actions in a logic programming framework that allows us to automatically determine when preferences over actions can be reduced to preferences over states. Our framework facilitates the high-level analysis of preferences by making conflicts explicit. We conclude with a general discussion of conflicting preferences, and we suggest some topics for future work.
KeywordsLogic Program Transition System Prefer State Action Policy Belief Revision
Unable to display preview. Download preview PDF.
- 6.Gelfond, M., Lifschitz, V.: Action languages. Linköping Electronic Articles in Computer and Information Science 3(16), 1–16 (1998)Google Scholar
- 7.Grove, A.: Two modellings for theory change. Journal of Philosophical Logic 17(2) (1988)Google Scholar
- 9.Hansson, S.O.: The structure of values and norms. Cambridge University Press (2001)Google Scholar
- 11.Horty, J.: Agency and Deontic Logic. Oxford University Press (2001)Google Scholar
- 12.Hunter, A., Delgrande, J.P.: An Action Description Language for Iterated Belief Change. In: Proceedings of the International Joint Conference on Artificial Intelligence, IJCAI 2007 (2007)Google Scholar
- 14.Lang, J., van der Torre, L.: From belief change to preference change. In: Proceedings of the European Conference on Artificial Intelligence, ECAI 2008 (2008)Google Scholar
- 16.Mitchell, T.: Machine Learning. McGraw-Hill (1997)Google Scholar
- 18.van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library 337. Springer (2007)Google Scholar
- 19.von Wright, H.H.: The logic of preference. Edinburgh University Press (1963)Google Scholar