航空航天应用领域的混合 MKNF：用法与启发式方法
人工智能
2026-01-09 v1 计算机科学中的逻辑
摘要
在航空航天应用中部署知识表示与推理技术，主要面临两个挑战：如何获得足够的表达力来捕捉复杂的领域知识，以及在推理任务中保持高效执行，同时最小化内存使用和计算开销。有效实现必要表达力的策略是整合两个基本 KR 概念：规则与本体。本研究采用已确立的 KR 语言 Hybrid MKNF，其语义和查询 answering 能力实现了规则与本体的无缝集成。我们对 Hybrid MKNF 进行评估，以评估其在航空航天领域的适用性，通过具体案例研究。我们识别出开发航空航天应用所必需的额外表达力特性，并提出一套启发式方法以支持其集成到 Hybrid MKNF 框架中。
引用
@article{arxiv.2601.04273,
title = {Hybrid MKNF for Aeronautics Applications: Usage and Heuristics},
author = {Arun Raveendran Nair Sheela and Florence De Grancey and Christophe Rey and Victor Charpenay},
journal= {arXiv preprint arXiv:2601.04273},
year = {2026}
}
备注
In Proceedings ICLP 2025, arXiv:2601.00047