Integrating Axiomatic and Analogical Reasoning
Paper in proceeding, 2016

We present a computational model of a developing system with bounded rationality that is surrounded by an arbitrary number of symbolic domains. The system is fully automatic and makes continuous observations of facts emanating from those domains. The system starts from scratch and gradually evolves a knowledge base consisting of three parts: (1) a set of beliefs for each domain, (2) a set of rules for each domain, and (3) an analogy for each pair of domains. The learning mechanism for updating the knowledge base uses rote learning, inductive learning, analogy discovery, and belief revision. The reasoning mechanism combines axiomatic reasoning for drawing conclusions inside the domains, with analogical reasoning for transferring knowledge from one domain to another. Thus the reasoning processes may use analogies to jump back and forth between domains.


Claes Strannegård

University of Gothenburg

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

Abdul Rahim Nizamani

University of Gothenburg

Ulf Persson

Chalmers, Mathematical Sciences, Mathematics

University of Gothenburg

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

03029743 (ISSN) 16113349 (eISSN)

Vol. 9782 181-191
978-3-319-41648-9 (ISBN)

Subject Categories






More information