Artificial Intelligence Logic and Applications  The 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, Proceedings /  [electronic resource] : 
edited by Yixiang Chen, Songmao Zhang. 
 - 1st ed. 2022. 
 - XVI, 287 p. 84 illus., 11 illus. in color.  online resource. 
 - Communications in Computer and Information Science,  1657  1865-0937 ; .
 - Communications in Computer and Information Science,  1657 .
<br/><br/>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 Rℓ-Monoids -- On the Weak Dominance Relation between Conjunctors -- New Modification to Toulmin Model 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. 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9789811975103 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Machine theory.<br/>Computer science.<br/>Artificial intelligence.<br/>Computer science-Mathematics.<br/>Software engineering.<br/>Formal Languages and Automata Theory.<br/>Theory of Computation.<br/>Artificial Intelligence.<br/>Mathematics of Computing.<br/>Software Engineering.
<br/><br/><label>Dewey Class. No.: </label>005.131