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 条

[31] An Introduction to MultiAgent Systems
Evans, Andrew J.
APPLIED SPATIAL ANALYSIS AND POLICY, 2011, 4 (01) : 69 - 71
[32] Multiagent systems on the net
Joshi, A
Singh, MP
COMMUNICATIONS OF THE ACM, 1999, 42 (03) : 38 - 40
[33] MULTIAGENT SYSTEMS WITH COMPASSES
Meng, Ziyang
Shi, Guodong
Johansson, Karl Henrik
SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 2015, 53 (05) : 3057 - 3080
[34] Environments in multiagent systems
Weyns, D
Schumacher, M
Ricci, A
Viroli, M
Holvoet, T
KNOWLEDGE ENGINEERING REVIEW, 2005, 20 (02): : 127 - 141
[35] Multiagent Systems Simulation
Balakayeva, G.
Aktymbayeva, A.
PROCEEDINGS OF WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY, VOL 22, 2007, 22 : 1 - 3
[36] Logics of Dynamical Systems
Platzer, Andre
2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 13 - 24
[37] Logics for hybrid systems
Davoren, JM
Nerode, A
PROCEEDINGS OF THE IEEE, 2000, 88 (07) : 985 - 1010
[38] Multiagent Learning of Coordination in Loosely Coupled Multiagent Systems
Yu, Chao
Zhang, Minjie
Ren, Fenghui
Tan, Guozhen
IEEE TRANSACTIONS ON CYBERNETICS, 2015, 45 (12) : 2853 - 2867
[39] Opportunities for multiagent systems and multiagent reinforcement learning in traffic control
Ana L. C. Bazzan
Autonomous Agents and Multi-Agent Systems, 2009, 18 : 342 - 375
[40] Opportunities for multiagent systems and multiagent reinforcement learning in traffic control
Bazzan, Ana L. C.
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2009, 18 (03) : 342 - 375

← 1 2 3 4 5 →