ASP, Amalgamation, and the conceptual blending workflow

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