A logic and computer algebra-based expert system for diagnosis of anorexia.
Cristina Pérez-CarreteroLuis M. LaitaEugenio Roanes-LozanoLuis LázaroJesús González-CajalLaura LaitaPublished in: Math. Comput. Simul. (2002)
Keyphrases
- computer algebra
- expert systems
- fault diagnosis
- medical diagnosis
- theorem prover
- knowledge acquisition
- knowledge engineering
- model based diagnosis
- neural network
- diagnostic tests
- case based reasoning
- clinically relevant
- model based reasoning
- inference engine
- computer algebra systems
- automatic diagnosis
- fault detection
- diagnostic reasoning
- knowledge based systems
- decision support system
- knowledge base
- diagnostic process
- genetic algorithm
- multiple faults
- automated theorem provers
- machine learning