Data di Pubblicazione:
2021
Citazione:
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].
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.
Tipologia IRIS:
03 - Contributo in volume
Keywords:
Logic of information; Resource bounded reasoning; Information transmission
Elenco autori:
G. Cignarale, G. Primiero
Link alla scheda completa:
Titolo del libro:
Software Engineering and Formal Methods : SEFM 2020 Collocated Workshops