Circumscription - A Form of Non-Monotonic Reasoning

Abstract

Humans and intelligent computer programs must often jump to the conclusion that the objects they can determine to have certain properties or relations are the only objects that do. Circumscription formalizes such conjectural reasoning.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 1980
Accession Number
ADA086574

Entities

People

  • John McCarthy

Organizations

  • Stanford University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Behavioral Sciences
  • Bridges
  • Computer Programs
  • Computers
  • Formal Languages
  • Fuzzy Logic
  • Language
  • Logic
  • Mathematical Logic
  • Model Theory
  • Models
  • Natural Languages
  • Probability
  • Qualifications
  • Reasoning
  • Set Theory