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 not model 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.

A Multi-Agent Depth Bounded Boolean Logic / G. Cignarale, G. Primiero (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Software Engineering and Formal Methods : SEFM 2020 Collocated Workshops / [a cura di] L. Cleophas, M. Massink. - [s.l] : Springer, 2021. - ISBN 9783030672195. - pp. 176-191 (( convegno ASYDE, CIFMA, and CoSim-CPS tenutosi a Amsterdam nel 2020 [10.1007/978-3-030-67220-1_14].

A Multi-Agent Depth Bounded Boolean Logic

G. Primiero
Ultimo
2021

Abstract

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 not model 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.
English
Logic of information; Resource bounded reasoning; Information transmission
Settore M-FIL/02 - Logica e Filosofia della Scienza
Capitolo o Saggio
Esperti anonimi
Pubblicazione scientifica
   Dipartimenti di Eccellenza 2018-2022 - Dipartimento di FILOSOFIA
   MINISTERO DELL'ISTRUZIONE E DEL MERITO
Software Engineering and Formal Methods : SEFM 2020 Collocated Workshops
L. Cleophas, M. Massink
Springer
2021
176
191
16
9783030672195
9783030672201
12524
Volume a diffusione internazionale
ASYDE, CIFMA, and CoSim-CPS
Amsterdam
2020
orcid
crossref
Aderisco
G. Cignarale, G. Primiero
Book Part (author)
reserved
268
A Multi-Agent Depth Bounded Boolean Logic / G. Cignarale, G. Primiero (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Software Engineering and Formal Methods : SEFM 2020 Collocated Workshops / [a cura di] L. Cleophas, M. Massink. - [s.l] : Springer, 2021. - ISBN 9783030672195. - pp. 176-191 (( convegno ASYDE, CIFMA, and CoSim-CPS tenutosi a Amsterdam nel 2020 [10.1007/978-3-030-67220-1_14].
info:eu-repo/semantics/bookPart
2
Prodotti della ricerca::03 - Contributo in volume
File in questo prodotto:
File Dimensione Formato  
A_Multi-Agent_Depth_Bounded_Boolean_Logic_EC_Generated.pdf

accesso riservato

Tipologia: Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione 319.79 kB
Formato Adobe PDF
319.79 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Cignarale-Primiero2021_Chapter_AMulti-AgentDepthBoundedBoolea.pdf

accesso riservato

Tipologia: Publisher's version/PDF
Dimensione 397.88 kB
Formato Adobe PDF
397.88 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/806798
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 1
social impact