.png){kind=icon}
返回
Constructing probabilistic ATMSs using extended incidence calculus
.png){kind=icon}
OA
AI
DOI：10.1016/0888-613X(96)00031-X.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
This paper discusses the relations between extended incidence calculus and assumption-based truth maintenance systems (ATMSs). We first prove that managing labels for statements (nodes) in an ATMS is equivalent to producing incidence sets of these statements in extended incidence calculus. We then demonstrate that the justification set for a node is functionally equivalent to the implication relation set for the same node in extended incidence calculus. As a consequence, extended incidence calculus can provide justifications for an ATMS, because implication relation sets are discovered by the system automatically. We also show that extended incidence calculus provides a theoretical basis for constructing a probabilistic ATMS by associating proper probability distributions on assumptions. In this way, we can not only produce labels for all nodes in the system, but also calculate the probability of any of such nodes in it. The nogood environments cart also be obtained automatically Therefore, extended incidence calculus and the ATMS are equivalent in carrying out inferences at both the symbolic level and the numerical level. This extends a result due to Laskey and Lehner.
Keyword:
incidence calculus
probabilistic reasoning
assumption based truth maintenance systems
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3
论文数:
3.0K
被引数:
5.1K
机构
暂无机构信息
引用论文
.png){kind=icon}
Coaches’ implicit associations between size and giftedness: implications for the relative age effect
PREAI
分享收藏分享收藏Protein kinase C in the rat retina: immunocharacterization of calcium-independent δ, ϵ and ζ isoenzymes大鼠视网膜中的蛋白激酶C: 不依赖钙的 δ，ε 和 ζ 同工酶的免疫表征
PREAI
分享收藏分享收藏 没有更多内容
没有更多内容