Formal Analysis of an Agent-Based Medical Diagnosis Confirmation System: (Extended Abstract).
Alexander M. HooleIssa TraoréMichael Yanguo LiuPublished in: FAABS (2002)
Keyphrases
- medical diagnosis
- extended abstract
- formal analysis
- medical images
- diagnostic reasoning
- formal methods
- ban logic
- medical knowledge
- medical information
- medical image processing
- medical decision making
- intelligent agents
- medical diagnostic
- simulation model
- software agents
- agent model
- artificial intelligence
- heart disease
- knowledge representation
- reasoning systems
- multi agent systems