ASP, Amalgamation and the Conceptual Blending Workflow

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
Original languageEnglish
Title of host publicationLogic Programming and Nonmonotonic Reasoning
Subtitle of host publication13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
PublisherSpringer International Publishing
Pages309-316
Number of pages8
ISBN (Electronic)978-3-319-23264-5
ISBN (Print)978-3-319-23263-8
DOIs
Publication statusPublished - 2015

Publication series

NameLecture Notes in Computer Science
Volume9345
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

Dive into the research topics of 'ASP, Amalgamation and the Conceptual Blending Workflow'. Together they form a unique fingerprint.

Cite this