Processing Information from a Set of Sources

Arnon Avron (1) , Jonathan Ben-Naim (2, 3) , Beata Konikowska (4)

1 TAU - Tel Aviv University
2 IRIT-LILaC - Logique, Interaction, Langue et Calcul
3 CNRS - Centre National de la Recherche Scientifique
4 UW - University of Warsaw

We introduce a general framework for solving the problem of a computer collecting and combining information from various sources. Unlike previous approaches to this problem, in our framework the sources are allowed to provide information about complex formulae too. This is enabled by the use of a new tool—non-deterministic logical matrices. We also consider several alternative plausible assumptions concerning the framework which lead to various logics. We provide strongly sound and complete proof systems for all the basic logics induced in this way.

Mots clés: information processing; multiple sources; non-deterministic matrices; non-classical logics; paraconsistency

Domaines: Intelligence artificielle [cs.AI]

Arnon Avron, Jonathan Ben-Naim, Beata Konikowska. Processing Information from a Set of Sources. Towards Mathematical Philosophy, 28, , pp.165-186, 2009, Trends in Logic book series (TREN), ⟨10.1007/978-1-4020-9084-4_8⟩. ⟨hal-03092781⟩