Circumscription - A Form of Non-Monotonic Reasoning
- 1 February 1980
- report
- Published by Defense Technical Information Center (DTIC)
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.Keywords
This publication has 0 references indexed in Scilit: