×

本体论中异常的推理:多引用语义的近似。 (英语) Zbl 07170135号

Kern-Isberner,Gabriele(编辑)等,《不确定性推理的符号和定量方法》。2019年9月18日至20日,第15届欧洲会议,ECSQARU 2019,塞尔维亚贝尔格莱德。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。11726, 212-225 (2019).
总结:从观察到理性闭包具有“全部或全部”机制的不良特性开始,我们这里考虑多引用语义,它丰富了rational闭包的优先语义,以便在一个本体中单独处理不同属性的继承,而不存在异常。我们证明了(mathcal{ALC})知识库的MP-闭包是关于(mathcal{ALC{)的多引用语义中的最小蕴涵的合理构造。
关于整个系列,请参见[Zbl 1419.68012号].

理学硕士:

68立方英尺 知识表示
68T27型 人工智能中的逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部