Journal of Logic, Language and Information 10 (2):237-261 (2001)
Authors | |
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) |
Reprint years | 2004 |
DOI | 10.1023/A:1008353310841 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Ithaca: Cornell University Press.
Reasoning About Knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 1995 - MIT Press.
Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Studia Logica 16:119-122.
Defaults in Update Semantics.Frank Veltman - 1996 - Journal of Philosophical Logic 25 (3):221 - 261.
View all 19 references / Add more references
Citations of this work BETA
No citations found.
Similar books and articles
A New Semantical Approach to the Logic of Preference.Sven Ove Hansson - 1989 - Erkenntnis 31 (1):1 - 42.
Dynamic Logic of Preference Upgrade.Johan van Benthem & Fenrong Liu - 2007 - Journal of Applied Non-Classical Logics 17 (2):157-182.
Analytics
Added to PP index
2009-01-28
Total views
61 ( #187,004 of 2,505,203 )
Recent downloads (6 months)
1 ( #416,705 of 2,505,203 )
2009-01-28
Total views
61 ( #187,004 of 2,505,203 )
Recent downloads (6 months)
1 ( #416,705 of 2,505,203 )
How can I increase my downloads?
Downloads