# zbMATH — the first resource for mathematics

$$\mathit{Deon}^{ + }$$: abduction and constraints for normative reasoning. (English) Zbl 1356.68211
Artikis, Alexander (ed.) et al., Logic programs, norms and action. Essays in honor of Marek J. Sergot on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-29413-6/pbk). Lecture Notes in Computer Science 7360. Lecture Notes in Artificial Intelligence, 308-328 (2012).
Summary: Deontic concepts and operators have been widely used in several fields where representation of norms is needed, including legal reasoning and normative multi-agent systems.
In the meantime, abductive logic programming (ALP for short) has been exploited to formalize societies of agents, commitments and institutions, taking advantage from ALP operational support as (static or dynamic) verification tool.
Nonetheless, the modal nature of deontic operators smoothly fits into abductive semantics and abductive reasoning, where hypotheses can be raised at run-time on the basis of the specified formulas.
In recent works, a mapping of the most common deontic operators (obligation, prohibition, permission) to the abductive expectations of an ALP framework for agent societies has been proposed. This mapping was supported by showing a correspondence between declarative semantics of abductive expectations and Kripke semantics for deontic operators.
Building upon such correspondence, in this work we introduce $$\mathit{Deon}^{ + }$$, a language where the two basic deontic operators (namely, obligation and prohibition) are enriched with quantification over time, by means of ALP and constraint logic programming (CLP for short). In this way, we can take into account different flavors for obligations and prohibitions over time, i.e., existential or universal. We also discuss how to address consistency verification of such deontic specifications by a suitable ALP proof procedure, enriched with CLP constraints.
For the entire collection see [Zbl 1241.68007].
##### MSC:
 68T27 Logic in artificial intelligence 03B45 Modal logic (including the logic of norms) 68N17 Logic programming
Full Text: