LOGIS: The Logic of Image Schemas
Nov 2015 – Dec 2017
The LOGIS project, running between 2015-17, focuses on reaching out into a core topic in cognition: the logic of image schemas. The theory of image schemas was developed within cognitive linguistics, and has been extremely influential since Lakoff & Johnson’s work in the late 1980s. Although often acknowledged as central for the realisation of artificial creative systems, the difficult interplay between the deep roots of image schemas in human cognition and the necessity to (logically) formalise them for computational systems, is largely unexplored. This problem is investigated on the theoretical, logical level, and extensive empirical work will be carried out to verify the viability of certain formal distinctions. The LOGIS project is co-ordinated with University College Dublin (Ireland) and the University of Nis (Serbia). Experiments and field trips are carried out in the multi-lingual regions of Alto-Adige as well as Nis.
CIAO: Concept Invention and Applied Ontology
Internally funded research project on the relationship between applied ontology and concept invention.
COINVENT: Concept Invention
Oct 2013 – Nov 2016
COINVENT is a high-profile international research project funded by the European Commission’s 7th Framework Programme, and starting October 2013. It aims at advancing the formal understanding of creativity by developing a computationally feasible, cognitively-inspired formal model of concept invention, drawing from interdisciplinary research results from cognitive science, artificial intelligence, formal methods and computational creativity, and validating it for mathematical reasoning and melodic harmonisation. The project is coordinated by Dr. Marco Schorlemmer at IIIA-CSIC Barcelona.