Results

**1 - 3**of**3**### Towards a cognitive model of conceptual blending

"... We outline a way to use Goguen’s (2006) account of conceptual blending in the cognitive architecture ACT-R. Despite recent advances in linguistics and general accounts of conceptual blending (for example, Fauconnier and Turner 2002, 2008) it has received scant attention in cognitive modelling, which ..."

Abstract
- Add to MetaCart

(Show Context)
We outline a way to use Goguen’s (2006) account of conceptual blending in the cognitive architecture ACT-R. Despite recent advances in linguistics and general accounts of conceptual blending (for example, Fauconnier and Turner 2002, 2008) it has received scant attention in cognitive modelling, which is partly due to the fact that there are hardly any computational accounts of this phenomenon, Goguen’s being one of them.

### COINVENT: Towards a Computational Concept Invention Theory

"... We aim to develop a computationally feasible, cognitively-inspired, formal model of concept invention, drawing on Fauconnier and Turner’s theory of conceptual blending, and grounding it on a sound mathematical theory of concepts. Conceptual blending, although successfully applied to de-scribing comb ..."

Abstract
- Add to MetaCart

We aim to develop a computationally feasible, cognitively-inspired, formal model of concept invention, drawing on Fauconnier and Turner’s theory of conceptual blending, and grounding it on a sound mathematical theory of concepts. Conceptual blending, although successfully applied to de-scribing combinational creativity in a varied number of fields, has barely been used at all for implementing creative compu-tational systems, mainly due to the lack of sufficiently precise mathematical characterisations thereof. The model we will define will be based on Goguen’s proposal of a Unified Con-cept Theory, and will draw from interdisciplinary research results from cognitive science, artificial intelligence, formal methods and computational creativity. To validate our model, we will implement a proof of concept of an autonomous computational creative system that will be evaluated in two testbed scenarios: mathematical reasoning and melodic har-monisation. We envisage that the results of this project will be significant for gaining a deeper scientific understanding of creativity, for fostering the synergy between understand-ing and enhancing human creativity, and for developing new technologies for autonomous creative systems.

### Using analogies to find and evaluate mathematical conjectures

"... Abstract. Analogical reasoning can shed light on both of the two key processes of creativity – generation and evaluation. Hence, it is a powerful tool for creativity. We illustrate this with three historical case studies of creative mathematical conjectures which were either found or evaluated via a ..."

Abstract
- Add to MetaCart

(Show Context)
Abstract. Analogical reasoning can shed light on both of the two key processes of creativity – generation and evaluation. Hence, it is a powerful tool for creativity. We illustrate this with three historical case studies of creative mathematical conjectures which were either found or evaluated via analogies. We conclude by describing our ongoing efforts to build computational realisations of these ideas. 1