Skip to main content
SpringerLink
Log in

Artificial Intelligence Logic and Applications

The 2nd International Conference, AILA 2022, Shanghai, China, August 26–28, 2022, Proceedings

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. Yixiang Chen

    1. East China Normal University, Shanghai, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Songmao Zhang

    1. Chinese Academy of Sciences, Beijing, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Communications in Computer and Information Science (CCIS, volume 1657)

Included in the following conference series:

Conference proceedings info: AILA 2022 2022.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 64.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 84.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (20 papers)

  1. Front Matter

    Pages i-xvi
    Download chapter PDF

  2. Program Logic

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Finite Quantified Linear Temporal Logic and Its Satisfiability Checking

      • Yu Chen, Xiaoyu Zhang, Jianwen Li
      Pages 3-18

    3. Quantitative BAN Logic Based on Belief Degree

      • Kaixuan Li, Hengyang Wu, Jinyi Xu, Yixiang Chen
      Pages 19-34

    4. Predicate Logic Network: Vision Concept Formation

      • Bang Chen, Maonian Wu, Bo Zheng, Shaojun Zhu, Wei Peng
      Pages 35-48

    5. Approximate Simulation for Transition Systems with Regular Expressions

      • Xinyu Cui, Zhaokai Li, Yuting Chang, Haiyu Pan
      Pages 49-62

    6. On Interval Perturbation of the ɑ-Symmetric Implicational Algorithm

      • Yiming Tang, Jianghui Han, Guangqing Bao, Rui Chen
      Pages 63-76

  3. Fuzzy Logic

    1. Front Matter

      Pages 77-77
      Download chapter PDF

    2. (α, β) - Colored Resolution Method of Linguistic Truth-Valued Intuitionistic Fuzzy Logic

      • Tie Hou, Nan Li, Yanfang Wang, Kuo Pang, Li Zou
      Pages 79-90

    3. Viewpoint-Driven Subspace Fuzzy C-Means Algorithm

      • Yiming Tang, Rui Chen, Bowen Xia
      Pages 91-105

    4. TOPSIS Method Based on Intuitionistic Fuzzy Linguistic Concept

      • Yue Zhou, Li Zou
      Pages 106-116

    5. Properties of Fuzzy \(\lambda \)-Approximate Context-Free Languages

      • Ping Li, Huanhuan Sun, Yongxia He, Yanping Yang
      Pages 117-130

    6. Fuzzy-Classical Linguistic Concept Acquisition Approach Based on Attribute Topology

      • Kuo Pang, Ning Kang, Li Zou, Mingyu Lu
      Pages 131-142

    7. Generalized Convex Combinations of T-Norms on Bounded Lattices

      • Yi-Qun Zhang, Hua-Wen Liu
      Pages 143-153

    8. A Transformation Model for Different Granularity Linguistic Concept Formal Context

      • Ning Kang, Kuo Pang, Li Zou, Meiqiao Sun
      Pages 154-165

    9. Paraconsistent Rough Set Algebras

      • Hao Wu
      Pages 166-179

  4. Applications

    1. Front Matter

      Pages 181-181
      Download chapter PDF

    2. A Generalization of Bounded Commutative R\(\ell \)-Monoids

      • Guangling Cao, Jinfan Xu, Wenjuan Chen
      Pages 183-198

    3. On the Weak Dominance Relation Between Conjunctors

      • Lizhu Zhang, Qigao Bo, Gang Li
      Pages 199-210

    4. New Modification to Toulmin Model as an Analytical Framework for Argumentative Essays

      • Donghong Liu
      Pages 211-224
Back to top

Other volumes

  1. Artificial Intelligence Logic and Applications

Keywords

About this book

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.

Editors and Affiliations

  • East China Normal University, Shanghai, China

    Yixiang Chen

  • Chinese Academy of Sciences, Beijing, China

    Songmao Zhang

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation