Logical spaces in multi-agent Only knowing systems

被引：0
|
作者：
Solhaug, Bjornar
Waaler, Arild
机构：
[1] Univ Bergen, Dept Informat Sci & Media Studies, Bergen, Norway
[2] Univ Oslo, Dept Informat, N-0316 Oslo, Norway
来源：
COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS | 2006年 / 3900卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We present a weak multi-agent system of Only knowing and an analysis of the logical spaces that can be defined in it. The logic complements the approach to generalizing Levesque's All I Know system made by Halpern and Lakemeyer. A novel feature of our approach is that the logic is defined entirely at the object level with no reference to meta-concepts in the definition of the axiom system. We show that the logic of Halpern and Lakemeyer can be encoded in our system in the form of a particular logical space.
引用
收藏
页码：77 / 95
页数：19
相关论文
共 50 条
  • [41] PURPOSIVE MULTI-AGENT SYSTEMS
    Demazeau, Yves
    [J]. ICAART 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 2: AGENTS, 2010, : IS5 - IS5
  • [42] AGENTS AND MULTI-AGENT SYSTEMS
    Schweitzer, Frank
    Taylor, Matthew E.
    [J]. ADVANCES IN COMPLEX SYSTEMS, 2011, 14 (02): : III - iv
  • [43] Inconsistency in Multi-Agent Systems
    Zhang, Du
    [J]. FOUNDATIONS OF INTELLIGENT SYSTEMS (ISKE 2011), 2011, 122 : 401 - 412
  • [44] Minimal multi-agent systems
    Van Aeken, F
    Demazeau, Y
    [J]. INTERNATIONAL CONFERENCE ON MULTI-AGENT SYSTEMS, PROCEEDINGS, 1998, : 471 - 472
  • [45] Engineering multi-agent systems
    Artz, D
    Cicirello, VA
    Regli, WC
    Kam, M
    [J]. 2004 IEEE 1ST SYMPOSIUM ON MULTI-AGENT SECURITY & SURVIVABILITY, 2004, : 100 - 107
  • [46] Teams in multi-agent systems
    Jarvis, Bevan
    Jarvis, Dennis
    Jain, Lakhmi
    [J]. INTELLIGENT INFORMATION PROCESSING III, 2006, 228 : 1 - +
  • [47] Multi-agent systems and applications
    Frolova, I
    [J]. JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION, 2005, 8 (02):
  • [48] Fairness in multi-agent systems
    Dejong, Steven
    Tuyls, Karl
    Verbeeck, Katja
    [J]. KNOWLEDGE ENGINEERING REVIEW, 2008, 23 (02): : 153 - 180
  • [49] Programming multi-agent systems
    Dastani, Mehdi
    [J]. KNOWLEDGE ENGINEERING REVIEW, 2015, 30 (04): : 394 - 418
  • [50] On stabilizability of multi-agent systems
    Sun, Yinshuang
    Ji, Zhijian
    Liu, Yungang
    Lin, Chong
    [J]. AUTOMATICA, 2022, 144
12345