Advertisement

Theorist: A Logical Reasoning System for Defaults and Diagnosis

  • David Poole
  • Randy Goebel
  • Romas Aleliunas
Chapter
Part of the Symbolic Computation book series (SYMBOLIC)

Abstract

We provide an introduction to Theorist, a logic programming system that uses a uniform deductive reasoning mechanism to construct explanations of observations in terms of facts and hypotheses. Observations, facts, and possible hypotheses are each sets of logical formulas that represent, respectively, a set of observations on a partial domain, a set of facts for which the domain is a model, and a set of tentative hypotheses which may be required to provide a consistent explanation of the observations.

Theorist has been designed to reason in a fashion similar to how we reason with and construct scientific theories. Rather than monotonically deduce theorems from a fixed logical theory, theorist distinguishes facts from hypotheses and attempts to use deduction to construct consistent theories for which the observations are logical consequences. A prototype, implemented in Prolog, demonstrates how diagnosis, default reasoning, and a kind of learning can all be based on the Theorist framework.

Keywords

Logical Consequence Deduction System Theorist Framework Horn Clause Negative Instance 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag New York Inc. 1987

Authors and Affiliations

  • David Poole
    • 1
  • Randy Goebel
    • 1
  • Romas Aleliunas
    • 1
  1. 1.Logic Programming and Artificial Intelligence Group Department of Computer ScienceUniversity of WaterlooWaterlooCanada

Personalised recommendations