ASP, Amalgamation, and the Conceptual Blending Workflow

Abstract. We present a framework for conceptual blending – a concept inven-tion 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 pro-cess, and we show how our approach fits within a generalised conceptual blend-ing workflow. Specifically, we orchestrate ASP with imperative Python program-ming, to query external tools for theorem proving and colimit computation. We exemplify our approach with an example of creativity in mathematics.