This book presents some of the latest applications of new theories based on the concept of paraconsistency and correlated topics in informatics, such as pattern recognition (bioinformatics), robotics, decision-making themes, and sample size. Each chapter is self-contained, and an introductory chapter covering the logic theoretical basis is also included. The aim of the text is twofold: to serve as an introductory text on the theories and applications of new logic, and as a textbook for undergraduate or graduate-level courses in AI.
Today AI frequently has to cope with problems of vagueness, incomplete and conflicting (inconsistent) information. One of the most notable formal theories for addressing them is paraconsistent (paracomplete and non-alethic) logic.
Table of Contents
Paraconsistent Logics: preamble.- Constructive Discursive Logic: Paraconsistency in Constructivism.- Paraconsistent Annotated Logic Program EVAPSN and Its Applications.- The New Hardware Structure of the Emmy II Robot.- A suggestion for sample size determination using an instrument for collecting medical data based on discrete items.- Paraconsistent Logic Algorithms applied on Seasonal Comparative Analysis with Biomass Data extracted from Fouling Process.- An algorithmic method supported by Paraconsistent Annotated Logic applied at determination of Friction Factors for turbulent flow in smooth pipes.- Paraconsistent Logic study of image focus in cylindrical refraction experiments.- Paraconsistent Artificial Neural Networks and Aspects of Pattern Recognition.- Paraconsistent Logic in Decision Making.- Paraconsistent Neurocomputing and Signal Analysis.