Obligation as optimal goal satisfaction
File(s)s10992-017-9440-3.pdf (536.45 KB)
Published version
Author(s)
Kowalski, Robert
Satoh, Ken
Type
Journal Article
Abstract
Formalising deontic concepts, such as obligation, prohibition and permission, is normally carried out in a modal logic with a possible world semantics, in which some worlds are better than others. The main focus in these logics is on inferring logical consequences, for example inferring that the obligation O q is a logical consequence of the obligations O p and O (p → q). In this paper we propose a non-modal approach in which obligations are preferred ways of satisfying goals expressed in first-order logic. To say that p is obligatory, but may be violated, resulting in a less than ideal situation s, means that the task is to satisfy the goal p ∨ s, and that models in which p is true are preferred to models in which s is true. Whereas, in modal logic, the preference relation between possible worlds is part of the semantics of the logic, in this non-modal approach, the preference relation between first-order models is external to the logic. Although our main focus is on satisfying goals, we also formulate a notion of logical consequence, which is comparable to the notion of logical consequence in modal deontic logic. In this formalisation, an obligation O p is a logical consequence of goals G, when p is true in all best models of G. We show how this non-modal approach to the treatment of deontic concepts deals with problems of contrary-to-duty obligations and normative conflicts, and argue that the approach is useful for many other applications, including abductive explanations, defeasible reasoning, combinatorial optimisation, and reactive systems of the production system variety.
Date Issued
2018-08
Date Acceptance
2017-05-23
Citation
Journal of Philosophical Logic, 2018, 47 (4), pp.579-609
ISSN
0022-3611
Publisher
Springer Science and Business Media LLC
Start Page
579
End Page
609
Journal / Book Title
Journal of Philosophical Logic
Volume
47
Issue
4
Copyright Statement
© The Author(s) 2017. This article is an open access publication Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
License URL
Identifier
https://doi.org/10.1007/s10992-017-9440-3
Publication Status
Published
Date Publish Online
2017-07-05