Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers.

By: Cochez, MichaelContributor(s): Croitoru, Madalina | Marquis, Pierre | Rudolph, SebastianMaterial type: TextTextSeries: Lecture Notes in Computer Science SeriesPublisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Edition: 1st edDescription: 1 online resource (158 pages)Content type: text Media type: computer Carrier type: online resourceISBN: 9783030723088Genre/Form: Electronic books.Additional physical formats: Print version:: Graph Structures for Knowledge Representation and ReasoningLOC classification: Q334-342Online resources: Click to View
Contents:
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.
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.
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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

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.

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.

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.

Description based on publisher supplied metadata and other sources.

Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2023. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.

There are no comments on this title.

to post a comment.