Integrating Axiomatic and Analogical Reasoning
Paper i 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

Göteborgs universitet

Chalmers, Tillämpad informationsteknologi, Kognition och kommunikation

Abdul Rahim Nizamani

Göteborgs universitet

Ulf Persson

Chalmers, Matematiska vetenskaper, Matematik

Göteborgs universitet

Lecture Notes in Computer Science

0302-9743 (ISSN)

Vol. 9782 181-191