COINVENT: Towards a Computational Concept Invention Theory
Inhaltsverzeichnis
Reference
Marco Schorlemmer, Alan Smaill, Kai-Uwe Kühnberger, Oliver Kutz, Simon Colton, Emilios Cambouropoulos and Alison Pease: COINVENT: Towards a Computational Concept Invention Theory. In: Computational Creativity 2014 ICCC 2014, 288-296.
DOI
Abstract
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.
Extended Abstract
Bibtex
@inproceedings{
author = {Marco Schorlemmer, Alan Smaill, Kai-Uwe Kühnberger, Oliver Kutz, Simon Colton, Emilios Cambouropoulos and Alison Pease},
title = {COINVENT: Towards a Computational Concept Invention Theory},
booktitle = {Proceedings of the Fifth International Conference on Computational Creativity},
series = {ICCC2014},
year = {2014},
month = {Jun},
location = {Ljubljana, Slovenia},
pages = {288-296},
url = {http://computationalcreativity.net/iccc2014/wp-content/uploads/2014/06//14.1_Schorlemmer.pdf, http://de.evo-art.org/index.php?title=COINVENT:_Towards_a_Computational_Concept_Invention_Theory },
publisher = {International Association for Computational Creativity},
keywords = {computational, creativity},
}
Used References
Aamodt, A., and Plaza, E. 1994. Case-based reason- ing: Foundational issues, methodological variations, and system approaches. Artificial Intelligence Communications 7(1):39–52.
Alexander, J. 2011. Mathematical blending. Semiotica 2011(187):1–48.
Anagnostopoulou, C., and Cambouropoulos, E. 2012. Semi- otic analysis and computational modeling: Two case studies on works by Debussy and Xenakis. In Sheinberg, E., ed., Music Semiotics: A Network of Significations. Ashgate Pub- lishing, Surrey, UK. 129–145.
Arcos, J. L. 2012. Music and similarity based reasoning. In Soft Computing in Humanities and Social Sciences, volume 273 of Studies in Fuzziness and Soft Computing. Springer. 467–478.
Atencia, M., and Schorlemmer, M. 2012. An interaction- based approach to semantic alignment. Journal of Web Se- mantics 12–13:131–147.
Baron, S. G., and Osherson, D. 2011. Evidence for con- ceptual combination in the left anterior temporal lobe. Neu- roimage 55(4):1847–1852.
Barwise, J., and Seligman, J. 1997. Information Flow: The Logic of Distributed Systems, volume 44 of Cambridge Tracts in Theoretical Computer Science. Cambridge Univer- sity Press.
Boden, M. A. 1990. The Creative Mind: Myths and Mech- anisms. George Weidenfeld and Nicolson Ltd.
Boden, M. A. 2009. Computer models of creativity. AI Magazine.
Boulez, P., and Connes, A. 2011. La cr ́eativit ́e en musique et en math ́ematique. A dialogue during the 3rd Interna- tional Conference on Mathematics and Computation in Mu- sic (MCM 2011).
Colton, S., and Pease, A. 2004. Lakatos-style automated theorem modification. In Proceedings of the 16th Eureo- pean Conference on Artificial Intelligence, ECAI’2004, in- cluding Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004.
Colton, S.; Pease, A.; and Charnley, J. 2011. Computational creativity theory: The FACE and IDEA descriptive models. In 2nd International Conference on Computational Creativ- ity.
Colton, S. 2002. Automated Theory Formation in Pure Mathematics. Distinguished Dissertations Series. Springer. Conklin, D., and Anagnostopoulou, C. 2006. Segmental pat- tern discovery in music. INFORMS Journal on Computing 18(3):285–293.
Deli`ege, I., and Wiggins, G., eds. 2006. Musical Creativity: Multidisciplinary Research in Theory and Practice. Psy- chology Press.
Echard, W. 2006. ‘Plays guitar without any hands’: Musical movement and problems of immanence. In Gritten, A., and King, E., eds., Music and Gesture. Ashgate.
Falkenhainer, B.; Forbus, K. D.; and Gentner, D. 1989. The structure-mapping engine: Algorithm and examples. Artifi- cial Intelligence 41(1):1–63.
Fauconnier, G., and Turner, M. 1998. Conceptual integra- tion networks. Cognitive Science 22(2):133–187.
Fauconnier, G., and Turner, M. 2003. The Way We Think: Conceptual Blending and the Mind’s Hidden Complexities. New York: Basic Books.
Fauconnier, G. 1994. Mental Spaces. Cambridge University Press.
Future and Emerging Technologies. 2011. Creativity and ICT. FET consultation workshop. Report, European Com- mission, Directorate-General Information Society and Me- dia.
Ganter, B., and Wille, R. 1999. Formal Concept Analysis. Springer.
G ̈ardenfors, P. 2004. Conceptual Spaces. A Bradford Book. Gentner, D.; J.Holvoak, K.; and Kokinov, B. N., eds. 2001. The Analogical Mind. MIT Press.
Gentner, D. 1983. Structure-mapping: A theoretical frame- work for analogy. Cognitive Science 7:155–170.
Gibbs, Jr., R. W. 2000. Making good psychology out of blending theory. Cognitive Linguistics 11(3–4):347–358. Goguen, J., and Burstall, R. 1992. Institutions: Abstract model theory for specification and programming. Journal of the ACM 39(1):95–146.
Goguen, J. A., and Harrell, D. F. 2010. Style: A compu- tational and conceptual blending-based approach. In Arga- mon, S.; Burns, K.; and Dubnov, S., eds., The Structure of Style. Springer. chapter 12, 291–316.
Goguen, J. 1991. A categorical manifesto. Mathematical Structures in Computer Science 1(49–67).
Goguen, J. 1997. Towards a social, ethical theory of infor- mation. In Bowker, G.; Gasser, L.; Star, L.; and Turner, W., eds., Social Science Research, Technical Systems and Coop- erative Work: Beyond the Great Devide. Erlbaum. 27–56.
Goguen, J. 1999. An introduction to algebraic semiotics, with applications to user interface design. In Nehaniv, C. L., ed., Computation for Metaphors, Analogy, and Agents, vol- ume 1562 of Lecture Notes in Computer Science. Springer. 242–291.
Goguen, J. 2004. Musical qualia, context, time, and emo- tion. Journal of Consciousness Studies 11(3/4):117–147.
Goguen, J. 2005a. What is a concept? In Dau, F.; Mugnier, M.-L.; and Stumme, G., eds., Conceptual Structures: Com- mon Semantics for Sharing Knowledge. 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005. Proceedings, volume 3596 of Lecture Notes in Artificial Intelligence, 52–77. Springer.
Goguen, J. 2005b. Information integration in institutions. To appear in a memorial volume for Jon Barwise edited by L. Moss. Draft available at http://www.cs.ucsd.edu/users/goguen/pps/ifi04.pdf.
Goguen, J. 2006. Mathematical models of cognitive space and time. In Andler, D.; Ogawa, Y.; Okada, M.; and Watan- abe, S., eds., Reasoning and Cognition, volume 2 of Inter- disciplinary Conference Series on Reasoning Studies. Keio University Press.
Guhe, M.; Pease, A.; Smaill, A.; Mart ́ınez, M.; Schmidt, M.; Gust, H.; K ̈uhnberger, K.-U.; and Krumnack, U. 2011. A computational account of conceptual blending in basic mathematics. Cognitive Systems Research 12(3–4):249– 265.
Guhe, M.; Smaill, A.; and Pease, A. 2009. Using informa- tion flow for modelling mathematical metaphors. In Howes, A.; Peebles, D.; and Cooper, R. P., eds., Proceedings of the 9th International Conference on Cognitive Modeling (ICCM 2009).
Gust, H.; K ̈uhnberger, K.-U.; and Schmid, U. 2006. Metaphors and heuristic-driven theory projection (hdtp). Theoretical Computer Science 354(1):98–117.
Hersh, R. 2011. From counting to quaternions – the agonies and ecstasies of the student repeat those of d’Alembert and Hamilton. Journal of Humanistic Mathematics 1(1):65–93.
Johnson, M. 2007. The Meaning of the Body. The University of Chicago Press.
Jordanous, A. 2011. Evaluating evaluation: Assessing progress in computational creativity research. In Proceed- ings of the Second International Conference on Computa- tional Creativity (ICCCX) Mexico City, Mexico.
Joseph, S.; Sierra, C.; Schorlemmer, M.; and Dellunde, P. 2010. Deductive coherence and norm adoption. Logic Jour- nal of the IGPL 18(1):118–156.
Kalfoglou, Y., and Schorlemmer, M. 2010. The information- flow approach to ontology-based semantic integration. In Poli, R.; Healey, M.; and Kameas, A., eds., Theory and Ap- plications of Ontology: Computer Applicactions. Springer. chapter 4, 101–114.
Kutz, O.; Mossakowski, T.; Hois, J.; Bhatt, M.; and Bate- man, J. 2012. Ontology blending in DOL. In Besold, T. R.; K ̈uhnberger, K.-U.; Schorlemmer, M.; and Smaill, A., eds., Computational Creativity, Concept Invention and Gen- eral Intelligence. 1st International Workshop. Montpellier, France, August 27, 2012.
Kutz, O.; Mossakowski, T.; and L ̈ucke, D. 2010. Car- nap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design. Logica Universalis 4(2):255–333.
Lakatos, I. 1976. Proofs and Refutations. Cambridge Uni- versity Press.
Lakoff, G., and Johnson, M. 1980. Metaphors We Live By. University of Chicago Press.
Lakoff, G., and Johnson, M. 1999. Philosophy in the Flesh. Basic Books.
Lakoff, G., and N ́un ̃ ez, R. E. 2000. Where Mathematics Comes From. Basic Books.
Lawvere, F. W., and Shanuel, S. H. 1997. Conceptual Math- ematics. Cambridge University Press.
Mac Lane, S. 1971. Categories for the Working Mathemati- cian. Springer.
Maturana, H. R., and Varela, F. J. 1987. The Tree of Knowledge: The Biological Roots of Human Understand- ing. Shambhala.
Mazzola, G.; Park, J.; and Thalmann, F. 2011. Musical Creativity: Strategies and Tools in Composition and Impro- visation. Computational Music Science. Springer.
Montano-Rivas, O.; McCasland, R.; Dixon, L.; and Bundy, A. 2012. Scheme-based theorem discovery and concept invention. Expert Systems with Applications 39:1637–1646.
Mossakowski, T.; Maeder, C.; and L ̈uttich, K. 2007. The Heterogeneous Tool Set. In Grumberg, O., and Huth, M., eds., Tools and Algorithms for the Construction and Analy- sis of Systems. 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on The- ory and Practice of Software, ETAPS 2007 Braga, Portu- gal, March 24 - April 1, 2007. Proceedings, volume 4424 of Lecture Notes in Computer Science, 519–522. Springer.
Old, L. J., and Priss, U. 2001. Metaphor and information flow. In Proceedings of the 12th Midwest Artificial Intelli- gence and Cognitive Science Conference, 99–104.
Onta ̃no ́ n, S., and Plaza, E. 2010. Amalgams: A formal ap- proach for combining multiple case solutions. In ICCBR’10: 18th International Conference on Case-Based Reasoning, volume 6176 of Lecture Notes in Artificial Intelligence, 257– 271. Springer.
Onta ̃no ́ n, S., and Plaza, E. 2012. Toward a knowledge trans- fer model of case-based inference. In Twenty-Fifth Interna- tional Florida Artificial Intelligence Research Society Con- ference, 341–346. AAAI Press.
Pease, A.; Colton, S.; Ramezani, R.; Charnley, J.; and Reed, K. 2013. A discussion on serendipity in creative systems. In Proceedings of the Fourth International Conference on Computational Creativity.
Pereira, F. C. 2007. Creativity and Artificial Intelligence, volume 4 of Applications of Cognitive Linguistics. Mouton de Bruyter.
Plotkin, G. D. 1971. A further note on inductive generaliza- tion. Machine Intelligence 6:101–124.
Ritchie, G. 2007. Some empirical criteria for attributing cre- ativity to a computer program. Minds and Machines 17:67– 99.
Rosch, E. H. 1973. Natural categories. Cognitive Psychol- ogy 4(3):328–350.
Schorlemmer, M., and Kalfoglou, Y. 2008. Institutionalis- ing ontology-based semantic integration. Applied Ontology 3(3):131–150.
Schwering, A.; Krumnack, U.; K ̈uhnberger, K.-U.; and Gust, H. 2009. Syntactic principles of heuristic-driven the- ory projection. Cognitive Systems Research 10(3):251–269.
Sowa, J. F. 2000. Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks/Cole.
Steedman, M. 1996. The blues and the abstract truth: Music and mental models. In Garnham, A., and Oakhill, J., eds., Mental Models in Cognitive Science. Erlbaum, Mahwah, NJ.
Sternberg, R. J., ed. 1999. Handbook of Creativity. Oxford University Press.
Thagard, P., and Stewart, T. C. 2011. The AHA! expe- rience: Creativity through emergent binding in neural net- works. Cognitive Science 35:1–33.
Thagard, P. 2000. Coherence in Thought and Action. Life and Mind: Philosophical Issues in Biology and Psychology. MIT Press.
Turner, M. 2012. Blending and conceptual integration. http://markturner.org/blending.html.
Varela, F. J.; Thompson, E. T.; and Rosch, E. 1992. The Embodied Mind. MIT Press.
Veale, T., and O’Donoghue, D. 2000. Computation and blending. Cognitive Linguistics 11(3/4):253–281.
von Helmholtz, H. 1885. On the Sensations of Tone. Long- mans & Co.
Zbikowski, L. M. 2002. Conceptualizing Music. Oxford University Press.
Links
Full Text
http://computationalcreativity.net/iccc2014/wp-content/uploads/2014/06//14.1_Schorlemmer.pdf
