Artificial Intelligence Logic and Applications
The 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, Proceedings
Published on 11. December 2022
Book
Paperback/Softback
XVI, 287 pages
978-981-19-7509-7 (ISBN)
Description
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.
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.
More details
Series
Edition
1st ed. 2022
Language
English
Place of publication
Singapore
Singapore
Target group
Professional and scholarly
Illustrations
73 s/w Abbildungen, 11 farbige Abbildungen
XVI, 287 p. 84 illus., 11 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 17 mm
Weight
464 gr
ISBN-13
978-981-19-7509-7 (9789811975097)
DOI
10.1007/978-981-19-7510-3
Schweitzer Classification
Other editions
Additional editions
Yixiang Chen | Songmao Zhang
Artificial Intelligence Logic and Applications
The 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, Proceedings
E-Book
12/2022
Springer
€80.24
Available for download
Content
Program Logic.
- Finite Quantified Linear Temporal Logic and its Satisfiability Checking.- Quantitative BAN Logic Based on Belief Degree.- Predicate Logic Network: Vision Concept Formation.- Approximate Simulation for Transition Systems with Regular Expressions.- On Interval Perturbation of the ?-Symmetric Implicational Algorithm.-
Fuzzy Logic.-
Viewpoint-Driven Subspace Fuzzy C-Means Algorithm.- TOPSIS Method based on Intuitionistic Fuzzy with Linguistic Concept.- Properties of Fuzzy ?-Approximate Context-Free Languages.- Fuzzy-Classical Linguistic Concept Acquisition Approach based on Attribute Topology.- Generalized Convex Combinations of T-norms on Bounded Lattices.- A Transformation Model for Different Granularity Linguistic Concept Formal Context.- Paraconsistent Rough Set Algebras.-
Applications.-
A Generalization of Bounded Commutative Rl-Monoids.- On the Weak Dominance Relation between Conjunctors.- New Modification to ToulminModel as an Analytical Framework for Argumentative Essays.- Value-based Preference Aggregation Argument Framework and Its Application.- A New Fuzzy Analytic Hierarchy Process Method for Software Trustworthiness Measurement.- A Novel Trustworthiness Measurement Method for Software System Based on Fuzzy Set.- The Trustworthiness Measurement Model of Component-Based Software based on Combination Weight.-
Author Index.