Algorithmic aspects of theory blending

Maricarmen Martinez, 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

    5 Citations (Scopus)


    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, Proceedings
    EditorsJacques Calmet, Gonzalo A. Aranda-Corral, Francisco J. Martín-Mateos
    Place of PublicationSwitzerland
    PublisherSpringer Verlag
    Number of pages13
    ISBN (Electronic)9783319137704
    ISBN (Print)9783319137698
    Publication statusPublished - 2014
    Event12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014 - Seville, Spain
    Duration: 11 Dec 201413 Dec 2014

    Publication series

    NameLecture Notes in Computer Science
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349


    Conference12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014


    • Input Space
    • Minimal Extension
    • Initial Theory
    • Algorithmic Aspect
    • Counterfactual Reasoning


    Dive into the research topics of 'Algorithmic aspects of theory blending'. Together they form a unique fingerprint.

    Cite this