Resumo:
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