面向基于 OWL DL 本体进行本体中介规划的方法（扩展版）
人工智能
2023-08-17 v1 计算机科学中的逻辑
摘要
经典规划语言采用封闭域与封闭世界假设，而已有多种方法将描述逻辑（DL）推理扩展至其中，并按通常的开放世界语义进行解释。当前基于 DL 本体的规划方法将 DL 直接集成到规划语言中，并已基于一阶重写或向 datalog 的重写发展出实用方法。本文提出一种新方法，将规划规范与本体分离，并通过接口将二者关联。这使得规划专家可在熟悉的形式化中工作，而现有本体可由本体专家轻松集成与扩展。我们所提出的针对此类本体中介规划问题的处理方法针对域相对较小的情况进行了优化，并支持完整的 OWL DL 片段。其思路是将本体中介规划问题重写为可由现有规划工具处理的经典规划问题。与其他方法不同，我们的重写是数据依赖的。对该方法的初步实验评估显示了此方法的潜力与局限。
引用
@article{arxiv.2308.08200,
title = {Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version)},
author = {Tobias John and Patrick Koopmann},
journal= {arXiv preprint arXiv:2308.08200},
year = {2023}
}
备注
Extended version of a paper accepted at 36th International Workshop on Description Logics (DL 2023)