ASP, Amalgamation, and the conceptual blending workflow

Publikationstyp
Conference Paper
Date Issued
2015-09
Sprache
English
Author(s)
Eppe, Manfred
Maclean, Ewen
Confalonieri, Roberto
Kutz, Oliver
Schorlemmer, Marco
Plaza, Enric
TORE-URI
http://hdl.handle.net/11420/12374
First published in
Lecture notes in computer science
Number in series
9345 LNCS
Start Page
309
End Page
316
Citation
13th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2015)
Contribution to Conference
13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015
Publisher DOI
10.1007/978-3-319-23264-5_26
Scopus ID
2-s2.0-84952333050
ISBN of container
978-331923263-8
We present a framework 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 Python programming, to query external tools for theorem proving and colimit computation. We exemplify our approach with an example of creativity in mathematics.