Jeff.Shrager@CMU-CS-A@sri-unix.UUCP (09/24/83)
Dentrol: A dental expert system based upon tooth maintenance
principles.
Faust: A black magic advisor with mixed initiative goal generation.
Doug: A system which will convert any given domain into set theory.
Cray: An expert arithmetic advisor. Heuristics exist for any sort of
real number computation involving arithmetic functions (+, -,
and several others) within a finite (but large) range around 0.0.
The heuristics are shown to be correct for typical cases.
Meta: An expert at thinking up new domains in which there should be
expert systems.
Flamer: A expert at seeming to be an expert in any domain in which it
is not an expert.
IT: (The Illogic Theorist) A expert at fitting any theory to any quanity
of protocol data. Theories must be specified in "ITLisp" but IT can
construct the protocols if need be.