Circumscription with homomorphisms: solving the equality and counterexample problems
J. ACM(1994)
摘要
One important facet of common-sense reasoning is the ability to draw default conclusions about the state of the world, so that one can, for example, assume that a given bird flies in the absence of information to the contrary. A deficiency in the circumscriptive approach to common-sense reasoning has been its difficulties in producing default that Tweety ≠ Blutto using ordinary circumscription, or conclude by default that a particular bird flies, if some birds are known not to fly. In this paper, we introduce a new form of circumscription, based on homomorphisms between models, that remedies these two problems and still retains the major desirable properties of traditional forms of circumscription.
更多查看译文
关键词
ordinary circumscription,common-sense reasoning,important facet,counterexample problem,traditional form,particular bird,default conclusion,common sense reasoning,new form,circumscription,circumscriptive approach,major desirable property
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络