Theorist [Poole88, PGA87, Poole89, Poole90] is a logical reasoning system for default reasoning and diagnosis. It is based on the idea of theory formation from a fixed set of possible hypotheses. This is a users manual for a compiler from Theorist to Prolog. This code is as described in [Poole91]. This compiler should not be seen as “the ” theorist system, but of one (rather simple and naive) implementation of the Theoirst framework. For example, it finds all explanations of the given goal, an
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.