Projects per year
Abstract
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 highlevel cognitive faculties such as the ability to understand, learn, and create new concepts and theories. Quite often the development of new mathematical theories and results is based on the combination of previously independent concepts, potentially even originating from distinct subareas of mathematics. Conceptual blending promises to offer a framework for modeling and recreating this form of mathematical concept invention with computational means. This paper describes a logicbased framework which allows a formal treatment of theory blending (a subform of the general notion of conceptual blending with high relevance for applications in mathematics), discusses an interactive algorithm for blending within the framework, and provides several illustrating worked examples from mathematics.
Original language  English 

Pages (fromto)  6589 
Number of pages  25 
Journal  Annals of Mathematics and Artificial Intelligence 
Volume  80 
Issue number  1 
Early online date  13 Apr 2016 
DOIs  
Publication status  Published  1 May 2017 
Keywords
 Concept blending
 Heuristicdriven theory projection
Fingerprint
Dive into the research topics of 'Theory blending: extended algorithmic aspects and examples'. Together they form a unique fingerprint.Projects
 1 Finished

COINVENT: Concept Invention Theory (RTD)
Smaill, A. & Fleuriot, J.
1/10/13 → 30/09/16
Project: Research