Circumscription—A form of non-monotonic reasoning
作者：
Highlights：
•
摘要
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.
论文关键词：
论文评审过程：Received 16 February 1979, Revised 4 October 1979, Available online 21 February 2003.
论文官网地址：https://doi.org/10.1016/0004-3702(80)90011-9
