English   español  
Por favor, use este identificador para citar o enlazar a este item: http://hdl.handle.net/10261/130425
Compartir / Impacto:
Estadísticas
Add this article to your Mendeley library MendeleyBASE
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Título

ASP, amalgamation, and the conceptual blending workflow

AutorEppe, Manfred; Maclean, Ewen; Confalonieri, Roberto; Schorlemmer, Marco; Kutz, Oliver; Plaza, Enric
Palabras claveSearch capabilities
Blending process
Computation theory
External tools
Python programming
Computer circuits
Logic programming
Reconfigurable hardware
Creative thinking
Fecha de publicación2015
EditorSpringer
Citación 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
ResumenWe 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.
URIhttp://hdl.handle.net/10261/130425
DOI10.1007/978-3-319-23264-5
Identificadoresdoi: 10.1007/978-3-319-23264-5
issn: 03029743
Aparece en las colecciones: (IIIA) Comunicaciones congresos
Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
LNCS9345,2015,pp.309-316.pdf337,22 kBAdobe PDFVista previa
Visualizar/Abrir
Mostrar el registro completo
 


NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.