.png){kind=icon}
返回
Ontological Modelling Principles for Computational Complexity
.png){kind=icon}
PRE
AI
DOI：10.1177/15705838261451614.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
计算复杂性理论是计算机科学的核心理论学科，对实际应用也具有重大影响。尽管已知大量独立的研究结果，但对该知识体系进行系统性的概念组织仍存在不足。我们提出一种建模方法，用于为计算复杂性理论创建一个本体论上基础稳固的知识库，这将能够存储、查询和推理关于算法问题、复杂性类及其关系的广泛知识。我们确定了复杂性理论的核心概念和关系，并在两个近似层次上对其进行建模：一个轻量级版本基于可判定描述逻辑SROIQ（本体语言OWL 2 DL的基础形式化），以及一个基于一阶逻辑的进一步扩展版本。
期刊
IF:
3.5
论文数:
40
被引数:
306
.png){kind=icon}
查看更多内容