Theory blending: extended algorithmic aspects and examples

M. Martinez, A. M. H. Abdel-Fattah (Lead / Corresponding author), U. Krumnack, D. Gómez-Ramírez, A. Smaill, T. R. Besold, A. Pease, M. Schmidt, M. Guhe, K. U. Kühnberger

Research output: Contribution to journalArticle

3 Citations (Scopus)
173 Downloads (Pure)

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. 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 re-creating this form of mathematical concept invention with computational means. This paper describes a logic-based 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 languageEnglish
Pages (from-to)65-89
Number of pages25
JournalAnnals of Mathematics and Artificial Intelligence
Volume80
Issue number1
Early online date13 Apr 2016
DOIs
Publication statusPublished - May 2017

Keywords

  • Concept blending
  • Heuristic-driven theory projection

Fingerprint Dive into the research topics of 'Theory blending: extended algorithmic aspects and examples'. Together they form a unique fingerprint.

  • Profiles

    No photo of Alison Pease

    Pease, Alison

    • Computing - Senior Lecturer (Teaching and Research)

    Person: Academic

    Cite this

    Martinez, M., Abdel-Fattah, A. M. H., Krumnack, U., Gómez-Ramírez, D., Smaill, A., Besold, T. R., Pease, A., Schmidt, M., Guhe, M., & Kühnberger, K. U. (2017). Theory blending: extended algorithmic aspects and examples. Annals of Mathematics and Artificial Intelligence, 80(1), 65-89. https://doi.org/10.1007/s10472-016-9505-y