A Multi-Agent Depth Bounded Boolean Logic

被引:1
|
作者
Cignarale, Giorgio [1 ]
Primiero, Giuseppe [2 ]
机构
[1] TU Wien, Embedded Comp Syst, Vienna, Austria
[2] Univ Milan, Dept Philosophy, Milan, Italy
基金
奥地利科学基金会;
关键词
Logic of information; Resource bounded reasoning; Information transmission;
D O I
10.1007/978-3-030-67220-1_14
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Recent developments in the formalization of reasoning, especially in computational settings, have aimed at defining cognitive and resource bounds to express limited inferential abilities. This feature is emphasized by Depth Bounded Boolean Logics, an informational logic that models epistemic agents with inferential abilities bounded by the amount of information they can use. However, such logics do notmodel the ability of agents to make use of information shared by other sources. The present paper provides a first account of a Multi-Agent Depth Bounded Boolean Logic, defining agents whose limited inferential abilities can be increased through a dynamic operation of becoming informed by other data sources.
引用
收藏
页码:176 / 191
页数:16
相关论文
共 50 条
  • [41] On multi-agent systems specification via Deontic Logic
    Lomuscio, A
    Sergot, M
    [J]. INTELLIGENT AGENTS VIII: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 2002, 2333 : 86 - 99
  • [42] ALGORITHMS FOR AI LOGIC OF DECISIONS IN MULTI-AGENT ENVIRONMENT
    Rybakov, Vladimir
    Babenyshev, Sergey
    [J]. ICEIS 2008: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL AIDSS: ARTIFICIAL INTELLIGENCE AND DECISION SUPPORT SYSTEMS, 2008, : 125 - +
  • [43] A depth defense model of multi-agent based on immunity
    Jiang, Yaping
    Li, Tao
    Yang, Jin
    Wang, TieFang
    Zhou, Jianhua
    Liang, Gang
    Xu, ChunLin
    [J]. DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2007, 14 : 178 - 185
  • [44] Verification of multi-agent systems via bounded model checking
    Luo, Xiangyu
    Su, Kaile
    Sattar, Abdul
    Reynolds, Mark
    [J]. AI 2006: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4304 : 69 - +
  • [45] A Stopping Rule for Multi-Agent Consensus with Bounded Noise in Measurements
    Hanada, Kenta
    Wada, Takayuki
    Masubuchi, Izumi
    Asai, Toru
    Fujisaki, Yasumasa
    [J]. 2020 SICE INTERNATIONAL SYMPOSIUM ON CONTROL SYSTEMS (SICE ISCS 2020), 2020, : 20 - 25
  • [46] Bounded Consensus Algorithms for Multi-Agent Systems in Directed Networks
    Du, Haibo
    Li, Shihua
    Ding, Shihong
    [J]. ASIAN JOURNAL OF CONTROL, 2013, 15 (01) : 282 - 291
  • [47] Global optimal consensus for multi-agent systems with bounded controls
    Xie, Yijing
    Lin, Zongli
    [J]. SYSTEMS & CONTROL LETTERS, 2017, 102 : 104 - 111
  • [48] Bounded Suboptimal Search with Learned Heuristics for Multi-Agent Systems
    Spies, Markus
    Todescato, Marco
    Becker, Hannes
    Kesper, Patrick
    Waniek, Nicolai
    Guo, Meng
    [J]. THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, : 2387 - 2394
  • [49] Time-bounded negotiation framework for multi-agent coordination
    Lee, KJ
    Chang, YS
    [J]. MULTIAGENT PLATFORMS, 1999, 1599 : 61 - 75
  • [50] Global Optimal Consensus of Multi-agent Systems with Bounded Controls
    Xie, Yijing
    Lin, Zongli
    [J]. PROCEEDINGS OF THE 35TH CHINESE CONTROL CONFERENCE 2016, 2016, : 8166 - 8171