A Formal Logical Framework for Cadiag-2.
Agata CiabattoniThomas VetterleinKlaus-Peter AdlassnigPublished in: MIE (2009)
Keyphrases
- logical framework
- medical expert system
- medical knowledge
- inference rules
- fuzzy set theory
- reasoning tasks
- diagnostic process
- knowledge based systems
- belief revision
- knowledge acquisition
- expert systems
- intensive care unit
- medical diagnosis
- mathematical theory
- argumentation frameworks
- data mining
- knowledge sources
- optimal policy
- training data