Concept Invention : Foundations, Implementation, Social Aspects and Applications.

By: Confalonieri, RobertoContributor(s): Pease, Alison | Schorlemmer, Marco | Besold, Tarek R | Kutz, Oliver | Maclean, Ewen | Kaliakatsos-Papakostas, MaximosMaterial type: TextTextSeries: eBooks on DemandComputational Synthesis and Creative Systems Ser: Publisher: Cham : Springer, 2018Copyright date: ©2018Description: 1 online resource (304 pages)Content type: text Media type: computer Carrier type: online resourceISBN: 9783319656021Subject(s): Concepts | Creative abilityGenre/Form: Electronic books.Additional physical formats: Print version:: Concept Invention : Foundations, Implementation, Social Aspects and ApplicationsDDC classification: 121.4 LOC classification: QA75.5-76.95Online resources: Click here to view this ebook.
Contents:
Intro -- Foreword -- Preface -- Summary of the contributions -- Acknowledgements -- Contents -- List of Contributors -- Part I Mathematical and Computational Foundations -- Chapter 1: Amalgams, Colimits, and Conceptual Blending -- 1.1 Introduction -- 1.2 Category Theory Preliminaries -- 1.2.1 Categories and Morphisms -- 1.2.2 Diagrams, Cocones, and Colimits -- 1.2.3 Partial Morphisms -- 1.3 Conceptual Blending as Colimits -- 1.3.1 Ordered Categories -- 1.3.2 Colimits in Ordered Categories -- 1.3.3 3/2-Colimits -- 1.4 Conceptual Blending as Amalgams -- 1.4.1 Amalgams -- 1.4.2 Asymmetric Amalgams and Analogy -- 1.5 Relating Colimits and Amalgams -- 1.5.1 Preliminaries -- 1.5.2 A Category-Theoretical Account of Amalgams -- 1.6 Conclusion -- References -- Chapter 2: Computational Aspects of Concept Invention -- 2.1 A Process Model for Concept Invention -- 2.2 Rich Background and Discovery -- 2.2.1 Rich Background -- 2.2.2 Similarity-Based Discovery -- 2.3 Blends as Amalgams -- 2.4 Arguments, Values and Audiences -- 2.5 Coherence Theory -- 2.5.1 Coherence Graphs -- 2.5.2 Blend Evaluation by Means of Coherence -- 2.6 Exemplifying the Process Model -- 2.6.1 Creating Computer Icon Concepts -- 2.6.1.1 A Rich Background of Computer Icons -- 2.6.1.2 Discovery -- 2.6.1.3 Blending Computer Icons -- 2.6.1.4 Evaluating Conceptual Blends by Means of Arguments -- 2.6.2 Coherent Conceptual Blending -- 2.6.2.1 Rich Background in AL -- 2.6.2.2 Blending in AL -- Generalising AL descriptions -- The House-Boat Blend -- 2.6.2.3 Conceptual Coherence in AL -- 2.6.2.4 Evaluating the Coherence of Conceptual Blends -- 2.7 RelatedWork -- 2.8 Conclusion and Future Perspectives -- References -- Chapter 3: Conceptual Blending in DOL: Evaluating Consistency and Conflict Resolution -- 3.1 Introduction -- 3.2 Towards the Computational Generation of Blends -- 3.2.1 COINVENT Model.
3.2.2 Conceptual Blending Workflow -- 3.3 Blending with DOL -- 3.3.1 Foundations of DOL -- 3.3.2 Features of DOL -- 3.3.3 Tool Support for DOL -- 3.3.4 Workflow Formalisation in DOL -- 3.4 Examples of Conceptual Blending in DOL -- 3.4.1 Creating Monsters -- 3.4.1.1 Generating the Base Ontology -- 3.4.1.2 Generalising the Input Spaces -- 3.4.1.3 Expressing and Evaluating Requirements -- 3.4.2 Goldbach Rings -- 3.5 Summary -- 3.6 Conclusion and Future Perspectives -- References -- Part II: Cognitive and Social Aspects -- Chapter 4: Image Schemas and Concept Invention -- 4.1 Introduction -- 4.2 Conceptual Blending -- 4.2.1 Formalising Conceptual Blending -- 4.3 Image Schemas -- 4.3.1 Defining "Image Schema" -- 4.3.2 Formalising Image Schemas -- 4.4 Image Schemas as Families of Theories -- 4.4.1 The Image Schema Family PATH-Following -- 4.4.1.1 Concepts That Involve PATH-Following -- 4.4.2 Formalising Image Schema Families -- 4.4.3 Example: Axiomatising the PATH-Following Family -- 4.5 Guiding Conceptual Blending with Image Schemas -- 4.5.1 Blending with Image Schemas -- 4.5.2 Similes Revisited -- 4.5.2.1 The 'Mother Ship' Blend -- 4.5.3 Blending with Families of Image Schemas -- 4.5.4 The PATH-Following Family at Work -- 4.6 Conclusion and Future Perspectives -- References -- Chapter 5: The Relationship Between Conceptual Blending and Analogical Reasoning -- 5.1 Analogy and Cognition -- 5.2 Computational Models of Analogy -- 5.3 Generalisation-Based Analogy and Conceptual Blending -- 5.3.1 Combining Conceptual Theories Using Amalgams -- 5.3.2 An Analogy-Rooted Model of Conceptual Blending -- 5.3.3 Implementing the Model -- 5.3.4 Example: (Re)Making Pegasus -- 5.4 RelatedWork -- 5.5 Summary -- 5.6 Conclusion and Future Perspectives -- References -- Chapter 6: Social Aspects of Concept Invention -- 6.1 Introduction -- 6.2 Social Creativity in Mathematics.
6.2.1 Core Theories -- 6.2.2 Survey of Analytic Frameworks -- 6.2.2.1 (I) Dialogue -- 6.2.2.2 (II) Logic -- 6.2.2.3 (III) Pragmatics -- 6.2.3 Pilot Study -- 6.2.3.1 Data Sets -- 6.2.3.2 Results -- 6.2.3.3 Discussion -- 6.2.4 Direct Extensions -- 6.2.5 Additional Frameworks from Music Theorists -- 6.3 RelatedWork: Social Creativity on Computers -- 6.3.1 A Formal Representation of Lakatosian Creativity -- 6.3.2 Patterns of Peeragogy -- 6.3.3 The Search for Computational Intelligence -- 6.4 Summary -- 6.5 Conclusion and Future Perspectives -- References -- Part III: Concept Invention System and Applications -- Chapter 7: Enabling Technologies for Concept Invention -- 7.1 Introduction -- 7.2 System Architecture and Enabling Technologies -- 7.3 Generalising Algebraic Specifications Using ASP -- 7.3.1 Modeling Input Spaces Using CASL -- 7.3.2 Finding the Generic Space -- 7.3.2.1 Modelling Algebraic Specifications in ASP -- 7.3.2.2 Formalising Transition Operators in ASP -- 7.3.2.3 Generic Space Search Process -- 7.4 Finding Generalisations Between Logical Theories Using HDTP -- 7.4.1 The Rutherford Analogy Between Atom and Solar System -- 7.4.2 The Computational Complexity of HDTP -- 7.5 Colimit Computation Using HETS -- 7.6 Conclusion and Future Perspectives -- References -- Chapter 8: Formal Conceptual Blending in the (Co-)Invention of (Pure) Mathematics -- 8.1 Introduction -- 8.2 Basic Terminology -- 8.3 Specific Mathematical Concepts -- 8.4 Defining the Blends -- 8.4.1 The Generic Space -- 8.4.2 The 'Blending' Morphisms -- 8.4.3 The Resulting Axiomatisation -- 8.5 Generation of Fundamental Notions of Fields and Galois Theory -- 8.6 Summary -- 8.7 Conclusion and Future Perspectives -- 8.7.1 Artificial Mathematical Intelligence (AMI) -- 8.7.2 A Formal Vision -- References.
Chapter 9: Conceptual Blending in Melodic Harmonisation: Development and Empirical Evaluation in the Case of the CHAMELEON System -- 9.1 Introduction -- 9.2 Representing and Learning Harmonies for the Automated Harmonisation of Melodies -- 9.3 Blending Harmonic Spaces in the CHAMELEON System -- 9.3.1 Blending and Rating Chord Transitions -- 9.3.2 Constructing a Compound Chord Transition Matrix of Two Idioms Using Blended Transitions -- 9.4 Empirical Evaluation of Musical Creativity via Conceptual Blending -- 9.4.1 Empirical Evaluation of a Formal Model for Cadence Blending -- 9.4.1.1 Formal Description of Cadences -- 9.4.1.2 Cadence Experiment 1: Investigating the Relative Perception of Input and Blends -- 9.4.1.3 Cadence Experiment 2: Estimating the Magnitude of Specific Verbal Attributes of Inputs and Blends -- 9.4.2 Empirical Evaluation of the Output of the CHAMELEON System -- 9.4.2.1 Experiment 1: Empirical Idiom Identification Applied on Blended Idioms -- 9.4.2.2 Experiment 2: Empirical Classification of Type of Chromaticism -- 9.5 Summary -- 9.6 Conclusion -- References -- Part IV: Epilogue -- Chapter 10: Evaluation of Creativity -- 10.1 Introduction -- 10.2 A Short Historical Survey of Evaluation in Computational Creativity -- 10.2.1 Other Perspectives -- 10.3 Evaluation Frameworks -- 10.4 Evaluating the Evaluation Frameworks -- 10.4.1 Methods -- 10.4.2 Findings -- 10.4.3 Discussion -- 10.4.3.1 Experiment-based Frameworks -- 10.4.3.2 System Development Framework -- 10.4.3.3 Recommendations for Improving Evaluation Effectiveness in CC -- 10.4.3.4 RelatedWork -- 10.5 Summary -- 10.6 Conclusion and Future Perspectives -- References.
Tags from this library: No tags from this library for this title. Log in to add tags.

Intro -- Foreword -- Preface -- Summary of the contributions -- Acknowledgements -- Contents -- List of Contributors -- Part I Mathematical and Computational Foundations -- Chapter 1: Amalgams, Colimits, and Conceptual Blending -- 1.1 Introduction -- 1.2 Category Theory Preliminaries -- 1.2.1 Categories and Morphisms -- 1.2.2 Diagrams, Cocones, and Colimits -- 1.2.3 Partial Morphisms -- 1.3 Conceptual Blending as Colimits -- 1.3.1 Ordered Categories -- 1.3.2 Colimits in Ordered Categories -- 1.3.3 3/2-Colimits -- 1.4 Conceptual Blending as Amalgams -- 1.4.1 Amalgams -- 1.4.2 Asymmetric Amalgams and Analogy -- 1.5 Relating Colimits and Amalgams -- 1.5.1 Preliminaries -- 1.5.2 A Category-Theoretical Account of Amalgams -- 1.6 Conclusion -- References -- Chapter 2: Computational Aspects of Concept Invention -- 2.1 A Process Model for Concept Invention -- 2.2 Rich Background and Discovery -- 2.2.1 Rich Background -- 2.2.2 Similarity-Based Discovery -- 2.3 Blends as Amalgams -- 2.4 Arguments, Values and Audiences -- 2.5 Coherence Theory -- 2.5.1 Coherence Graphs -- 2.5.2 Blend Evaluation by Means of Coherence -- 2.6 Exemplifying the Process Model -- 2.6.1 Creating Computer Icon Concepts -- 2.6.1.1 A Rich Background of Computer Icons -- 2.6.1.2 Discovery -- 2.6.1.3 Blending Computer Icons -- 2.6.1.4 Evaluating Conceptual Blends by Means of Arguments -- 2.6.2 Coherent Conceptual Blending -- 2.6.2.1 Rich Background in AL -- 2.6.2.2 Blending in AL -- Generalising AL descriptions -- The House-Boat Blend -- 2.6.2.3 Conceptual Coherence in AL -- 2.6.2.4 Evaluating the Coherence of Conceptual Blends -- 2.7 RelatedWork -- 2.8 Conclusion and Future Perspectives -- References -- Chapter 3: Conceptual Blending in DOL: Evaluating Consistency and Conflict Resolution -- 3.1 Introduction -- 3.2 Towards the Computational Generation of Blends -- 3.2.1 COINVENT Model.

3.2.2 Conceptual Blending Workflow -- 3.3 Blending with DOL -- 3.3.1 Foundations of DOL -- 3.3.2 Features of DOL -- 3.3.3 Tool Support for DOL -- 3.3.4 Workflow Formalisation in DOL -- 3.4 Examples of Conceptual Blending in DOL -- 3.4.1 Creating Monsters -- 3.4.1.1 Generating the Base Ontology -- 3.4.1.2 Generalising the Input Spaces -- 3.4.1.3 Expressing and Evaluating Requirements -- 3.4.2 Goldbach Rings -- 3.5 Summary -- 3.6 Conclusion and Future Perspectives -- References -- Part II: Cognitive and Social Aspects -- Chapter 4: Image Schemas and Concept Invention -- 4.1 Introduction -- 4.2 Conceptual Blending -- 4.2.1 Formalising Conceptual Blending -- 4.3 Image Schemas -- 4.3.1 Defining "Image Schema" -- 4.3.2 Formalising Image Schemas -- 4.4 Image Schemas as Families of Theories -- 4.4.1 The Image Schema Family PATH-Following -- 4.4.1.1 Concepts That Involve PATH-Following -- 4.4.2 Formalising Image Schema Families -- 4.4.3 Example: Axiomatising the PATH-Following Family -- 4.5 Guiding Conceptual Blending with Image Schemas -- 4.5.1 Blending with Image Schemas -- 4.5.2 Similes Revisited -- 4.5.2.1 The 'Mother Ship' Blend -- 4.5.3 Blending with Families of Image Schemas -- 4.5.4 The PATH-Following Family at Work -- 4.6 Conclusion and Future Perspectives -- References -- Chapter 5: The Relationship Between Conceptual Blending and Analogical Reasoning -- 5.1 Analogy and Cognition -- 5.2 Computational Models of Analogy -- 5.3 Generalisation-Based Analogy and Conceptual Blending -- 5.3.1 Combining Conceptual Theories Using Amalgams -- 5.3.2 An Analogy-Rooted Model of Conceptual Blending -- 5.3.3 Implementing the Model -- 5.3.4 Example: (Re)Making Pegasus -- 5.4 RelatedWork -- 5.5 Summary -- 5.6 Conclusion and Future Perspectives -- References -- Chapter 6: Social Aspects of Concept Invention -- 6.1 Introduction -- 6.2 Social Creativity in Mathematics.

6.2.1 Core Theories -- 6.2.2 Survey of Analytic Frameworks -- 6.2.2.1 (I) Dialogue -- 6.2.2.2 (II) Logic -- 6.2.2.3 (III) Pragmatics -- 6.2.3 Pilot Study -- 6.2.3.1 Data Sets -- 6.2.3.2 Results -- 6.2.3.3 Discussion -- 6.2.4 Direct Extensions -- 6.2.5 Additional Frameworks from Music Theorists -- 6.3 RelatedWork: Social Creativity on Computers -- 6.3.1 A Formal Representation of Lakatosian Creativity -- 6.3.2 Patterns of Peeragogy -- 6.3.3 The Search for Computational Intelligence -- 6.4 Summary -- 6.5 Conclusion and Future Perspectives -- References -- Part III: Concept Invention System and Applications -- Chapter 7: Enabling Technologies for Concept Invention -- 7.1 Introduction -- 7.2 System Architecture and Enabling Technologies -- 7.3 Generalising Algebraic Specifications Using ASP -- 7.3.1 Modeling Input Spaces Using CASL -- 7.3.2 Finding the Generic Space -- 7.3.2.1 Modelling Algebraic Specifications in ASP -- 7.3.2.2 Formalising Transition Operators in ASP -- 7.3.2.3 Generic Space Search Process -- 7.4 Finding Generalisations Between Logical Theories Using HDTP -- 7.4.1 The Rutherford Analogy Between Atom and Solar System -- 7.4.2 The Computational Complexity of HDTP -- 7.5 Colimit Computation Using HETS -- 7.6 Conclusion and Future Perspectives -- References -- Chapter 8: Formal Conceptual Blending in the (Co-)Invention of (Pure) Mathematics -- 8.1 Introduction -- 8.2 Basic Terminology -- 8.3 Specific Mathematical Concepts -- 8.4 Defining the Blends -- 8.4.1 The Generic Space -- 8.4.2 The 'Blending' Morphisms -- 8.4.3 The Resulting Axiomatisation -- 8.5 Generation of Fundamental Notions of Fields and Galois Theory -- 8.6 Summary -- 8.7 Conclusion and Future Perspectives -- 8.7.1 Artificial Mathematical Intelligence (AMI) -- 8.7.2 A Formal Vision -- References.

Chapter 9: Conceptual Blending in Melodic Harmonisation: Development and Empirical Evaluation in the Case of the CHAMELEON System -- 9.1 Introduction -- 9.2 Representing and Learning Harmonies for the Automated Harmonisation of Melodies -- 9.3 Blending Harmonic Spaces in the CHAMELEON System -- 9.3.1 Blending and Rating Chord Transitions -- 9.3.2 Constructing a Compound Chord Transition Matrix of Two Idioms Using Blended Transitions -- 9.4 Empirical Evaluation of Musical Creativity via Conceptual Blending -- 9.4.1 Empirical Evaluation of a Formal Model for Cadence Blending -- 9.4.1.1 Formal Description of Cadences -- 9.4.1.2 Cadence Experiment 1: Investigating the Relative Perception of Input and Blends -- 9.4.1.3 Cadence Experiment 2: Estimating the Magnitude of Specific Verbal Attributes of Inputs and Blends -- 9.4.2 Empirical Evaluation of the Output of the CHAMELEON System -- 9.4.2.1 Experiment 1: Empirical Idiom Identification Applied on Blended Idioms -- 9.4.2.2 Experiment 2: Empirical Classification of Type of Chromaticism -- 9.5 Summary -- 9.6 Conclusion -- References -- Part IV: Epilogue -- Chapter 10: Evaluation of Creativity -- 10.1 Introduction -- 10.2 A Short Historical Survey of Evaluation in Computational Creativity -- 10.2.1 Other Perspectives -- 10.3 Evaluation Frameworks -- 10.4 Evaluating the Evaluation Frameworks -- 10.4.1 Methods -- 10.4.2 Findings -- 10.4.3 Discussion -- 10.4.3.1 Experiment-based Frameworks -- 10.4.3.2 System Development Framework -- 10.4.3.3 Recommendations for Improving Evaluation Effectiveness in CC -- 10.4.3.4 RelatedWork -- 10.5 Summary -- 10.6 Conclusion and Future Perspectives -- References.

Description based on publisher supplied metadata and other sources.

There are no comments on this title.

to post a comment.