ASP, Amalgamation and the Conceptual Blending Workflow

Manfred Eppe; Ewen Maclean; Roberto Confalonieri; Oliver Kutz; Marco Schorlemmer; Enric Plaza

doi:10.1007/978-3-319-23264-5_26

ASP, Amalgamation and the Conceptual Blending Workflow

Manfred Eppe, Ewen Maclean, Roberto Confalonieri, Oliver Kutz, Marco Schorlemmer, Enric Plaza

School of Informatics

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

Abstract / Description of output

We present an amalgamation technique used for conceptual blending – a concept invention method that is advocated in cognitive science as a fundamental, and uniquely human engine for creative thinking. Herein, we employ the search capabilities of ASP to find commonalities among input concepts as part of the blending process, and we show how our approach fits within a generalised conceptual blending workflow. Specifically, we orchestrate ASP with imperative programming languages like Python, to query external tools for theorem proving and colimit computation. We evaluate our system with examples from various domains where creativity is important, in particular mathematics and music.

Original language	English
Title of host publication	Logic Programming and Nonmonotonic Reasoning
Subtitle of host publication	13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Publisher	Springer
Pages	309-316
Number of pages	8
ISBN (Electronic)	978-3-319-23264-5
ISBN (Print)	978-3-319-23263-8
DOIs	https://doi.org/10.1007/978-3-319-23264-5_26
Publication status	Published - 2015

Publication series

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

Access to Document

10.1007/978-3-319-23264-5_26

LPNMR_2015_submission_60Accepted author manuscript, 408 KB

http://link.springer.com/chapter/10.1007%2F978-3-319-23264-5_26

Cite this

Eppe, M., Maclean, E., Confalonieri, R., Kutz, O., Schorlemmer, M., & Plaza, E. (2015). ASP, Amalgamation and the Conceptual Blending Workflow. In Logic Programming and Nonmonotonic Reasoning: 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings (pp. 309-316). (Lecture Notes in Computer Science; Vol. 9345). Springer. https://doi.org/10.1007/978-3-319-23264-5_26

@inproceedings{4e341ccc71a7441e9ed2267f1b166293,

title = "ASP, Amalgamation and the Conceptual Blending Workflow",

abstract = "We present an amalgamation technique used for conceptual blending – a concept invention method that is advocated in cognitive science as a fundamental, and uniquely human engine for creative thinking. Herein, we employ the search capabilities of ASP to find commonalities among input concepts as part of the blending process, and we show how our approach fits within a generalised conceptual blending workflow. Specifically, we orchestrate ASP with imperative programming languages like Python, to query external tools for theorem proving and colimit computation. We evaluate our system with examples from various domains where creativity is important, in particular mathematics and music.",

author = "Manfred Eppe and Ewen Maclean and Roberto Confalonieri and Oliver Kutz and Marco Schorlemmer and Enric Plaza",

year = "2015",

doi = "10.1007/978-3-319-23264-5_26",

language = "English",

isbn = "978-3-319-23263-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "309--316",

booktitle = "Logic Programming and Nonmonotonic Reasoning",

address = "United Kingdom",

}

Eppe, M, Maclean, E, Confalonieri, R, Kutz, O, Schorlemmer, M & Plaza, E 2015, ASP, Amalgamation and the Conceptual Blending Workflow. in Logic Programming and Nonmonotonic Reasoning: 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings. Lecture Notes in Computer Science, vol. 9345, Springer, pp. 309-316. https://doi.org/10.1007/978-3-319-23264-5_26

ASP, Amalgamation and the Conceptual Blending Workflow. / Eppe, Manfred; Maclean, Ewen; Confalonieri, Roberto et al.
Logic Programming and Nonmonotonic Reasoning: 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings. Springer, 2015. p. 309-316 (Lecture Notes in Computer Science; Vol. 9345).

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

TY - GEN

T1 - ASP, Amalgamation and the Conceptual Blending Workflow

AU - Eppe, Manfred

AU - Maclean, Ewen

AU - Confalonieri, Roberto

AU - Kutz, Oliver

AU - Schorlemmer, Marco

AU - Plaza, Enric

PY - 2015

Y1 - 2015

N2 - We present an amalgamation technique used for conceptual blending – a concept invention method that is advocated in cognitive science as a fundamental, and uniquely human engine for creative thinking. Herein, we employ the search capabilities of ASP to find commonalities among input concepts as part of the blending process, and we show how our approach fits within a generalised conceptual blending workflow. Specifically, we orchestrate ASP with imperative programming languages like Python, to query external tools for theorem proving and colimit computation. We evaluate our system with examples from various domains where creativity is important, in particular mathematics and music.

AB - We present an amalgamation technique used for conceptual blending – a concept invention method that is advocated in cognitive science as a fundamental, and uniquely human engine for creative thinking. Herein, we employ the search capabilities of ASP to find commonalities among input concepts as part of the blending process, and we show how our approach fits within a generalised conceptual blending workflow. Specifically, we orchestrate ASP with imperative programming languages like Python, to query external tools for theorem proving and colimit computation. We evaluate our system with examples from various domains where creativity is important, in particular mathematics and music.

U2 - 10.1007/978-3-319-23264-5_26

DO - 10.1007/978-3-319-23264-5_26

M3 - Conference contribution

SN - 978-3-319-23263-8

T3 - Lecture Notes in Computer Science

SP - 309

EP - 316

BT - Logic Programming and Nonmonotonic Reasoning

PB - Springer

ER -

ASP, Amalgamation and the Conceptual Blending Workflow

Abstract / Description of output

Publication series

Access to Document

Fingerprint

Cite this