Artificial Intelligence Logic and Applications: The 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, Proceedings - Softcover

Softcover

ISBN 10: 9811975116 ISBN 13: 9789811975110

Verlag: Springer, 2022

Inhaltsangabe

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.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2022
• Sprache: Englisch
• ISBN 10: 9811975116
• ISBN 13: 9789811975110
• Einband: Taschenbuch
• Anzahl der Seiten: 304
• Herausgeber: Chen Yixiang, Zhang Songmao
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Deutschland