%0 Conference Paper %1 KutzEtAl14b %A Kutz, Oliver %A Bateman, John %A Mossakowski, Till %A Neuhaus, Fabian %A Bhatt, Mehul %B Computational Creativity Research: Towards Creative Machines %D 2015 %E Besold, Tarek R. %E Schorlemmer, Marco %E Smaill, Alan %I Atlantis Press %K myown %P 167-196 %T E pluribus unum - Formalisation, Use-Cases, and Computational Support for Conceptual Blending %U http://link.springer.com/chapter/10.2991/978-94-6239-085-0_9 %V 7 %X Conceptual blending has been employed very successfully to understand the process of concept invention, studied particularly within cognitive psychology and linguistics. However, despite this influential research, within computational creativity little effort has been devoted to fully formalise these ideas and to make them amenable to computational techniques. Unlike other combination techniques, blending aims at creatively generating (new) concepts on the basis of input theories whose domains are thematically distinct but whose specifications share structural similarity based on a relation of analogy, identified in a generic space, called the base ontology. We here introduce the basic formalisation of conceptual blending, as sketched by the late Joseph Goguen, and discuss some of its variations. We illustrate the vast array of conceptual blends that may be covered by this approach and discuss the theoretical and conceptual challenges that ensue. Moreover, we show how the Distributed Ontology Language DOL can be used to declaratively specify blending diagrams of various shapes, and discuss in detail how the workflow and creative act of generating and evaluating a new, blended concept can be managed and computationally supported within Ontohub, a DOL-enabled theory repository with support for a large number of logical languages and formal linking constructs.

@inproceedings{KutzEtAl14b, abstract = {Conceptual blending has been employed very successfully to understand the process of concept invention, studied particularly within cognitive psychology and linguistics. However, despite this influential research, within computational creativity little effort has been devoted to fully formalise these ideas and to make them amenable to computational techniques. Unlike other combination techniques, blending aims at creatively generating (new) concepts on the basis of input theories whose domains are thematically distinct but whose specifications share structural similarity based on a relation of analogy, identified in a generic space, called the base ontology. We here introduce the basic formalisation of conceptual blending, as sketched by the late Joseph Goguen, and discuss some of its variations. We illustrate the vast array of conceptual blends that may be covered by this approach and discuss the theoretical and conceptual challenges that ensue. Moreover, we show how the Distributed Ontology Language DOL can be used to declaratively specify blending diagrams of various shapes, and discuss in detail how the workflow and creative act of generating and evaluating a new, blended concept can be managed and computationally supported within Ontohub, a DOL-enabled theory repository with support for a large number of logical languages and formal linking constructs.}, added-at = {2016-08-24T14:45:27.000+0200}, author = {Kutz, Oliver and Bateman, John and Mossakowski, Till and Neuhaus, Fabian and Bhatt, Mehul}, biburl = {https://www.bibsonomy.org/bibtex/2acf7d0268b0601397db7dd605f4b6561/fneuhaus}, booktitle = {Computational Creativity Research: Towards Creative Machines}, editor = {Besold, Tarek R. and Schorlemmer, Marco and Smaill, Alan}, interhash = {55c76176037204a6778cd442a01a9900}, intrahash = {acf7d0268b0601397db7dd605f4b6561}, keywords = {myown}, pages = {167-196}, publisher = {Atlantis Press}, series = {Atlantis Thinking Machines}, timestamp = {2016-08-24T14:45:27.000+0200}, title = {E pluribus unum - Formalisation, Use-Cases, and Computational Support for Conceptual Blending}, url = {http://link.springer.com/chapter/10.2991/978-94-6239-085-0_9}, volume = 7, year = 2015 }