English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/130425
logo share SHARE   Add this article to your Mendeley library MendeleyBASE

Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar a otros formatos:


ASP, amalgamation, and the conceptual blending workflow

AuthorsEppe, Manfred; Maclean, Ewen; Confalonieri, Roberto; Schorlemmer, Marco ; Kutz, Oliver; Plaza, Enric
KeywordsSearch capabilities
Blending process
Computation theory
External tools
Python programming
Computer circuits
Logic programming
Reconfigurable hardware
Creative thinking
Issue Date2015
Citation Lecture Notes in Computer Science, Volume 9345, 2015, Pages 309-316, 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015; Lexington; United States; 27 September 2015 through 30 September 2015
AbstractWe 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. © Springer International Publishing Switzerland 2015.
Identifiersdoi: 10.1007/978-3-319-23264-5
issn: 03029743
Appears in Collections:(IIIA) Comunicaciones congresos
Files in This Item:
File Description SizeFormat 
LNCS9345,2015,pp.309-316.pdf337,22 kBAdobe PDFThumbnail
Show full item record
Review this work

WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.