Titlebook: Concept Invention; Foundations, Impleme Roberto Confalonieri,Alison Pease,Maximos Kaliakat Book 2018 Springer Nature Switzerland AG 2018 Co

aerobic

coddle

Computational Synthesis and Creative Systemshttp://image.papertrans.cn/c/image/234866.jpg

Nebulous

debunk

Chapter 8 Formal Conceptual Blending in the (Co-)Invention of (Pure) Mathematicsnt on the significance of this work for the computer support of abstract mathematical theory construction, as well as for (co-)inventing classic and new mathematical notions (i.e., inventing with the help of a computer program), and on the cognitive aspects involved.

手工藝品

Chapter 5 The Relationship Between Conceptual Blending and Analogical Reasoningroach from generalisation-based analogy-making with the notion of amalgams from Case- Based Reasoning. We then exemplify how the model can be instantiated on the algorithmic level, and by way of example reconstruct the blend between horse and bird which gave rise to Pegasus as a mythological creature.

endoscopy

Chapter 7 Enabling Technologies for Concept Inventionnovel 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.

Mitigate

占線

Measurement Error in Range Imaging Systemsroach from generalisation-based analogy-making with the notion of amalgams from Case- Based Reasoning. We then exemplify how the model can be instantiated on the algorithmic level, and by way of example reconstruct the blend between horse and bird which gave rise to Pegasus as a mythological creature.

Abjure

Rachel J. Dewey,James M. Cordesnovel 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.

跳動(dòng)

Book 2018ical reasoning and cognitive musicology, the book will appeal to readers interested in how conceptual blending can be precisely characterized and implemented for the development of creative computational systems..