Rational teams: Logical aspects of multi-agent systems

被引：0
|
作者：
Aldewereld, H
van der Hoek, W
Meyer, JJ
机构：
[1] Univ Utrecht, Dept Comp Sci, Intelligent Syst Grp, NL-3508 TB Utrecht, Netherlands
[2] Univ Liverpool, Dept Comp Sci, Liverpool L69 7ZF, Merseyside, England
来源：
FUNDAMENTA INFORMATICAE | 2004年 / 63卷 / 2-3期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper describes a possible extension to the logical framework KARO to make it able to handle multiple agents. The KARO framework, which was initially developed by van der Hoek, van Linder and Meyer, makes use of epistemic and dynamic logics to express rational agents. These agents are capable of reasoning about their own actions and, somewhat limited, about the actions of other agents. This paper intends to extend the KARO system such that one is also able to reason about cooperation between agents.
引用
收藏
页码：159 / 183
页数：25
相关论文
共 50 条
  • [21] Activity Recognition for Dynamic Multi-Agent Teams
    Sukthankar, Gita
    Sycara, Katia
    [J]. ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY, 2012, 3 (01)
  • [22] Improving the Efficiency of Clearing with Multi-agent Teams
    Hollinger, Geoffrey
    Singh, Sanjiv
    Kehagias, Athanasios
    [J]. INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH, 2010, 29 (08): : 1088 - 1105
  • [23] Planning for multi-agent teams with leader switching
    Swaminathan, Siddharth
    Phillips, Mike
    Likhachev, Maxim
    [J]. 2015 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2015, : 5403 - 5410
  • [24] Unleashing the Power of Multi-Agent Voting Teams
    Marcolino, Leandro Soriano
    [J]. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 4399 - 4400
  • [25] Logical systems for reasoning about multi-agent belief, information acquisition and trust
    Liau, CJ
    [J]. ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 54 : 368 - 372
  • [26] Rational verification: game-theoretic verification of multi-agent systems
    Abate, Alessandro
    Gutierrez, Julian
    Hammond, Lewis
    Harrenstein, Paul
    Kwiatkowska, Marta
    Najib, Muhammad
    Perelli, Giuseppe
    Steeples, Thomas
    Wooldridge, Michael
    [J]. APPLIED INTELLIGENCE, 2021, 51 (09) : 6569 - 6584
  • [27] Rational verification: game-theoretic verification of multi-agent systems
    Alessandro Abate
    Julian Gutierrez
    Lewis Hammond
    Paul Harrenstein
    Marta Kwiatkowska
    Muhammad Najib
    Giuseppe Perelli
    Thomas Steeples
    Michael Wooldridge
    [J]. Applied Intelligence, 2021, 51 : 6569 - 6584
  • [28] A Study on Some Aspects of Biologically Inspired Multi-agent Systems
    Mitra, Gautam
    Bandyopadhyay, Susmita
    [J]. PROGRESS IN ADVANCED COMPUTING AND INTELLIGENT ENGINEERING, VOL 2, 2018, 564 : 207 - 217
  • [29] TICSA Approach: Five Important Aspects of Multi-agent Systems
    Hadzic, Maja
    Chang, Elizabeth
    [J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2008 WORKSHOPS, 2008, 5333 : 1036 - 1045
  • [30] Modeling social aspects of multi-agent systems: The AML approach
    Cervenka, Radovan
    Trencansky, Ivan
    Calisti, Monique
    [J]. AGENT-ORIENTED SOFTWARE ENGINEERING VI, 2006, 3950 : 28 - 39
12345