A rule language for modelling and monitoring social expectations in multi-agent systems

被引：0
|
作者：
Cranefield, Stephen [1 ]
机构：
[1] Univ Otago, Dept Informat Sci, Dunedin, New Zealand
来源：
19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05) | 2005年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper proposes a rule language for defining social expectations based on a metric interval temporal logic with past and future modalities and a current-time binding operator. An algorithm for run-time monitoring compliance of rules in this language based on formula progression is also outlined.
引用
收藏
页码：1659 / 1660
页数：2
相关论文
共 50 条
  • [1] A rule language for modelling and monitoring social expectations in multi-agent systems
    Cranefield, Stephen
    COORDINATION, ORGANIZATIONS, INSTITUTIONS, AND NORMS IN MULTI-AGENT SYSTEMS, 2006, 3913 : 246 - 258
  • [2] Modelling and monitoring social expectations in multi-agent systems
    Cranefield, Stephen
    COORDINATION, ORGANIZATIONS, INSTITUTIONS, AND NORMS IN AGENT SYSTEMS II, 2007, 4386 : 308 - 321
  • [3] SDML: A Multi-Agent Language for Organizational Modelling
    Scott Moss
    Helen Gaylard
    Steve Wallis
    Bruce Edmonds
    Computational & Mathematical Organization Theory, 1998, 4 (1): : 43 - 69
  • [4] A strictly declarative language for multi-agent modelling
    Wallis, S
    Edmonds, B
    Moss, S
    Gaylard, H
    COMPUTATION IN ECONOMICS, FINANCE AND ENGINEERING: ECONOMIC SYSTEMS, 2000, : 165 - 170
  • [5] Modelling and design of multi-agent systems
    Kinny, David
    Georgeff, Michael
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015, 1193 : 1 - 20
  • [6] Modelling multi-agent reactive systems
    Sampath, P
    LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 : 476 - 476
  • [7] On modelling multi-agent systems declaratively
    Bracciali, A
    Mancarella, P
    Stathis, K
    Toni, F
    DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES II, 2005, 3476 : 53 - 68
  • [8] Modelling cooperative multi-agent systems
    Shan, LJ
    Zhu, H
    GRID AND COOPERATIVE COMPUTING, PT 2, 2004, 3033 : 994 - 1001
  • [9] A Pattern Language for Multi-Agent Systems
    Weyns, Danny
    2009 JOINT WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE AND EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE, 2009, : 191 - 200
  • [10] Language Learning in Multi-Agent Systems
    Allen, Martin
    Goldman, Claudia V.
    Zilberstein, Shlomo
    19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 1649 - 1650
12345