Algorithmic aspects of theory blending

Martinez, M., Krumnack, U., Smaill, A., Besold, T. R., Abdel-Fattah, A. M. H., Schmidt, M., Gust, H., Kuhnberger, K-U., Guhe, M. & Pease, A. (2014). Algorithmic aspects of theory blending. Lecture Notes in Computer Science, 8884, pp. 180-192. doi:

Text - Accepted Version
Download (137kB) | Preview


In Cognitive Science, conceptual blending has been proposed as an important cognitive mechanism that facilitates the creation of new concepts and ideas by constrained combination of available knowledge. It thereby provides a possible theoretical foundation for modeling high-level cognitive faculties such as the ability to understand, learn, and create new concepts and theories. This paper describes a logic-based framework which allows a formal treatment of theory blending, discusses algorithmic aspects of blending within the framework, and provides an illustrating worked out example from mathematics.

Item Type: Article
Additional Information: This is a post-peer-review, pre-copyedit version of an article published in Lecture Notes in Computer Science. The final authenticated version is available online at:
Divisions: School of Informatics > Department of Computing

Actions (login required)

View Item View Item


Downloads per month over past year

View more statistics