.png){kind=icon}
返回
Contrary description logic: Gentzen deduction system
.png){kind=icon}
PRE
AI
DOI：10.1007/s11432-015-9050-6.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Traditional description logics are based on complementary rather than contrary concepts. This work proposes a contrary description logic based on the contrary concept constructors similar to, (sic) (instead of -). A Gentzen-type deduction system is applied to make the system sound and complete with the three-valued semantics of contrary description logic.
Keyword:
description logics
contradictory
contrary
soundness
completeness
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
7.6
论文数:
4.9K
被引数:
8.9K
.png){kind=icon}
