Artificial Intelligence Logic and Applications
Editat de Yixiang Chen, Songmao Zhangen Limba Engleză Paperback – 11 dec 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.
Preț: 459.90 lei
Preț vechi: 574.87 lei
-20%
Puncte Express: 690
Preț estimativ în valută:
81.42€ • 94.81$ • 70.73£
81.42€ • 94.81$ • 70.73£
Carte disponibilă
Livrare economică 02-16 februarie
Livrare express 16-22 ianuarie pentru 33.16 lei
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9789811975097
ISBN-10: 9811975094
Pagini: 304
Ilustrații: XVI, 287 p. 84 illus., 11 illus. in color.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.46 kg
Ediția:1st edition 2022
Editura: Springer
Locul publicării:Singapore, Singapore
ISBN-10: 9811975094
Pagini: 304
Ilustrații: XVI, 287 p. 84 illus., 11 illus. in color.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.46 kg
Ediția:1st edition 2022
Editura: Springer
Locul publicării:Singapore, Singapore
Cuprins
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 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.