摘要
We describe in this paper a methodology for the construction of a knowledge base system for diagnosis of the Parkinson disease, by translating entailment problems into ideal membership problems in polynomials rings. Reasoning is achieved by the assistance of a Computer Algebra Systems (CAS). An ontology editor is used not only to model knowledge but also as an aid tool to be used by the experts for management and choice the most suitable, among several medical criteria.
- 出版日期2010-12