Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial In...
Uloženo v:
| Hlavní autoři: | , , , |
|---|---|
| Médium: | E-kniha |
| Jazyk: | angličtina |
| Vydáno: |
Netherlands
Springer Nature
2021
Springer International Publishing AG |
| Vydání: | 1 |
| Edice: | Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence |
| Témata: | |
| ISBN: | 9783030723088, 3030723089, 9783030723071, 3030723070 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Obsah:
- Approximate Knowledge Graph Query Answering: From Ranking to Binary Classification -- 1 Introduction -- 2 Approximate Query Answering on Knowledge Graphs -- 2.1 GQE -- 2.2 MPQE -- 2.3 Query2Box -- 2.4 Complex Query Decomposition -- 3 From Ranking Metrics to Actual Answers -- 3.1 Closed-World Assumption -- 3.2 From Ranking to Classification -- 4 Using Axis-Aligned Boxes for Query Embedding -- 4.1 Boxes for Entities -- 5 Proof of Concept -- 5.1 Experimental Setup -- 5.2 Results -- 6 Conclusion and Outlook -- References -- Galois Connections for Patterns: An Algebra of Labelled Graphs -- 1 Introduction -- 2 Definitions and Notation -- 3 The Two Lattices -- 4 The Galois Connection -- 5 Tractability Consequences of the Galois Connection -- 6 Augmented Patterns: Motivation -- 7 Augmented Patterns: Definitions -- 8 A Galois Connection for Augmented Patterns -- 9 Discussion and Conclusion -- References -- Author Index
- 4 The Creative Composition Problem (CCP) -- 4.1 Formal Definition -- 4.2 Dynamic Programming Definition of CPP -- 4.3 Dynamic Programming Algorithm -- 4.4 Computational Complexity of Dynamic Programming Algorithm to Compute the Optimal CCP Solution -- 4.5 Running Example -- 5 Creative Reasoning-Planning: The Master-Agent Artificial Intelligent Composer (MAIC) of Dialogue Scripts for Well-Being and Mental Health -- 5.1 The MAIC Diagnostic: Enriching Talks (Mild Therapies) Theories Specified in ASP -- 5.2 The MAIC Prescription and Recommendation: Solving the Creative Composition Problem (CCP) -- 6 Pre-evaluation of Cecilia -- 7 Technologies Suitable to Solve CCP and to Implement the Design of Cecilia Architecture -- 8 Conclusions -- A Appendix 1 -- B Appendix 2 -- References -- Set Visualisations with Euler and Hasse Diagrams -- 1 Introduction -- 2 A Brief Introduction to Euler and Venn Diagrams -- 3 Formal Concept Analysis and Hasse Diagrams -- 4 Venn Diagrams and Boolean Lattices -- 5 Sets of Zones as Well-Formed Euler Diagrams and Lattices -- 6 Conditions for Well-Formed Euler Diagrams -- 7 Reading Implications from Euler and Hasse Diagrams -- 8 Conclusion -- References -- Usage Patterns Identification Using Graphs and Machine Learning -- 1 Introduction -- 2 The Problem -- 3 Approach -- 4 Implementation -- 5 Technologies -- 6 Results and Analysis -- 7 Conclusion -- References -- Collaborative Design and Manufacture: Information Structures for Team Formation and Coordination -- 1 Introduction -- 2 Research Context -- 3 Preliminaries -- 3.1 Formal Concept Analysis -- 3.2 Galois Connection -- 3.3 Galois Connections and Concept Lattices -- 3.4 Observations -- 4 Application -- 4.1 Invitations to Tender -- 4.2 Coordinating Meetings -- 4.3 Project Subgroups -- 5 Concluding Remarks -- References -- Invited Additional Contributions
- Intro -- Preface -- Organization -- Contents -- Extended Workshop Papers -- Active Semantic Relations in Layered Enterprise Architecture Development -- 1 Introduction -- 2 The Metamodel Diagram -- 3 Activating the Metamodel -- 3.1 Methodology -- 3.2 Findings -- 3.3 Formal Concept Lattice -- 4 Discussion -- 4.1 Implications -- 4.2 Current Limitations -- 4.3 Future Research -- 5 Conclusion -- References -- A Belief Update System Using an Event Model for Location of People in a Smart Home -- 1 Introduction -- 2 Use Case Example -- 3 Related Work -- 3.1 Logical Formalism -- 3.2 AGM Model -- 3.3 Truth Maintenance Systems -- 4 Our Contribution -- 4.1 Algorithm Overview -- 4.2 Logical Formalism -- 4.3 Transition Graph Structure -- 4.4 Nodes' Belief Sets -- 4.5 Building the Graph -- 4.6 Querying the Graph -- 5 Application to the Location Problem -- 6 Conclusion and Perspectives -- References -- A Natural Language Generation Technique for Automated Psychotherapy -- 1 Introduction -- 2 Sources Informing the Generation of Responses -- 2.1 Tracking of Patient's Expressed Emotions -- 2.2 Conceptual Analysis of Patient's Utterances -- 2.3 Using Context to Inform the Planning Process -- 2.4 Executive Control -- 2.5 Response Generation Architecture -- 3 Implementation Details -- 4 Conclusion -- References -- Creative Composition Problem: A Knowledge Graph Logical-Based AI Construction and Optimization Solution -- 1 Introduction -- 2 Related Work -- 2.1 Applied Chat-Bots for Mental Health Well-Being -- 2.2 Applied Knowledge Graph for Mental Health Well-Being -- 3 Cecilia: An Architecture of a Digital Companion Artificial Intelligence Agent System Composer of Dialogue Scripts for Well-Being and Mental Health -- 3.1 Cecilia: A Master-Slave AI Agents Digital Companion System Design -- 3.2 The Cecilia Logical-Based AI Agent Digital Companion System