A project on Concept Invention Theory
Project Concept & Goals


Concept

What: a computationally feasible, cognitively inspired formal model of concept invention grounded in a sound mathematical theory of concepts
Why: for engineering computer systems that effectively support humans in those genuinely creative tasks underlying abstract, serendipitous thinking both in the sciences and the arts
How: by (1) building upon Goguen’s proposal of a Unified Concept Theory and drawing from cognitive and social theories of conceptual blending for concept invention, (2) implementing a proof of concept drawing from interdisciplinary research results, and (3) validating the model by deploying the proof of concept in two testbed scenarios: mathematical reasoning and melodic harmonization.

Goals
    1. to develop a novel, computationally feasible, formal model of conceptual blending that is sufficiently precise for capturing the fundamental insights of Fauconnier and Turner’s theory, and is at the same time general enough to address the syntactic and semantic heterogeneity of knowledge representations;
    2. to gain a deeper understanding of conceptual blending and its role in computational creativity by linking this novel formal model to relevant, cognitively inspired computational models, such as analogical and case-based reasoning, induction, semantic alignment, and coherence-based reasoning;
    3. to design a generic, creative computational system based on this novel formal model capable of serendipitous invention and manipulation of novel abstract concepts, enhancing thus the creativity of humans when this system is instantiated to particular application domains for which conceptual blending is a core process of creative thinking.
    4. to validate our model and its computational realization in two representative working domains of creativity: mathematics and music.