Processing Information from a Set of Sources
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.
Keywordsinformation processing multiple sources non-deterministic matrices non-classical logics paraconsistency
Unable to display preview. Download preview PDF.
- Anderson, A.R., Belnap, N.D., Entailment, vol. 1, Princeton University Press, Princeton NJ, 1975. Google Scholar
- Avron, A., ‘Logical Non-determinism as a tool for logical modularity: an introduction’, in Artemov, S., Barringer, H., d’Avila Garcez, A.S., Lamb, L.C., Woods, J. (eds.), We Will Show Them: Essays in Honor of Dov Gabbay, vol. 1, College Publications, Ithaca, NY, 2005, pp. 105–124. Google Scholar
- Avron, A., Lev, I., ‘Canonical propositional Gentzen-type systems’, in Goré, R., Leitsch, A., Nipkow, T., Proceedings of the 1st International Joint Conference on Automated Reasoning (IJCAR 2001), LNAI, vol. 2083, Springer Verlag, 2001, pp. 529–544. Google Scholar
- Belnap, N.D., ‘How computers should think’, in Rylem, G. (ed.), Contemporary Aspects of Philosophy, Oriel Press, Stocksfield, England, 1977, pp. 30–56. Google Scholar
- Belnap, N.D., ‘A useful four-valued logic’, in Epstein, G., Dunn, J.M., Modern Uses of Multiple-Valued Logic, Reidel, Dordrecht, 1977, pp. 7–37. Google Scholar
- Carnielli, W.A., Lima-Marques, M., ‘Society semantics for multiple-valued logics’, in Carnielli, Walter A., D’Ottaviano, Itala M.L. (eds.), Proceedings of the XII EBL—Advances in Contemporary Logic and Computer Science, American Mathematical Society, Series Contemporary Mathematics, vol. 235, 1999, pp. 33–52. Google Scholar
- Dunn, J.M., ‘Relevant logic and entailment’, Handbook of Philosophical Logic, vol. III, Gabbay, D., Guenthner, F. (eds.), 1984. Google Scholar
- Epstein, R.L., The semantic foundation of logic, 2nd ed., vol. I: Propositional Logics, ch. IX, Kluwer Academic Publisher, 1995. Google Scholar
- Ginsberg, M.L., ‘Multivalued logics: A uniform approach to reasoning in AI’, Computer Intelligence, 4: 256–316, 1988. Google Scholar