A lógica paraconsistente anotada de quatro valores - LPA4V aplicada em sistema de raciocínio baseado em casos para o restabelecimento de subestações elétricas

Abstract

In the control systems, the working theoretical basis have been the classic logic, because of the binary structure of these systems (true or false), in such a way that the reasoning is made with simplifications like either not to take into consideration inconsistent facts and situations or roughly to resume the same. The inconsistent situations, non-definitions and partial knowledge are described in the real world quite frequently, so that a logic that comprises all these behaviors is required. This need drives to the arising of an underlying logic for the formal systems, named Para-consistent Logic. Several works present the Para-consistent Logic as a solution for dealing with situations where the Classic Logic seems to be ineffective. This work aims to extend the two-values noted para-consistent logic - LPA2v to four-values noted para-consistent logic - LPA4v allowing that control systems may perform non-consistent treatments, undefined and regarding the specialty level in the considered domain the signals analysis using the LPA4v allows that many problems generated by conflicting and para-complete situations may be treated in a way near to the reality, beside to analyze the specialists behavior along the time. This method originated the algorithm named “Para-Specialist”. The algorithm introduced in conventional computer language allows the application of the Para-Consistent Logic in control systems in the artificial intelligence world. An application project of Control Hybrid System is presented, which makes the connection of the Para-Consistent Logic and the Case Based Reasoning System (CBR) providing a non-consistent treatment form, useful in control systems and applied in an Electric Power Substation Restoring. This project originated the algorithm “CBR-Para Expert”. The results achieved in this work may be used for research in many are