Abstract
The goal of the COINVENT project was not only to develop a novel, computationally feasible, formal model of conceptual blending that was sufficiently precise for capturing the fundamental insights of Fauconnier and Turner’s theory, but also to implement a creative computational system based on this novel formal model. In this chapter, we overview COBBLE, the concept invention system prototype that we developed, and we describe its enabling technologies. The technologies we adopted and developed draw from interdisciplinary fields from ontologies, analogical reasoning, logic programming and formal methods.