دانلود کتاب Artificial Intelligence Logic and Applications. The 2nd International Conference, AILA 2022 Shanghai, China, August 26–28, 2022 Proceedings

فهرست مطالب :

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