Can Machines Learn Logics?

Chiaki Sakama and Katsumi Inoue

Proceedings of the 8th International Conference on Artificial General Intelligence (AGI-15), Lecture Notes in Artificial Intelligence 9205, Springer-Verlag, pages 341-351, 2015.

Abstract

This paper argues the possibility of designing AI that can learn logics from data. We provide an abstract framework for learning logics. In this framework, an agent A provides training examples that consist of formulas S and their logical consequences T. Then a machine M builds an axiomatic system that underlies between S and T. Alternatively, in the absence of an agent A, the machine M seeks an unknown logic underlying given data. We next provide two cases of learning logics: the first case considers learning deductive inference rules in propositional logic, and the second case considers learning transition rules in cellular automata. Each case study uses machine learning techniques together with metalogic programming.


Full Paper (PDF 93K) Slide