Using GEM-encoded guidelines to generate medical logic modules.
Abha AgrawalRichard N. ShiffmanPublished in: AMIA (2001)
Keyphrases
- medical diagnosis
- logic programming
- medical knowledge
- database language
- medical domain
- sound and complete axiomatization
- clinical guidelines
- predicate logic
- generation method
- automated reasoning
- medical data
- multi valued
- inference rules
- modal logic
- programming language
- medical information
- digital circuits
- knowledge representation
- image segmentation
- deontic logic
- asynchronous circuits
- case study
- modular structure
- data sets