Cover Image

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

Bibliographic Details
Main Author: Cochez, Michael.
Other Authors: Croitoru, Madalina., Marquis, Pierre., Rudolph, Sebastian.
Format: eBook
Language:English
Published: Cham : Springer International Publishing AG, 2021.
Edition:1st ed.
Series:Lecture Notes in Computer Science Series
Subjects:
Electronic books.
Online Access:Click to View
Table of 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.

Similar Items