Obligation as optimal goal satisfaction

DOI10.1007/S10992-017-9440-3MaRDI QIDQ1670486zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Robert Kowalski, Ken Satoh

Publication date 5 September 2018

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

abductive logic programmingcontrary-to-duty obligationsdeontic logicgoalsnormative conflictspreferences

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(4)

• Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
• Deontic Logic in Computer Science
• A logical analysis of the relationship between commitment and obligation
• A logic of good, should, and would. I

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)