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 \(\mathcal{A}\) provides training examples that consist of formulas S and their logical consequences T. Then a machine \(\mathcal{M}\) builds an axiomatic system that underlies between S and T. Alternatively, in the absence of an agent \(\mathcal{A}\), the machine \(\mathcal{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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Adamatzky, A.: Identification of Cellular Automata. Taylor & Francis, London (1994)
Bowen, K.A., Kowalski, R.A.: Amalgamating language and metalanguage in logic programming. In: Clark, K., Tarnlund, S.A. (eds.) Logic Programming, pp. 153–172. Academic Press (1983)
Coradeschi, S., Loutfi, A., Wrede, B.: A short review of symbol grounding in robotic and intelligent systems. KI - Kunstliche Intelligenz 27, 129–136 (2013)
Grice, H.P.: Logic and conversation. In: Cole, P., Morgan, J. (eds.) Syntax and Semantics, 3: Speech Acts, pp. 41–58. Academic Press (1975)
Inoue, K.: Meta-level abduction. IFCoLog Journal of Logic and their Applications (in print) (2015)
Inoue, K., Ribeiro, T., Sakama, C.: Learning from interpretation transition. Machine Learning 94, 51–79 (2014)
Lenat, D.B.: On automated scientific theory formation: a case study using the AM program. In: Hayes, J.E., Michie, D., Mikulich, O.I. (eds.) Machine Intelligence, vol. 9, pp. 251–283. Ellis Horwood (1979)
Levinson, S.C.: Pragmatics. Cambridge University Press (1983)
Michalski, R.S.: A theory and methodology of inductive learning. In: Michalski, R.S., et al. (eds.) Machine Learning: An Artificial Intelligence Approach, pp. 83–134. Morgan Kaufmann (1983)
Minker, J. (ed.): Logic-based Artificial Intelligence. Kluwer Academic (2000)
Peirce, C.S.: Elements of logic. In: Hartshorne, C., Weiss, P. (eds.) Collected Papers of Charles Sanders Peirce, vol. II. Harvard University Press (1932)
Piaget, J.: Main Trends in Psychology. Allen & Unwin, London (1973)
Schmidt, M., Lipson, H.: Distilling free-form natural laws from experimental data. Science 324 (2009)
Turing, A.M.: Computing machinery and intelligence. Mind 59, 433–460 (1950)
Wolfram, S.: Cellular Automata and Complexity. Westview Press (1994)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Sakama, C., Inoue, K. (2015). Can Machines Learn Logics?. In: Bieger, J., Goertzel, B., Potapov, A. (eds) Artificial General Intelligence. AGI 2015. Lecture Notes in Computer Science(), vol 9205. Springer, Cham. https://doi.org/10.1007/978-3-319-21365-1_35
Download citation
DOI: https://doi.org/10.1007/978-3-319-21365-1_35
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-21364-4
Online ISBN: 978-3-319-21365-1
eBook Packages: Computer ScienceComputer Science (R0)