Default Reasoning, Nonmonotonic Logics, and the Frame Problem

  title={Default Reasoning, Nonmonotonic Logics, and the Frame Problem},
  author={Steve Hanks and Drew McDermott},
Nonmonotonic formal systems have been proposed as an extension to classical first-order logic that will capture the process of human “default reasoning” or “plausible inference” through their inference mechanisms just as modus ponena provides a model for deductive reasoning. But although the technical properties of these logics have been studied in detail and many examples of human default reasoning have been identified, for the most part these logics have not actually been applied to practical… CONTINUE READING
Highly Influential
This paper has highly influenced 17 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
149 Citations
10 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 10 references

Pointwise Circumscription

  • Lifschitz, Vladimir
  • unpublished, draft of March
  • 1986

Time and Causation from the Standpoint of Aritificial Intelligencen

  • Shoham, Yoav
  • 1986

Temporal Reasoning and Default Logics

  • Hanks, Steven, Drew McDermott
  • Computer Science Research Report No. 430,
  • 1985

The Mathematics of Non-Monotonic Reasoning

  • Davis, Martin
  • Artificial Intelligence, vol
  • 1980

Similar Papers

Loading similar papers…