1. Knowledge representation formalisms as methods to test pathophysiological hypotheses
- Author
-
R. Antolini, C. Sossai, W. Irler, G. Ortalli, and C. Sorbara
- Subjects
Pathology ,medicine.medical_specialty ,Knowledge representation and reasoning ,business.industry ,Renal function monitoring ,urologic and male genital diseases ,Machine learning ,computer.software_genre ,Formal methods ,Rotation formalisms in three dimensions ,Expert system ,Test (assessment) ,Renal injury ,Medicine ,Artificial intelligence ,business ,computer ,Knowledge representation formalism - Abstract
After having built and tested an expert system for renal function monitoring, the authors developed a knowledge representation formalism that is being used as a formal method to generate and verify new and unknown pathophysiological hypotheses. In particular, they have studied if and when hypoperfusion determines a renal injury in a patient submitted to cardiac surgery. Using these methods, a description of hypoperfusion was generated and tested sufficiently deep and powerful to determine and distinguish between the hypoperfusive states that produce renal injury and the ones that never generate renal damage. >
- Published
- 2002