An expert system for managing medical appropriateness criteria based on computer algebra techniques, ,

This article presents the development of an expert system for managing medical appropriateness criteria together with an outline of its theoretical foundations. Techniques borrowed from computer algebra (Gröbner bases) are applied to this field of medicine. The steps of the expert system construction process are as follows. First, the knowledge provided in table format by experts in coronary diseases is translated into a set of production rules of a rule-based expert system (RBES). Kleeneʹs three-valued logic augmented with modal operators is chosen in order to manage uncertainty