Gubachelier: /* Bibtex */

2015-11-12T12:13:37Z

‎Bibtex

Gubachelier am 11. November 2015 um 22:17 Uhr

2015-11-11T22:17:35Z

Gbachelier: Die Seite wurde neu angelegt: „ == Reference == Marco Schorlemmer, Alan Smaill, Kai-Uwe Kühnberger, Oliver Kutz, Simon Colton, Emilios Cambouropoulos and Alison Pease: COINVENT: Towa…“

2015-01-28T10:29:20Z

Die Seite wurde neu angelegt: „ == Reference == Marco Schorlemmer, Alan Smaill, Kai-Uwe Kühnberger, Oliver Kutz, Simon Colton, Emilios Cambouropoulos and Alison Pease: COINVENT: Towa…“

Neue Seite

== 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]].

== 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 ==

== 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

[[intern file]]

=== Sonstige Links ===

@@ Zeile 35: / Zeile 35: @@
   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 Sixth International Conference on Computational Creativity},
+  booktitle = {Proceedings of the Fifth International Conference on Computational Creativity},
   series = {ICCC2014},
   year = {2014},

@@ Zeile 2: / Zeile 2: @@
 == 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]].
+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 ==
@@ Zeile 32: / Zeile 32: @@
 == Bibtex ==
 == Used References ==

COINVENT: Towards a Computational Concept Invention Theory - Versionsgeschichte

Gubachelier: /* Bibtex */

Gubachelier am 11. November 2015 um 22:17 Uhr

Gbachelier: Die Seite wurde neu angelegt: „ == Reference == Marco Schorlemmer, Alan Smaill, Kai-Uwe Kühnberger, Oliver Kutz, Simon Colton, Emilios Cambouropoulos and Alison Pease: COINVENT: Towa…“