ASP, Amalgamation, and the conceptual blending workflow
MetadataShow full item record
SubjectBlending Process; Reconfigurable Hardware; Logic Programming; Computer Circuits; Computation Theory; Python Programming
We 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.
Showing items related by title, author, creator and subject.
How measuring student performances allows for measuring blended extreme apprenticeship for learning Bash programming Del, Fatto V; Dodero, G; Gennari, R (Elsevier, 2016)Extreme apprenticeship, a recent learning methodology, was used in a blended fashion for teaching a technical subject: Bash scripting for operating systems. Online learning was supported with the Moodle platform, in ...
Fronza I; El Ioini N; Corral L (ACM, 2016)Mobile programming is one of the fastest growing approaches in many fields, such as marketing or e-commerce. From the educational perspective, this means that students should understand that they can build mobile applications ...
Eppe, M; Confalonieri, R; Maclean, E; Kaliakatsos, M; Cambouropoulos, E; Schorlemmer, M; Codescu, M; Kühnberger, K (AAAI Press ; International Joint Conferences on Artificial Intelligence, 2015)We present a computational framework for chord invention based on a cognitive-theoretic perspective on conceptual blending. The framework builds on algebraic specifications, and solves two musicological problems. It ...