A General System for Learning and Reasoning in Symbolic Domains
Paper in proceeding, 2014

We present the system O that operates in arbitrary symbolic domains, including arithmetic, logic, and grammar. O can start from scratch and learn the general laws of a domain from examples. The main learning mechanism is a formalization of Occam’s razor. Learning is facilitated by working within a cognitive model of bounded rationality. Computational complexity is thereby dramatically reduced, while preserving human-level performance. As illustration, we describe the learning process by which O learns elementary arithmetic. In the beginning, O knows nothing about the syntax or laws of arithmetic; by the end, it has constructed a theory enabling it to solve previously unseen problems such as “what is 67 ∗ 8?” and “which number comes next in the sequence 8,11, 14?”.

Domain-independent agent

Occam’s razor

bounded rationality.


Claes Strannegård

University of Gothenburg

Chalmers, Applied Information Technology (Chalmers), Cognition and Communication

Abdul Rahim Nizamani

University of Gothenburg

Ulf Persson

University of Gothenburg

Chalmers, Mathematical Sciences, Mathematics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 8598 174-185
978-3-319-09274-4 (ISBN)

Subject Categories


Philosophy, Ethics and Religion





More information