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.

KEYWORDS: Logic of information, Resource bounded reasoning, Information transmission

Cignarale, G., Primiero, G. A Multi-Agent Depth Bounded Boolean Logic. SEFM 2020. Lecture Notes in Computer Science, vol 12524. https://doi.org/10.1007/978-3-030-67220-1_14