Obligation as optimal goal satisfaction

DOI10.1007/S10992-017-9440-3zbMATH Open1436.03135DBLPjournals/jphil/KowalskiS18OpenAlexW2729633844WikidataQ59606513 ScholiaQ59606513MaRDI QIDQ1670486FDOQ1670486

Authors: Robert Kowalski, Ken Satoh 

Publication date: 5 September 2018

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-017-9440-3

Recommendations

• Deontic logic as founded on nonmonotonic logic
• scientific article; zbMATH DE number 1139235
• Preference-based deontic logic (PDL)
• Obligation, free choice, and the logic of weakest permissions
• A logic of comparative obligation

zbMATH Keywords

deontic logicpreferencesabductive logic programminggoalscontrary-to-duty obligationsnormative conflicts

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Logic programming (68N17)

Cites Work

• An abstract, argumentation-theoretic approach to default reasoning
• Agency and deontic logic
• The Semantics of Predicate Logic as a Programming Language
• The independent choice logic for modelling multiple agents under uncertainty
• A logic for default reasoning
• Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
• An Analysis of some Deontic Logics
• Contrary-to-duty obligations
• Input/output logics
• Title not available (Why is that?)
• A logical framework for default reasoning
• Algorithm = logic + control
• Qualitative choice logic
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• The mathematics of non-monotonic reasoning
• Deontic logic as founded on nonmonotonic logic
• Title not available (Why is that?)
• Logic of violations: a Gentzen system for reasoning with contrary-to-duty obligations
• The IFF proof procedure for abductive logic programming
• Computational logic and human thinking. How to be artificially intelligent
• Free choice permission is strong permission
• Two approaches to the formalisation of defeasible deontic reasoning
• Title not available (Why is that?)
• Programming in logic without logic programming
• Mapping deontic operators to abductive expectations
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• Deontic Logic in Computer Science
• Dischargeable Obligations in the 𝒮CIFF Framework
• A logic of good, should, and would. I
• A logical analysis of the relationship between commitment and obligation

This page was built for publication: Obligation as optimal goal satisfaction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1670486)