Mapping deontic operators to abductive expectations

被引：16

作者：

Alberti M. ^{[1
]}

Gavanelli M. ^{[1
]}

Lamma E. ^{[1
]}

Mello P. ^{[2
]}

Sartor G. ^{[2
]}

Torroni P. ^{[3
]}

机构：

[1] ENDIF, Università di Ferrara, 44100 Ferrara

[2] DEIS, Università di Bologna, 40136 Bologna

[3] CIRSFID, Università di Bologna, 40100 Bologna

来源：

Comput. Math. Organ. Theory | 2006年 / 2-3 SPEC. ISS.卷 / 205-225期

关键词：

Abduction; Deontic logic; Normative systems; Semantics;

D O I：

10.1007/s10588-006-9544-8

中图分类号：

学科分类号：

摘要：

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. The EU-funded SOCS project has provided a language to specify the agent interaction in open multi-agent systems. The language is equipped with a declarative semantics based on abductive logic programming, and an operational semantics consisting of a (sound and complete) abductive proof procedure. In the SOCS framework, the specification is used directly as a program for the verification procedure. In this paper, we propose a mapping of the usual deontic operators (obligations, prohibition, permission) to language entities, called expectations, available in the SOCS social framework. Although expectations and deontic operators can be quite different from a philosophical viewpoint, we support our mapping by showing a similarity between the abductive semantics for expectations and the Kripke semantics that can be given to deontic operators. The main purpose of this work is to make the computational machinery from the SOCS social framework available for the specification and verification of systems by means of deontic operators. © Springer Science + Business Media, LLC 2006.

引用

页码：205 / 225

页数：20

共 39 条

[1]

Alberti M., Gavanelli M., Lamma E., Mello P., Torroni P., An abductive interpretation for open societies, AI*IA 2003: Advances in Artificial Intelligence, 2829, pp. 287-299, (2003)

[2]

Alberti M., Ciampolini A., Gavanelli M., Lamma E., Mello P., Torroni P., A social ACL Semantics by Deontic Constraints, Multi-Agent Systems and Applications III, 2691, pp. 204-213, (2003)

[3]

Alberti M., Gavanelli M., Lamma E., Mello P., Torroni P., Specification and Verification of Agent Interactions using Social Integrity Constraints, Electr Notes Theor Comp Sci, 85, 2, (2003)

[4]

Alberti M., Daolio D., Gavanelli M., Lamma E., Mello P., Torroni P., Specification and Verification of Agent Interaction Protocols in a Logic-based System, Proceedings of the 19th Annual ACM Symposium on Applied Computing (SAC 2004), pp. 72-78, (2004)

[5]

Alberti M., Chesani F., Gavanelli M., Lamma E., Mello P., Torroni P., The SOCS Computational Logic Approach for the Specification and Verification of Agent Societies, Global Computing: IST/FET International Workshop, 3267, pp. 324-339, (2005)

[6]

Alberti M., Gavanelli M., Lamma E., Mello P., Torroni P., The SCIFF abductive proof procedure, Proceedings of the 9th National Congress on Artificial Intelligence, AI*IA 2005, 3673, pp. 135-147, (2005)

[7]

Alberti M., Chesani F., Gavanelli M., Lamma E., Mello P., Torroni P., Compliance verification of agent interaction: A logic-based tool, Applied Artificial Intelligence, 20, 2-4, pp. 133-157, (2006)

[8]

ALFEBIITE: A Logical Framework for Ethical Behaviour between Infohabitants in the Information Trading Economy of the Universal Information Ecosystem, (1999)

[9]

Anderson A., A Reduction of Deontic Logic to Alethic Modal Logic, Mind, 67, pp. 100-103, (1958)

[10]

Apt K.R., Bol R.N., Logic Programming and Negation: A survey, J Logic Progr, 19-20, pp. 9-71, (1994)

← 1 2 3 4 →