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 条
  • [41] A Dialogical, Multi-Agent Account of the Normativity of Logic
    Novaes, Catarina Dutilh
    [J]. DIALECTICA, 2015, 69 (04) : 587 - 609
  • [42] A Multi-Agent Depth Bounded Boolean Logic
    Cignarale, Giorgio
    Primiero, Giuseppe
    [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, 2021, 12524 : 176 - 191
  • [43] A resource logic for multi-agent plan merging
    de Weerdt, M
    Bos, A
    Tonino, H
    Witteveen, C
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2003, 37 (1-2) : 93 - 130
  • [44] A Resource Logic for Multi-Agent Plan Merging
    Mathijs de Weerdt
    André Bos
    Hans Tonino
    Cees Witteveen
    [J]. Annals of Mathematics and Artificial Intelligence, 2003, 37 : 93 - 130
  • [45] Multi-agent coordination as distributed logic programming
    Robertson, D
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 416 - 430
  • [46] HYPERATL*: A LOGIC FOR HYPERPROPERTIES IN MULTI-AGENT SYSTEMS
    Beutner, Raven
    Finkbeiner, Bernd
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2023, 19 (02)
  • [47] Interval Multi-agent Logic with Reliability Operator
    Kiyatkin, Vladimir R.
    Rybakov, Vladimir V.
    [J]. JOURNAL OF SIBERIAN FEDERAL UNIVERSITY-MATHEMATICS & PHYSICS, 2024, 17 (05): : 679 - 683
  • [48] Conflicting obligations in multi-agent deontic logic
    Kooi, Barteld
    Tamminga, Allard
    [J]. DEONTIC LOGIC AND ARTIFICIAL NORMATIVE SYSTEMS, PROCEEDINGS, 2006, 4048 : 175 - 186
  • [49] Multi-agent Cooperation: A Description Logic View
    Luo, Jiewen
    Shi, Zhongzhi
    Wang, Maoguang
    Huang, He
    [J]. MULTI-AGENT SYSTEMS FOR SOCIETY, 2009, 4078 : 365 - 379
  • [50] Verifying Multi-agent Programs by Model Checking
    Rafael H. Bordini
    Michael Fisher
    Willem Visser
    Michael Wooldridge
    [J]. Autonomous Agents and Multi-Agent Systems, 2006, 12 : 239 - 256
12345