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.
|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 International Publishing|
|Number of pages||8|
|Publication status||Published - 2015|
|Name||Lecture Notes in Computer Science|