The expert system language GALEN.
GALEN is an expert system language based upon nonmonotonic logic and sorted higher-order quantificational logic. It is designed to permit the composition of expert systems for computerized electrocardiographic diagnosis. Using GALEN, a cardiologist will be able to supplement or replace the commercially available computer-assisted ECG diagnostic systems with diagnostic criteria of his or her own for research and clinical uses.
Jennings
R E
RE
Institute for Applied Logic, Simon Fraser University, Burnaby, British Columbia, Canada.
D003936:Diagnosis, Computer-Assisted; D004562:Electrocardiography; D005103:Expert Systems; D006801:Humans; D011381:Programming Languages