Logics of Reasonable Information Sources

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

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique

Extending the work of Belnap [3], we continue our research on ESP structures, consisting of information sources and a processor which collects information from the sources, and develops it further using certain coherent rules. We examine the case of reasonable sources which provide coherent information, characterize the logic of a single reasonable source, and prove that the logics generated by ESP structures with reasonable sources coincide with the general source-processor logics described in our previous work. However, we show that, unlike the case of arbitrary sources, there are processor valuations in general ESP structures which cannot be obtained from any finite number of valuations defined by reasonable sources.

Mots clés: information sources; non-deterministic matrices; many-valued logics; proof systems; electrostatic precipitators; cost accounting; relational databases; character generation

Domaines: Intelligence artificielle [cs.AI]

Arnon Avron, Jonathan Ben-Naim, Beata Konikowska. Logics of Reasonable Information Sources. 40th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2010), Artificial Intelligence Research Institute of the Spanish National Research Council (IIIA-CSIC); University of Barcelona; Autonomous University of Barcelona; University of Lleida, May 2010, Barcelone, Spain. ⟨10.1109/ISMVL.2010.19⟩. ⟨hal-03092778⟩