情境演算中计算完备且可靠抽象的一种句法方法
计算机科学中的逻辑
2025-01-14 v3
摘要
抽象是人工智能领域中一个重要且有用的概念。据我们所知，目前还没有一种句法方法可以从给定的低级基本动作理论和精化映射中计算出可靠且完备的抽象。本文旨在解决这个问题。为此，我们首先提出了一种情境演算的变体，即线性整数情境演算，它作为高级基本动作理论的形式化。然后，我们将Banihashemi、De Giacomo和Lespérance的抽象框架迁移到从线性整数情境演算到扩展情境演算的框架。此外，我们确定了一类Golog程序，即守卫动作，用于限制低级Golog程序，并对精化映射施加了一些限制。最后，我们设计了一种句法方法，用于从低级基本动作理论和受限精化映射中计算可靠且完备的抽象。
引用
@article{arxiv.2412.11217,
title = {A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus},
author = {Liangda Fang and Xiaoman Wang and Zhang Chen and Kailun Luo and Zhenhe Cui and Quanlong Guan},
journal= {arXiv preprint arXiv:2412.11217},
year = {2025}
}