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

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
Pages180-192
Number of pages13
ISBN (Electronic)978-3-319-13770-4
ISBN (Print)978-3-319-13769-8
DOIs
Publication statusPublished - 2014

Publication series

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

Cite this