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 条
  • [21] 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
  • [22] Multi-agent systems
    不详
    [J]. OBJECTIVE COORDINATION IN MULTI-AGENT SYSTEM ENGINEERING: DESIGN AND IMPLEMENTATION, 2001, 2039 : 9 - 32
  • [23] Multi-Agent Systems
    Julian, Vicente
    Botti, Vicente
    [J]. APPLIED SCIENCES-BASEL, 2019, 9 (07):
  • [24] Multi-agent systems
    Talukdar, S
    [J]. 2004 IEEE POWER ENGINEERING SOCIETY GENERAL MEETING, VOLS 1 AND 2, 2004, : 59 - 60
  • [25] Formation Tracking of Multi-agent Systems with Bearing-only Measurement
    Han, Liang
    Tan, Qingke
    Dong, Xiwang
    Li, Qingdong
    Ren, Zhang
    [J]. 2015 34TH CHINESE CONTROL CONFERENCE (CCC), 2015, : 7124 - 7129
  • [26] Multi-agent systems
    Unland, R
    Denzinger, J
    [J]. COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2005, 20 (04): : 223 - 224
  • [27] MULTI-AGENT SYSTEMS
    Pirnau, Mironela
    [J]. METALURGIA INTERNATIONAL, 2008, 13 (02): : 39 - 44
  • [28] Dynamic Temporal Logical Operations in Multi-Agent Logics
    Rybakov, V. V.
    [J]. ALGEBRA AND LOGIC, 2023, 61 (5) : 407 - 419
  • [29] Dynamic Temporal Logical Operations in Multi-Agent Logics
    V. V. Rybakov
    [J]. Algebra and Logic, 2022, 61 : 407 - 419
  • [30] Research of communication mechanism of the multi-agent in multi-agent robot systems
    Gao, Zhijun
    Yan, Guozheng
    Ding, Guoqing
    Huang, Heng
    [J]. High Technology Letters, 2002, 8 (01) : 67 - 71
12345