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

doi:10.1007/978-3-319-13770-4_16

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 proceeding › Conference contribution

5 Citations (Scopus)

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 language	English
Title of host publication	Artificial Intelligence and Symbolic Computation
Subtitle of host publication	12th International Conference, AISC 2014, Proceedings
Editors	Jacques Calmet, Gonzalo A. Aranda-Corral, Francisco J. Martín-Mateos
Place of Publication	Switzerland
Publisher	Springer Verlag
Pages	180-192
Number of pages	13
ISBN (Electronic)	9783319137704
ISBN (Print)	9783319137698
DOIs	https://doi.org/10.1007/978-3-319-13770-4_16
Publication status	Published - 2014
Event	12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014 - Seville, Spain Duration: 11 Dec 2014 → 13 Dec 2014

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	8884
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014
Country/Territory	Spain
City	Seville
Period	11/12/14 → 13/12/14

Keywords

Input Space
Minimal Extension
Initial Theory
Algorithmic Aspect
Counterfactual Reasoning

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-319-13770-4_16

Cite this

Martinez, M., Krumnack, U., Smaill, A., Besold, T. R., Abdel-Fattah, A. M. H., Schmidt, M., Gust, H., Kühnberger, K. U., Guhe, M., & Pease, A. (2014). Algorithmic aspects of theory blending. In J. Calmet, G. A. Aranda-Corral, & F. J. Martín-Mateos (Eds.), Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Proceedings (pp. 180-192). (Lecture Notes in Computer Science; Vol. 8884). Springer Verlag. https://doi.org/10.1007/978-3-319-13770-4_16

Martinez, Maricarmen ; Krumnack, Ulf ; Smaill, Alan et al. / Algorithmic aspects of theory blending. Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Proceedings. editor / Jacques Calmet ; Gonzalo A. Aranda-Corral ; Francisco J. Martín-Mateos. Switzerland : Springer Verlag, 2014. pp. 180-192 (Lecture Notes in Computer Science).

@inproceedings{a0834a672aff46349a131ae281f30628,

title = "Algorithmic aspects of theory blending",

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.",

keywords = "Input Space, Minimal Extension, Initial Theory, Algorithmic Aspect, Counterfactual Reasoning",

author = "Maricarmen Martinez and Ulf Krumnack and Alan Smaill and Besold, {Tarek Richard} and Abdel-Fattah, {Ahmed M. H.} and Martin Schmidt and Helmar Gust and K{\"u}hnberger, {Kai Uwe} and Markus Guhe and Alison Pease",

year = "2014",

doi = "10.1007/978-3-319-13770-4_16",

language = "English",

isbn = "9783319137698",

series = "Lecture Notes in Computer Science",

publisher = "Springer Verlag",

pages = "180--192",

editor = "Jacques Calmet and Aranda-Corral, {Gonzalo A.} and Mart{\'i}n-Mateos, {Francisco J.}",

booktitle = "Artificial Intelligence and Symbolic Computation",

address = "Germany",

note = "12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014 ; Conference date: 11-12-2014 Through 13-12-2014",

}

Martinez, M, Krumnack, U, Smaill, A, Besold, TR, Abdel-Fattah, AMH, Schmidt, M, Gust, H, Kühnberger, KU, Guhe, M & Pease, A 2014, Algorithmic aspects of theory blending. in J Calmet, GA Aranda-Corral & FJ Martín-Mateos (eds), Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Proceedings. Lecture Notes in Computer Science, vol. 8884, Springer Verlag, Switzerland, pp. 180-192, 12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014, Seville, Spain, 11/12/14. https://doi.org/10.1007/978-3-319-13770-4_16

Algorithmic aspects of theory blending. / Martinez, Maricarmen; Krumnack, Ulf; Smaill, Alan et al.
Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Proceedings. ed. / Jacques Calmet; Gonzalo A. Aranda-Corral; Francisco J. Martín-Mateos. Switzerland: Springer Verlag, 2014. p. 180-192 (Lecture Notes in Computer Science; Vol. 8884).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Algorithmic aspects of theory blending

AU - Martinez, Maricarmen

AU - Krumnack, Ulf

AU - Smaill, Alan

AU - Besold, Tarek Richard

AU - Abdel-Fattah, Ahmed M. H.

AU - Schmidt, Martin

AU - Gust, Helmar

AU - Kühnberger, Kai Uwe

AU - Guhe, Markus

AU - Pease, Alison

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

KW - Input Space

KW - Minimal Extension

KW - Initial Theory

KW - Algorithmic Aspect

KW - Counterfactual Reasoning

UR - http://www.scopus.com/inward/record.url?scp=84917740139&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-13770-4_16

DO - 10.1007/978-3-319-13770-4_16

M3 - Conference contribution

AN - SCOPUS:84917740139

SN - 9783319137698

T3 - Lecture Notes in Computer Science

SP - 180

EP - 192

BT - Artificial Intelligence and Symbolic Computation

A2 - Calmet, Jacques

A2 - Aranda-Corral, Gonzalo A.

A2 - Martín-Mateos, Francisco J.

PB - Springer Verlag

CY - Switzerland

T2 - 12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014

Y2 - 11 December 2014 through 13 December 2014

ER -

Martinez M, Krumnack U, Smaill A, Besold TR, Abdel-Fattah AMH, Schmidt M et al. Algorithmic aspects of theory blending. In Calmet J, Aranda-Corral GA, Martín-Mateos FJ, editors, Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Proceedings. Switzerland: Springer Verlag. 2014. p. 180-192. (Lecture Notes in Computer Science). doi: 10.1007/978-3-319-13770-4_16

Algorithmic aspects of theory blending

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

COINVENT: Concept Invention Theory (Joint with Spanish National Research Council, University of Edinburgh, University of Osnoabruck, Bremen University, Goldsmiths' College and Aristotle University of Thessaloniki)

Cite this

Algorithmic aspects of theory blending

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Projects

COINVENT: Concept Invention Theory (Joint with Spanish National Research Council, University of Edinburgh, University of Osnoabruck, Bremen University, Goldsmiths' College and Aristotle University of Thessaloniki)

Cite this