Description |
1 online resource (xvi, 287 pages) : illustrations (some color) |
Series |
Communications in computer and information science, 1865-0937 ; 1657 |
|
Communications in computer and information science ; 1657. 1865-0937
|
Contents |
Intro -- Preface -- Organization -- Keynotes -- Temporal Cohort Logic -- Qualitative Spatial and Temporal Reasoning -- A Unifying Logic for Neural Networks -- Contents -- Program Logic -- Finite Quantified Linear Temporal Logic and Its Satisfiability Checking -- 1 Introduction -- 2 Preliminaries -- 2.1 Linear Temporal Logic -- 2.2 First-Order Logic -- 3 FQLTL Language -- 3.1 Syntax and Semantics -- 3.2 FQLTL Satisfiability -- 4 Implementation -- 4.1 Three-Valued Logic -- 4.2 Implementation Process -- 5 Experiment and Case Study -- 5.1 Experiment -- 5.2 Case Study -- 6 Conclusion -- References |
|
Quantitative BAN Logic Based on Belief Degree -- 1 Introduction -- 2 Related Work -- 3 The Formalism of BAN Logic -- 3.1 Basic Notations and Logic Formulae in BAN Logic -- 3.2 Reasoning Rules in BAN Logic -- 4 Quantitative BAN Logic Based on Belief -- 5 Protocol Analysis Using Quantitative BAN Logic -- 5.1 The TSMCA PUF Protocol -- 6 Conclusion -- References -- Predicate Logic Network: Vision Concept Formation -- 1 Introduction -- 2 Related Work -- 2.1 Neural Symbolic Artificial Intelligence -- 2.2 Object-Centered Visual Concept Reasoning -- 3 Neural Predicate Network |
|
3.1 NPN Binary Classification Model -- 3.2 NPN Multi-classification Model -- 4 Experiments -- 4.1 Triangle Concept Identification -- 4.2 Chinese Calligraphy Style Concept Identification -- 5 Conclusion and Future Work -- References -- Approximate Simulation for Transition Systems with Regular Expressions -- 1 Introduction -- 2 Preliminaries -- 3 Approximate Simulation -- 4 Related Properties -- 5 Conclusion -- References -- On Interval Perturbation of the ɑ-Symmetric Implicational Algorithm -- 1 Introduction -- 2 Preliminaries |
|
1 Introduction -- 2 Preliminaries -- 3 ( , ) -Colored Resolution of Linguistic Truth-Valued Intuitionistic Fuzzy Propositional Logic -- 4 ( , ) -Colored Resolution Algorithms of Linguistic Truth-Valued Intuitionistic Fuzzy Propositional Logic -- 5 Conclusion -- References -- Viewpoint-Driven Subspace Fuzzy C-Means Algorithm -- 1 Introduction -- 2 Related Works -- 3 The Proposed VSFCM Algorithm -- 3.1 Cluster Initialization Method Induced by Cut-off Distance -- 3.2 The Mechanism of VSFCM Algorithm -- 3.3 Framework of the VSFCM Algorithm -- 4 Experimental Studies -- 5 Conclusions -- References |
Summary |
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 |
Notes |
International conference proceedings |
|
Includes author index |
|
Online resource; title from PDF title page (SpringerLink, viewed December 28, 2022) |
Subject |
Artificial intelligence -- Congresses
|
|
Computer logic -- Congresses
|
|
Artificial intelligence
|
|
Computer logic
|
Genre/Form |
Electronic books
|
|
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Chen, Yixiang, 1961- editor.
|
|
Zhang, Songmao, editor.
|
ISBN |
9789811975103 |
|
9811975108 |
|