CMU Artificial Intelligence Repository
PROTEST: Prolog Expert System Building Tool
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:
pain/'initiated by'/'gentle touch'
pain/character/'intense & throbbing'
pain/'initiated by'/'clenching, biting or chewing'
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
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
A sample knowledge base, for dental diagnosis, is included.
as the file salvini.tar.Z
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
Authors!Salvini, Expert System Shells, PROTEST, Prolog!Code
A user manual is included.
Last Web update on Mon Feb 13 10:21:45 1995