Artificial intelligence logic and applications : the 2nd international conference, AILA 2022, Shanghai, China, August 26-28, 2022 : proceedings

This book constitutes refereed proceedings of the 2nd International Conference on Artificial Intelligence Logic and Applications 2022 held in Shanghai, China from August 26–28, 2022. The 20 full papers presented in this volume were carefully reviewed and selected from a total of 27 submissions. The papers in the volume are organised according to the following topical headings: program logic;fuzzy logic; applications; author index. Preface Organization Keynotes Temporal Cohort Logic Qualitative Spatial and Temporal Reasoning A Unifying Logic for Neural Networks Contents Program Logic Finite Quantified Linear Temporal Logic and Its Satisfiability Checking 1 Introduction 2 Preliminaries 2.1 Linear Temporal Logic 2.2 First-Order Logic 3 FQLTL Language 3.1 Syntax and Semantics 3.2 FQLTL Satisfiability 4 Implementation 4.1 Three-Valued Logic 4.2 Implementation Process 5 Experiment and Case Study 5.1 Experiment 5.2 Case Study 6 Conclusion References Quantitative BAN Logic Based on Belief Degree 1 Introduction 2 Related Work 3 The Formalism of BAN Logic 3.1 Basic Notations and Logic Formulae in BAN Logic 3.2 Reasoning Rules in BAN Logic 4 Quantitative BAN Logic Based on Belief 5 Protocol Analysis Using Quantitative BAN Logic 5.1 The TSMCA PUF Protocol 6 Conclusion References Predicate Logic Network: Vision Concept Formation 1 Introduction 2 Related Work 2.1 Neural Symbolic Artificial Intelligence 2.2 Object-Centered Visual Concept Reasoning 3 Neural Predicate Network 3.1 NPN Binary Classification Model 3.2 NPN Multi-classification Model 4 Experiments 4.1 Triangle Concept Identification 4.2 Chinese Calligraphy Style Concept Identification 5 Conclusion and Future Work References Approximate Simulation for Transition Systems with Regular Expressions 1 Introduction 2 Preliminaries 3 Approximate Simulation 4 Related Properties 5 Conclusion References On Interval Perturbation of the ɑ-Symmetric Implicational Algorithm 1 Introduction 2 Preliminaries 3 Interval Perturbation for the -Symmetric Implicational Algorithms with One Rule 3.1 The Interval Perturbation with One Rule for the FMP Problem 3.2 The Interval Perturbation with One Rule for the FMT Problem 4 Interval Perturbation for the -Symmetric Implicational Algorithms with Multiple Rules 4.1 The Interval Perturbation with Multiple Rules for the FMP Problem 4.2 The Interval Perturbation with Multiple Rules for the FMT Problem 5 Summary and Prospect References Fuzzy Logic (α, β) - Colored Resolution Method of Linguistic Truth-Valued Intuitionistic Fuzzy Logic 1 Introduction 2 Preliminaries 3 ( , ) -Colored Resolution of Linguistic Truth-Valued Intuitionistic Fuzzy Propositional Logic 4 ( , ) -Colored Resolution Algorithms of Linguistic Truth-Valued Intuitionistic Fuzzy Propositional Logic 5 Conclusion References Viewpoint-Driven Subspace Fuzzy C-Means Algorithm 1 Introduction 2 Related Works 3 The Proposed VSFCM Algorithm 3.1 Cluster Initialization Method Induced by Cut-off Distance 3.2 The Mechanism of VSFCM Algorithm 3.3 Framework of the VSFCM Algorithm 4 Experimental Studies 5 Conclusions References TOPSIS Method Based on Intuitionistic Fuzzy Linguistic Concept 1 Introduction 2 Preliminaries 3 Multi-attribute Decision Making Problem of Intuitionistic Fuzzy Linguistic Concepts 3.1 Classification Criteria Based on Interval-Valued Linguistic Terms 3.2 Multi-attribute Decision Matrix of Intuitionistic Fuzzy Linguistic Concepts 3.3 TOPSIS Method for Multi-attribute Decision Matrix of Intuitionistic Fuzzy Linguistic Concepts 4 A Case Study 4.1 Data Gathering 4.2 TOPSIS Decision Analysis 5 Conclusions References Properties of Fuzzy -Approximate Context-Free Languages 1 Introduction 2 Preliminaries 3 Fuzzy -Approximate Context-Free Languages and Their Pumping Lemma 4 Hierarchical Characterization in F-ACFL(* ) 5 Closure of Operations in F-ACFL(* ) 6 Conclusion References Fuzzy-Classical Linguistic Concept Acquisition Approach Based on Attribute Topology 1 Introduction 2 Preliminaries 3 Attribute Topology Representation of Fuzzy Linguistic Formal Context 4 Fuzzy-Classical Linguistic Concept Computation Based on Attribute Topology 4.1 Coarse Fuzzy Linguistic Attribute Topology 4.2 Algorithm and Illustrations 5 Conclusions References Generalized Convex Combinations of T-Norms on Bounded Lattices 1 Introduction 2 Preliminaries 3 The Generalized Convex Combinations of T-Norms and TW on Bounded Lattices 3.1 The Generalized Convex Combinations of (, T)-migrative T-Norms and TW 3.2 The Generalized Convex Combinations of (, T0)-migrative T-Norms and TW 4 Conclusion References A Transformation Model for Different Granularity Linguistic Concept Formal Context 1 Introduction 2 Preliminaries 3 Transformation Models for Different Granularity Linguistic Concept Formal Context 3.1 Multi-granularity Linguistic-Valued Formal Context 3.2 Transformation Models for Different Granularity Linguistic Concept formal Context 4 Example Analysis and Illustration 5 Conclusions References Paraconsistent Rough Set Algebras 1 Introduction 2 Paraconsistent Rough Sets 3 Paraconsistent Rough Set Algebras 4 Logics for Paraconsistent Rough Sets 5 Concluding Remarks References Applications A Generalization of Bounded Commutative R-Monoids 1 Introduction 2 Preliminary 3 Bounded Commutative Rq-Monoids 4 Filters and Filter Congruences 5 Conclusion References On the Weak Dominance Relation Between Conjunctors 1 Introduction 2 Preliminaries 3 Duality and Isomorphism on the Weak Dominance 4 Weak Dominance Between Conjunctor and T-Norm 5 Weak Dominance Between Ordinal Sum Conjunctors 6 Conclusion References New Modification to Toulmin Model as an Analytical Framework for Argumentative Essays 1 Introduction 2 Toulmin Model of Argumentation 3 Various Modifications of the Toulmin Model 3.1 Modification for the Purpose of Teaching Argumentation 3.2 Modification for the Purpose of Finer Analysis and In-Depth Study 3.3 Modification for Applying to New Genres 4 The Problem of Warrant 5 Synthesized Model as a New Analytical Framework 6 Conclusion Appendix References Value-Based Preference Aggregation Argument Framework and Its Application 1 Introduction 2 Background 2.1 Abstract Argumentation Theory 2.2 Value-Based Argument Framework 3 Value-Based Preference Aggregation Argumentation Framework 4 Case Study: The Voting Paradox 5 Conclusion References A New Fuzzy Analytic Hierarchy Process Method for Software Trustworthiness Measurement 1 Introduction 2 Basic Concepts and Operations 3 Methods 4 Examples 5 Discussion 6 Conclusions References A Novel Trustworthiness Measurement Method for Software System Based on Fuzzy Set 1 Introduction 2 Background and Related Work 2.1 Trustworthiness 2.2 Software System Trustworthiness Measurement 3 Methodology 3.1 Fuzzy Criticality Model 3.2 Hierarchical Trustworthiness Computing Model 4 Experiments and Analysis 4.1 Case Studies of Two Simple Systems 4.2 Case Study of a Simple Game Software System 5 Conclusion and Future Work References The Trustworthiness Measurement Model of Component-Based Software Based on Combination Weight 1 Introduction 2 Combination Weight Allocation Method 2.1 Subjective Weight 2.2 Objective Weight 2.3 Combination Weight 3 The Trustworthiness Measurement Model of Component-Based Software 3.1 Trustworthiness Measurement Model of Component 3.2 The Trustworthiness Measurement Models of Component-Based Software 4 Case Study 5 Conclusion References Author Index This book constitutes refereed proceedings of the 2nd International Conference on Artificial Intelligence Logic and Applications 2022 held in Shanghai, China from August 26–28, 2022.The 20 full papers presented in this volume were carefully reviewed and selected from a total of 27 submissions. The papers in the volume are organised according to the following topical headings: program logic; fuzzy logic; applications; author index. This book constitutes refereed proceedings of the 2nd International Conference on Artificial Intelligence Logic and Applications 2022 held in Shanghai, China from August 26–28, 2022. The 20 full papers presented in this volume were carefully reviewed and selected from a total of 27 submissions. The papers in the volume are organised according to the following topical headings: program logic; fuzzy logic; applications; author index