Prevision of Medical Diagnosis Based on Paraconsistent Annotated Logic

This paper shows a process of prevision of medical diapostic based on Paraconsistent Annotated Logic, PAL. Knowing the symptoms reported by the patient, applying the Para-Analyzer Algorithm (Abe & Da Silva Filho 2001), by the Baricenter Analysis Method (Carvalho 2002) we obtain the resultant certainty degree of each illness analyzed (Carvalho, Brunstein & Abe 2004). Looking for the highest value of these certainty degrees we find a sole result that allows to determine the illness with highest certainty degree. We can decide what is the illness with highest favorable evidence by means of the symptoms reported by the patient. This illness will be the prevision of medical diagnosis. It is observed that the method presented is destined to 'adequate' illness, i.e., simple but helpful in emergencies, for instance.