默认推理的另一种视角
人工智能
2007-05-23 v1
摘要
定义给定有限默认集合 D 的 lexicographic closure。当在给定默认 D 和事实 a 的情况下，若会得出 b，则条件断言 "if a then b" 包含在该 lexicographic closure中。 lexicographic closure 是 D 及其理性闭包（在前一篇论文中定义）的本质理性扩展，提供一种与 R. Reiter 提出的默认逻辑不同的默认逻辑，足够丰富，不必考虑非正常默认。提供大量示例，表明 lexicographic closure 对应于 Reiter 默认逻辑背后的基本直觉。
引用
@article{arxiv.cs/0203002,
title = {Another perspective on Default Reasoning},
author = {Daniel Lehmann},
journal= {arXiv preprint arXiv:cs/0203002},
year = {2007}
}
备注
Presented at Workshop on Logical Formalizations of Commense Sense, Austin (Texas), January 1993