.png){kind=icon}
返回
A proof procedure for normal default theories
.png){kind=icon}
PRE
AI
DOI：10.1007/BF00117816.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Delgrande [6] 和Geffner和Pearl [10] 的最新研究提出了两种不同的语义解释，用于正常默认值，其中一个表示为条件句子。但是，当将它们的方法应用于形式化默认推理时，它们都需要额外的正式机制来处理不相关的信息。Delgrande在 [5，6] 中提出了两种元策略，他认为这两种策略足够强大，可以处理违约的顺序，他声称它们是等效的。此外，Delgrande的每个策略都是根据目标语言的所有句子定义的。在本文中，我们将证明Delgrande声称他的元策略是等效的是不正确的，并且他的元策略之一可以在一阶谓词演算 (FOPC) 的框架内重新表述，而不必考虑对象语言的每个句子。这种重新形式化的一个优点是它的计算简单性: 为了扩展默认理论，只需要考虑所考虑的默认理论中出现的那些句子，而不是对象语言中的每个句子; 此外，要基于我们已经形式化的元策略为Delgrande的系统提供证明程序，只需采用FOPC证明程序，而不是有条件的证明程序。
Keyword:
normal default
conditional logic
proof procedure
first order predicate calculus
期刊
IF:
3.5
论文数:
7.6K
被引数:
1.7W
机构
暂无机构信息
引用论文
.png){kind=icon}
Lithiation and silylation reactions of 1,4-bis(1,1,1,3,3,3-hexafluoro-2-hydroxy-2-propyl)benzene
PREAI
分享收藏分享收藏Sex-Based Differences in the Determinants of Old Age Life Expectancy: The Influence of Perimenopause
OAAI
OAAI分享收藏 没有更多内容
没有更多内容