To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

Integrating Axiomatic and… - University of Gothenburg, Sweden Till startsida
To content Read more about how we use cookies on

Integrating Axiomatic and Analogical Reasoning

Conference paper
Authors Claes Strannegård
Abdul Rahim Nizamani
Ulf Persson
Published in 9th International Conference on Artificial General Intelligence, AGI 2016; New York; United States; 16 July 2016 through 19 July 2016
ISBN 978-3-319-41648-9
ISSN 0302-9743
Publisher Springer
Place of publication Cham
Publication year 2016
Published at Department of Mathematical Sciences
Department of Applied Information Technology (GU)
Department of Philosophy, Linguistics and Theory of Science
Language en
Subject categories Logic


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.

Page Manager: Webmaster|Last update: 9/11/2012

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?