A comprehensive review on paraconsistent annotated evidential logic: Algorithms, Applications, and Perspectives

• Published in: Engineering applications of artificial intelligence Vol. 127; p. 107342
• Main Authors: de Carvalho Junior, Arnaldo, Justo, João Francisco, de Oliveira, Alexandre Maniçoba, da Silva Filho, João Inacio
• Format: Journal Article
• Language: English
• Published: Elsevier Ltd 01.01.2024
• Subjects: Contradiction; Intelligent control; Paraconsistent annotated evidential logic (PAL Eτ); Paraconsistent neural network; Pattern recognition; Reasoning; Paraconsistent neural network; Pattern recognition; Reasoning; Paraconsistent annotated evidential logic (PAL Eτ); Contradiction; Intelligent control
• ISSN: 0952-1976; 1873-6769
• DOI: 10.1016/j.engappai.2023.107342

This paper reviews the paraconsistent annotated evidential logic (PAL Eτ) research. This non-classical logic has gained attention in several real-world applications, including robotics, intelligent control, decision-making systems, pattern recognition and classification, and medical diagnosis, among others. The low-complexity mathematics and small computational resources required by PAL Eτ algorithms make them interesting for expert systems, edge computing, and tiny machine learning (Tiny ML) design. This paper aims to present the recent work in the field of PAL Eτ, from its theoretical grounding to practical applications, as well as challenges and trends for this logic. This paper provides a multilevel platform for researchers interested in this area. •Brief historical review of paraconsistent logic until PAL Et.•PAL Et concept, math and basic algorithm.•Systems developed from PAL Et, including Para-Analyzer, PAN, ParaExtrCTR, PANet, PAL2v Filter and PNN.•PAL Et engineering and IA applications.•Perspectives of future PAL Et developments.