Skip to main content
Book Chapter

Theorist: A Logical Reasoning System for Defaults and Diagnosis

  • Poole D
  • Goebel R
  • Aleliunas R
Springer New York, (1987), 331-352
DOI: 10.1007/978-1-4612-4792-0_13
N/ACitations
Citations of this article
30Readers
Mendeley users who have this article in their library.
Get full text

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...

Cite

CITATION STYLE

APA

Poole, D., Goebel, R., & Aleliunas, R. (1987). Theorist: A Logical Reasoning System for Defaults and Diagnosis. In The Knowledge Frontier (pp. 331–352). Springer New York. https://doi.org/10.1007/978-1-4612-4792-0_13

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free