Analysis and Diagnosis of Cardiovascular Diseases through the Paraconsistent Annotated Logic

All over the world cardiovascular diseases are responsible for a great number of clinical problems that result in death. Arterial Hypertension is considered one of the main agents of such diseases and, for that reason, the correct detection of Hypertension symptoms is very important for the medical area. In this work we use the Paraconsistent Logic (PL) as a method of treatment of uncertainties to help health professionals that act in this medical area. With base in the concepts of the Paraconsistent Logic we created a Expert System for the help in the analysis and diagnosis in cardiovascular diseases. This computational system is called “Para

Hyper

Analyzer” and it uses Algorithms of the Paraconsistent Logic, a non-classical kind of logic, for the treatment of contradictory information. The algorithms are obtained through the interpretation of the representative Lattice of Paraconsistent Annotated Logic with annotation of two values (PAL2v), where the certainty degree (D

C

) and the contradiction degree (D

ct

) are calculated, according to the logical methodology. The PAL2v algorithms are called Paraconsistent Analysis Nodes (PAN). The PAN allows the analysis of propositions which are related to changes in the blood pressure, so that the patient can be classified in a certain risk group. The Para

Hyper

Analyzer studies this information and presents a result which shows the possibility of developing a serious cardiovascular disease.