A logic for normative multi-agent programs

被引：14

作者：

Dastani, Mehdi ^{[1
]}

Meyer, John-Jules Ch. ^{[1
]}

Grossi, Davide ^{[2
]}

机构：

[1] Univ Utrecht, NL-3508 TC Utrecht, Netherlands

[2] Univ Amsterdam, Inst Log Language & Computat, NL-1012 WX Amsterdam, Netherlands

来源：

JOURNAL OF LOGIC AND COMPUTATION | 2013年 / 23卷 / 02期

关键词：

Multi-agent systems; normative systems; logic; Programming; semantics; counts-as rules; ORGANIZATIONS;

D O I：

10.1093/logcom/exr026

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Multi-agent systems are viewed as consisting of individual agents whose behaviours are regulated by an organization-oriented normative artefact. This article presents a simplified version of a programming language that is designed to implement normative artefacts. Such artefacts are specified in terms of norms being enforced by monitoring, regimenting and sanctioning mechanisms. The syntax and operational semantics of the programming language are introduced and discussed. A logic is presented that can be used to specify and verify properties of programs developed in this language.

引用

页码：335 / 354

页数：20

共 50 条

[1] Normative Multi-agent Programs and Their Logics
Dastani, Mehdi
Grossi, Davide
Meyer, John-Jules Ch.
Tinnemeier, Nick
[J]. KNOWLEDGE REPRESENTATION FOR AGENTS AND MULTI-AGENT SYSTEMS, 2009, 5605 : 16 - +
[2] Multi-agent cooperation logic with actions and normative ability
Lai, Xian-Wei
Hu, Shan-Li
Ning, Zheng-Yuan
[J]. PROCEEDINGS OF 2006 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2006, : 142 - +
[3] Non-monotonic reasoning with normative conflicts in multi-agent deontic logic
Beirlaen, Mathieu
Strasser, Christian
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2014, 24 (06) : 1179 - 1207
[4] Interaction in Normative Multi-Agent Systems
Boella, Guido
Hulstijn, Joris
van der Torre, Leendert
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 141 (05) : 135 - 162
[5] Normative positions in multi-agent systems
Hjelmblom, Magnus
[J]. WEB INTELLIGENCE, 2016, 14 (02) : 153 - 171
[6] Multi-agent VSK logic
Wooldridge, M
Lomuscio, A
[J]. LOGICS IN ARTIFICIAL INTELLIGENCE, 2000, 1919 : 300 - 312
[7] Undecidability of a multi-agent logic
Kacprzak, M
[J]. FUNDAMENTA INFORMATICAE, 2003, 54 (2-3) : 213 - 220
[8] Verifiable multi-agent programs
Bordini, RH
Fisher, M
Visser, W
Wooldridge, M
[J]. PROGRAMMING MULTI-AGENT SYSTEMS, 2003, 3067 : 72 - 89
[9] Reasoning with Agent Preferences in Normative Multi-agent Systems
Jiang, Jie
Thangarajah, John
Aldewereld, Huib
Dignum, Virginia
[J]. AAMAS'14: PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS, 2014, : 1373 - 1374
[10] A Verification Framework for Normative Multi-Agent Systems
Astefanoaei, Lacramioara
Dastani, Mehdi
Meyer, John-Jules
de Boer, Frank S.
[J]. INTELLIGENT AGENTS AND MULTI-AGENT SYSTEMS, PROCEEDINGS, 2008, 5357 : 54 - +

← 1 2 3 4 5 →