Graph-Based Representation and Reasoning: 27th International Conference on Conceptual Structures, ICCS 2022, Münster, Germany, September 12–15, 2022, ... (Lecture Notes in Computer Science, 13403)

Description

This book constitutes the proceedings of the 27th International Conference on Conceptual Structures, ICCS 2022, held virtually in September 2022. The 7 full papers and 1 short paper presented were carefully reviewed and selected from 25 submissions. The papers focus on the representation of and reasoning with conceptual structures in a variety of contexts. Preface Organization Neurosymbolic Computation with the Logic Virtual Machine (Abstract of Invited Talk) Contents Invited Talk Tractable Probabilistic Models for Ethical AI 1 Motivation 2 Two-Pronged Approach 3 Closing Remarks References Modelling and Knowledge Representation Scrutable Robot Actions Using a Hierarchical Ontological Model 1 Introduction 2 Motivating Example 3 Background Notions 3.1 Bipartite Graphs 3.2 Planning 4 Layered Catalog Graphs 5 Related Work 6 Conclusion References TAQE: A Data Modeling Framework for Traffic and Air Quality Applications in Smart Cities 1 Introduction 2 Data Models for Environmental Data and Smart Cities 2.1 Level 1: Data Modeling 2.2 Level 2: Earth Observation and Modeling and Smart Cities 2.3 Level 3: Application Domains 2.4 Level 4: Use-Case Specific Applications 3 Requirements for a Level 3 Air Quality and Traffic Data Modeling Framework 4 Air Quality Model 5 Traffic Model 6 Models Evaluation 6.1 Use Case 6.2 Qualitative Evaluation 7 Conclusions References Using Graphs to Represent Japanese Words for Serious Games 1 Introduction 2 Motivating Example 3 Representation Problems 4 Evaluation and Discussion References Lattices and Formal Concept Analyses Attribute Exploration with Multiple Contradicting Partial Experts 1 Introduction 2 Foundations 2.1 Formal Concept Analysis 2.2 Incomplete Information in FCA 3 Exploration with Multiple Experts 3.1 Explore Shared Implications 3.2 Improving Collaboration 4 Conclusion and Outlook References Orbital Concept Lattices 1 Motivation 2 Recap: Connecting FCA and Database Theory 2.1 Variables and Named Tuples 2.2 Tables 2.3 Relational Structures 2.4 Tableau Queries 2.5 Result Operation 2.6 Concepts 3 Orbital Concept Lattices 3.1 Finite Partial Transformations 3.2 Semigroup Actions 3.3 More Notation for Finite Partial Transformations 3.4 Special Transformations 3.5 Star Queries 3.6 Table Algebra and Concept Algebra 4 Orbital Semilattices 4.1 Example: Table Algebra 4.2 Subalgebras 4.3 SPJR Algebra with Equalities 4.4 Embedding of the Concept Algebra in the Table Algebra 4.5 The Subalgebra of Concepts Generated by Finite Queries 5 Representation Theorem 6 Related Work 7 Conclusion References Semiotic Conceptual Analysis of Part-Whole Relationships in Diagrams 1 Introduction 2 Basic SCA Notions 3 Decomposing Compound Representamens 4 An Application to Euler Diagrams 5 An Application to Diagrams for Binary Relations 6 Conclusion References Decision Support and Prediction Explainable and Explorable Decision Support 1 Introduction 2 Preliminaries 2.1 Parameterised Gate Models 2.2 Switched Lifted Junction Tree Algorithm 3 Explainable and Explorable Decision Support 3.1 PDecGMs: Adding Actions and Utilities to PGMs 3.2 Maximum Expected Utility 3.3 LEEDS 4 Empirical Case Study 5 Conclusion References A New Approach for Employee Attrition Prediction 1 Introduction 1.1 Attrition vs Turnover 1.2 Negative Impacts of a High Attrition Rate 2 Related Works 3 Approach Description 3.1 Data Description 3.2 Variable Extraction 3.3 Data Exploration 3.4 Methodology 3.5 Results 4 Conclusion References Author Index