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 条
  • [1] A Probabilistic Logic for Resource-Bounded Multi-Agent Systems
    Nguyen, Hoang Nga
    Rakib, Abdur
    [J]. PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2019, : 521 - 527
  • [2] Multi-agent VSK logic
    Wooldridge, M
    Lomuscio, A
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, 2000, 1919 : 300 - 312
  • [3] Undecidability of a multi-agent logic
    Kacprzak, M
    [J]. FUNDAMENTA INFORMATICAE, 2003, 54 (2-3) : 213 - 220
  • [4] Cluster Consensus of Boolean Multi-Agent Systems
    Li, Fangfei
    Chen, Yao
    Lu, Jinhu
    Hill, David
    [J]. 2013 9TH ASIAN CONTROL CONFERENCE (ASCC), 2013,
  • [5] A logic for normative multi-agent programs
    Dastani, Mehdi
    Meyer, John-Jules Ch.
    Grossi, Davide
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2013, 23 (02) : 335 - 354
  • [6] Translating multi-agent autoepistemic logic into logic program
    Kojima, Takahiro
    Toyama, Katsuhiko
    Inagaki, Yasuyoshi
    [J]. Transactions of the Japanese Society for Artificial Intelligence, 2002, 17 (02) : 114 - 126
  • [7] Multi-Agent Path Finding: A New Boolean Encoding
    Asin Acha, Roberto
    Lopez, Rodrigo
    Hagedorn, Sebastian
    Baier, Jorge A.
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2022, 75 : 323 - 350
  • [8] Multi-Agent Path Finding: A New Boolean Encoding
    Achá, Roberto Asín
    López, Rodrigo
    Hagedorn, Sebastián
    Baier, Jorge A.
    [J]. Journal of Artificial Intelligence Research, 2022, 75 : 323 - 350
  • [9] Distributed default logic for multi-agent system
    Ryzko, Dominik
    Rybinski, Henryk
    [J]. 2006 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY, PROCEEDINGS, 2006, : 204 - +
  • [10] Multi-agent fuzzy logic resource manager
    Smith, JF
    [J]. INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2002, 2002, 2412 : 231 - 236