Mapping deontic operators to abductive expectations

DOI10.1007/S10588-006-9544-8MaRDI QIDQ2509082zbMATH OpenOpenAlexWikidataFDO

Authors Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor, Marco Gavanelli

Publication date 16 October 2006

Published in Computational \& Mathematical Organization Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10588-006-9544-8

zbMATH Keywords

abductiondeontic logicnormative systemssemantics

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• \(\mathit{Deon}^{ + }\): abduction and constraints for normative reasoning
• scientific article; zbMATH DE number 2087704
• Global Computing
• On obligations and normative ability: Towards a logical analysis of the social contract
• Specification and Verification of Agent Interaction Using Abductive Reasoning

Cites work

• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Abductive Logic Programming
• AI*IA 2005: Advances in Artificial Intelligence
• An abductive interpretation for open agent societies
• Contextual deontic logic: Normative agents, violations and independence
• Contrary-to-duty obligations
• Deontic Logic in Computer Science
• Global Computing
• Global Computing
• Heterogeneous active agents, I: Semantics
• scientific article; zbMATH DE number 1629884 (Why is no real title available?)
• scientific article; zbMATH DE number 2080577 (Why is no real title available?)
• scientific article; zbMATH DE number 1927251 (Why is no real title available?)
• scientific article; zbMATH DE number 2090883 (Why is no real title available?)
• Logic programming and negation: A survey
• Negation in logic programming
• Specification and verification of agent interaction using social integrity constraints
• The IFF proof procedure for abductive logic programming

Cited in

(4)

• Obligation as optimal goal satisfaction
• \(\mathit{Deon}^{ + }\): abduction and constraints for normative reasoning
• Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
• Normative reasoning and consequence

Describes a project that uses

Uses Software

• SCIFF
• ISLANDER

This page was built for publication: Mapping deontic operators to abductive expectations

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