CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

PROTEST: Prolog Expert System Building Tool

areas/expert/systems/salvini/
This is a cut-down version of the expert system building tool produced by Steven Salvini as part of his M.Sc. dissertation in 1986. PROTEST is a tool for building prototype expert systems. It accepts a knowledge base written in IF-THEN rules whose conditions and conclusions consist of object/attribute/value triples: rule1: if pain/duration/constant and pain/localisation/accurate and pain/'initiated by'/'gentle touch' and pain/character/'sudden onset' and pain/character/'intense & throbbing' and gingivae/swelling/present and gingivae/erythema/present and miscellaneous/'local lymphadenopathy'/present and pain/'initiated by'/'clenching, biting or chewing' and tooth/mobility/present then diagnosis/group/abscess with certainty(0.9). Conclusions may contain certainty factors. Inference can be either backward chaining or mixed. The former is normal backward chaining, giving a single firm conclusion if one has been deduced or else as a list of possible conclusions in order of their certainties. Mixed mode is a "mixed" inference strategy which first prompts you to enter your initial findings and then tries to deduce one or more of the goals. If a firm conclusion is not reached, it then tries to solve the problem by backward-chaining. After PROTEST has given a conclusion, you can ask to see its chain of reasoning. A sample knowledge base, for dental diagnosis, is included.
Origin:   

   src.doc.ic.ac.uk:packages/prolog-pd-software/ (146.169.2.1)
   as the file salvini.tar.Z

Version: 1-FEB-89 Requires: Prolog Ports: Runs in Edinburgh compatible Prologs. The terminal-control predicates are terminal-specific. CD-ROM: Prime Time Freeware for AI, Issue 1-1 Author(s): Steven Salvini Heriot-Watt University Keywords: Authors!Salvini, Expert System Shells, PROTEST, Prolog!Code References: A user manual is included.
Last Web update on Mon Feb 13 10:21:45 1995
AI.Repository@cs.cmu.edu