格哈德·布鲁卡;托马斯·艾特 确定默认逻辑的优先级。 （英语） Zbl 0997.03032号 Hölldobler，Steffen（编辑），《智能与计算逻辑》。纪念沃尔夫冈·比贝尔的论文。多德雷赫特：Kluwer学术出版社。申请。日志。序列号。19, 27-45 (2000). 引言：我们对默认逻辑进行优先级排序的方法采用了以下两个主要观点。首先，默认规则的应用意味着跳转到一个结论，这个结论是另一个假设，必须在程序中全局使用，以确定规则是否适用。第二，规则的应用顺序必须与优先级信息兼容。我们认为这意味着，除非某一规则被更高优先级的规则通过其假设击败，否则该规则将被应用。这种观点是新的，避免了其他方法中存在的不愉快行为。我们对这些想法的形式化涉及标准Gelfond-Lifschitz约简和用于检查优先级满意度的特定运算符的双重性。为了将我们的方法建立在更坚实的基础上，我们提出了一些抽象原则，我们认为，任何形式化的优先默认逻辑都应该满足这些原则。我们证明我们的方法满足这些原则，而其他方法违反了这些原则。关于整个系列，请参见[Zbl 0982.00058号]。 引用于1审查引用于13文件 MSC公司： 03B60号 其他非经典逻辑 68T27型 人工智能中的逻辑 关键词：优先默认逻辑 PDF格式BibTeX公司 XML格式引用 \textit{G.Brewka}和\textit{T.Eiter}，应用。日志。序列号。19、27——45（2000；Zbl 0997.03032）