From classification solving problem to constraint solving paradigm [medical computing]

Author

Mizoguchi, Fumio

Author_Institution

Dept. of Ind. Admin., Sci. Tokyo Univ., Chiba, Japan

fYear

1988

fDate

25-27 May 1988

Firstpage

481

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Artificial Intelligence for Industrial Applications, 1988. IEEE AI '88., Proceedings of the International Workshop on

Conference_Location

Hitachi City

Type

conf

DOI

10.1109/AIIA.1988.13335

Filename

13335