Algorithmic Aspects of Theory Blending

Maricarmen Martínez, Ulf Krumnack, Alan Smaill, Tarek Richard Besold, Ahmed M. H. Abdel-Fattah, Martin Schmidt, Helmar Gust, Kai-Uwe Kühnberger, Markus Guhe, Alison Pease

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationArtificial Intelligence and Symbolic Computation
Subtitle of host publication12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings
PublisherSpringer International Publishing
Number of pages13
ISBN (Electronic)978-3-319-13770-4
ISBN (Print)978-3-319-13769-8
Publication statusPublished - 2014

Publication series

NameLecture Notes in Computer Science
PublisherSpringer International Publishing
ISSN (Print)0302-9743


Dive into the research topics of 'Algorithmic Aspects of Theory Blending'. Together they form a unique fingerprint.

Cite this