Logics for Multiagent Systems

被引：13

作者：

van der Hoek, Wiebe ^{[1
]}

Wooldridge, Michael ^{[2
]}

机构：

[1] Univ Liverpool, Agent Res & Technol ART Grp, Dept Comp Sci, Liverpool L69 3BX, Merseyside, England

[2] Univ Oxford, Oxford OX1 2JD, England

来源：

AI MAGAZINE | 2012年 / 33卷 / 03期

关键词：

MODAL LOGIC;

D O I：

10.1609/aimag.v33i3.2427

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We present a brief survey or logics for reasoning about multi agent systems. We focus on two paradigms: logics for cognitive models of agency, and logics used to model the strategic structure of a multiagent system.

引用

页码：92 / 105

页数：14

共 50 条

[21] Secrecy in multiagent systems
Halpern, J
O'Neill, K
15TH IEEE COMPUTER SECURITY FOUNDATION WORKSHOP, PROCEEDINGS, 2002, : 32 - 46
[22] Metrics for Multiagent Systems
Lass, Robert N.
Sultanik, Evan A.
Regli, William C.
PERFORMANCE EVALUATION AND BENCHMARKING OF INTELLIGENT SYSTEMS, 2009, : 1 - 19
[23] Protection of multiagent systems
Sierra, JM
Hernández, JC
Ponce, E
Ribagorda, A
COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCA 2003, PT 3, PROCEEDINGS, 2003, 2669 : 123 - 128
[24] Multiagent systems and DARPA
Dyer, DE
COMMUNICATIONS OF THE ACM, 1999, 42 (03) : 53 - 53
[25] Multiagent systems engineering
Deloach, SA
Wood, MF
Sparkman, CH
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2001, 11 (03) : 231 - 258
[26] Secrecy in Multiagent Systems
Halpern, Joseph Y.
O'Neill, Kevin R.
ACM TRANSACTIONS ON INFORMATION AND SYSTEM SECURITY, 2008, 12 (01)
[27] Organizing Multiagent Systems
Javier Vázquez-Salceda
Virginia Dignum
Frank Dignum
Autonomous Agents and Multi-Agent Systems, 2005, 11 : 307 - 360
[28] Multiagent systems with workflows
Vidal, JM
Buhler, P
Stahl, C
IEEE INTERNET COMPUTING, 2004, 8 (01) : 76 - 82
[29] Interacting multiagent systems
Michell, Jo
MATHEMATICAL GAZETTE, 2016, 100 (548): : 376 - +
[30] Organizing multiagent systems
Vázquez-Salceda, J
Dignum, V
Dignum, F
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2005, 11 (03) : 307 - 360

← 1 2 3 4 5 →