Edinburgh Research Explorer

ASP, Amalgamation and the Conceptual Blending Workflow

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

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

Related Edinburgh Organisations

Open Access permissions

Open

Documents

http://link.springer.com/chapter/10.1007%2F978-3-319-23264-5_26
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
StatePublished - 2015

Publication series

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

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.

Download statistics

No data available

ID: 20002588