默认推理的另一种视角
Another perspective on Default Reasoning
摘要：
定义了任意给定的有限正规缺省集D的字典序闭包。一个条件断言“if a then b”在这个字典式闭包中，如果给定默认值D和事实a，则得出b。字典序闭包本质上是D的一个有理扩张，它的有理闭包在前面的文章中定义。它提供了一种正常缺省的逻辑，不同于R. Reiter，这已经足够丰富，不需要考虑非正常违约。提供了大量的例子来表明，字典式闭包对应于赖特的缺省逻辑背后的基本直觉。
英文摘要：
The lexicographic closure of any given finite set D of normal defaults is defined. A conditional assertion "if a then b" is in this lexicographic closure if, given the defaults D and the fact a, one would conclude b. The lexicographic closure is essentially a rational extension of D, and of its rational closure, defined in a previous paper. It provides a logic of normal defaults that is different from the one proposed by R. Reiter and that is rich enough not to require the consideration of non-normal defaults. A large number of examples are provided to show that the lexicographic closure corresponds to the basic intuitions behind Reiter's logic of defaults.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
