Artificial Intelligence Logic and Applications The 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, proceedings
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 -Symm...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Singapore
Springer
2022
|
| Schriftenreihe: | Communications in computer and information science
1657 |
| Schlagworte: |
Artificial intelligence
> COMPUTERS / Artificial Intelligence
> COMPUTERS / Computer Science
> COMPUTERS / Data Processing / General
> COMPUTERS / Programming / Software Development
> Computer science
> Künstliche Intelligenz
> MATHEMATICS / Logic
> Mathematical theory of computation
> Mathematik für Informatiker
> Software Engineering
> Theoretische Informatik
> Konferenzschrift
> Fuzzy-Logik
> Semantik
|
| Online Zugang: | Cover |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen 
| Zusammenfassung: | 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. 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 |
|---|---|
| Beschreibung: | Interessenniveau: 06, Professional and scholarly: For an expert adult audience, including academic research. (06) |
| Beschreibung: | xvi, 285 Seiten |
| ISBN: | 9789811975097 978-981-19-7509-7 |