A logic and computer algebra-based expert system for diagnosis of anorexia
Anorexia is a serious condition which more and more men and women, especially young women, are contracting. In this article, we propose an expert system for the diagnosis of anorexia. The 'knowledge base' of the expert system is a set of bivalued logic production rules. The inference engine uses Grobner bases and normal forms to draw consequences from the information contained in the knowledge base. A user interface is also provided. (C) 2002 IMACS. Published by Elsevier Science B.V. All rights reserved.
anorexia medical expert systems computer algebra