用面向对象设计统一知识表示与程序逻辑，让知识像类一样直接编程。
Implementing Knowledge Representation and Reasoning with Object Oriented Design
- 将知识作为原生类结构处理，实现知识与代码无缝融合。
- 在OWL2Bench和人机任务学习中表现优异，支持复杂推理。
- 适合开发需要强推理能力的自主系统开发者。
本文提出KRROOD框架，旨在弥合现代软件工程与知识表示与推理（KR&R）系统之间的整合鸿沟。尽管面向对象编程（OOP）是构建复杂应用的标准范式，现有KR&R框架仍依赖外部本体和专用语言，难以与命令式代码集成。KRROOD通过将知识视为第一类编程抽象，利用原生类结构实现逻辑编程与OOP范式的融合。我们在OWL2Bench基准和人-机器人任务学习场景中评估该系统，实验结果表明，KRROOD在保持强大性能的同时，能够满足真实世界自主系统所需的表达性推理需求。
原文摘要 · Abstract (English)
This paper introduces KRROOD, a framework designed to bridge the integration gap between modern software engineering and Knowledge Representation & Reasoning (KR&R) systems. While Object-Oriented Programming (OOP) is the standard for developing complex applications, existing KR&R frameworks often rely on external ontologies and specialized languages that are difficult to integrate with imperative code. KRROOD addresses this by treating knowledge as a first-class programming abstraction using native class structures, bridging the gap between the logic programming and OOP paradigms. We evaluate the system on the OWL2Bench benchmark and a human-robot task learning scenario. Experimental results show that KRROOD achieves strong performance while supporting the expressive reasoning required for real-world autonomous systems.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。