Graduate studies at Western
Journal of Logic, Language and Information 10 (2):237-261 (2001)
|Abstract||In this paper, we analyze the relationship between commitment and obligation from a logical viewpoint. The principle of commitment implying obligation is proven in a specific logic of action preference which is a generalization of Meyer's dynamic deontic logic. In the proposed formalism, an agent's commitment to goals is considered as a special kind of action which can change one's deontic preference andone's obligation to take some action is based on the preference and the effects of the action. In this logic, it is shown that an agent has the obligation to take any action which is necessary for achieving as many committed goals as possible. The semantics of our logic is based on the possible world models for the dynamic logic of actions. A binary preference relation between possible worlds is associated with the model. Then the preference between actions are determined by comparing that of their consequences. According to the semantics, while the preference will influence the agent's choice of action, commitment is a kind of action that will change the agent's preference. Thus we can show how obligations arise from commitments via updating of deontic preference. The integrated semantics make it possible to express and reason about the mutual relationship among these mental attitudes in a common logic.|
|Keywords||agent-oriented programming deontic logic dynamic logic logic of commitment logic of preference logic in AI|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Sven Ove Hansson (1989). A New Semantical Approach to the Logic of Preference. Erkenntnis 31 (1):1 - 42.
Johan van Benthem & Fenrong Liu (2007). Dynamic Logic of Preference Upgrade. Journal of Applied Non-Classical Logics 17 (2):157-182.
John F. Horty (1996). Agency and Obligation. Synthese 108 (2):269 - 307.
Fenrong Liu (2010). Von Wright's “the Logic of Preference” Revisited. Synthese 175 (1):69 - 88.
Till Grüne-Yanoff, Till Grüne-Yanoff and Sven Ove Hansson Royal Institute of Technology, Stockholm Gryne@Infra.Kth.Se.
Renate A. Schmidt, Dmitry Tishkovsky & Ullrich Hustadt (2004). Interactions Between Knowledge, Action and Commitment Within Agent Dynamic Logic. Studia Logica 78 (3):381 - 415.
Added to index2009-01-28
Total downloads7 ( #142,403 of 739,402 )
Recent downloads (6 months)1 ( #61,269 of 739,402 )
How can I increase my downloads?