arXiv:2505.04313v1 通知类型: 新 摘要: 在本文中，我们介绍了KERAIA，一种用于符号知识工程的新型框架和软件平台，旨在解决在动态、复杂和语境敏感环境中表示、推理和执行知识的持续挑战。这项工作的主要研究问题是：如何有效地将结构不明确、往往是隐性的人类专长转变为计算上可行的算法，供人工智能系统高效利用？KERAIA 通过基于基础概念如明斯基框架推理和 K 线，同时引入了重大创新来弥合这一差距。这些创新包括知识云进行动态聚合、动态关系 (DRels) 用于语境敏感继承、显式思路线 (LoTs) 用于可追溯的推理，以及云详述 (Cloud Elaboration) 用于适应性知识转换。这种方法超越了传统、通常是静态的知识表示范式的限制。KERAIA 以可解释人工智能 (XAI) 为核心原则，确保透明性和可解释性，特别是通过 LoTs。本文详细介绍了该框架的架构、KSYNTH 表示语言和通用目的推理方法构建器 (GPPB)，以在统一结构中整合各种推理方法。我们通过涉及海军战争模拟、水处理厂的工业诊断和 RISK 游戏的战略决策等多个案例研究，详细分析验证了 KERAIA 的灵活性、表达能力和实践可行性。此外，我们还进行了与已确立的知识表示范式（包括本体、基于规则的系统和知识图谱）的比较分析，并讨论了 KERAIA 平台的实施方面和计算考虑。