Title :
From classification solving problem to constraint solving paradigm [medical computing]
Author :
Mizoguchi, Fumio
Author_Institution :
Dept. of Ind. Admin., Sci. Tokyo Univ., Chiba, Japan
Abstract :
Three approaches to the constraint-solving problem in knowledge systems are examined: (1) the development of a domain-dependent constraint solver for qualitative simulation, implementing Kuiper´s algorithm in logic programming; (2) the building of a general constraint solver by extending Prolog unification into the inequality and real arithmetic domain; and (3) the use of committed choice nondeterministic languages such as Prolog, CP, and GHC for a concurrent constraint language. Knowledge acquisition for medical diagnostics is considered as an example application
Keywords :
PROLOG; digital simulation; knowledge acquisition; knowledge based systems; logic programming; medical diagnostic computing; CP; GHC; Prolog unification; classification solving problem; committed choice nondeterministic languages; concurrent constraint language; constraint solving paradigm; constraint-solving problem; domain-dependent constraint solver; general constraint solver; knowledge acquisition; logic programming; medical computing; medical diagnostics; qualitative simulation; real arithmetic domain; Biomedical computing; Electrostatic precipitators; Intelligent systems; Knowledge based systems; Laboratories; Logic programming; Medical diagnosis; Medical diagnostic imaging; Medical simulation; Object oriented modeling;
Conference_Titel :
Artificial Intelligence for Industrial Applications, 1988. IEEE AI '88., Proceedings of the International Workshop on
Conference_Location :
Hitachi City
DOI :
10.1109/AIIA.1988.13335
