探索混合规划问题中的不可解性解释的必然路径点
人工智能
2025-11-25 v2 形式语言与自动机理论
摘要
解释规划问题的不可解性是可解释人工智能规划中的重要研究兴趣。AI 规划文献中已报道了多项研究旨在生成规划问题解的解释。然而，解释规划问题的不可解性仍是一个在学术界广泛关注且研究不足的问题。一种广泛实践的做法是将任务分解为有助于逐步逼近目标的子问题。在本文中，我们提出将子问题识别的思想作为分析和解释混合系统规划问题不可解性的机制。具体而言，对于给定的不可解规划问题，我们提出识别常见路径点，这些路径点是通用障碍，即它们出现在从源头到规划目标的所有计划中。我们将这些路径点视为规划问题的子问题，将任何这些路径点的不可达性作为原规划问题不可解性的解释。我们提出了一种通过将问题建模为计算机科学中广受欢迎的“最长公共子序列问题”来识别路径点的新方法，后者通常被视为动态规划范式的示例。一旦识别了路径点，我们对其进行符号可达性分析，以识别最早不可达的路径点并将其报告为不可解性的解释。我们在混合领域的不可解规划问题上 presented 了实验结果。
引用
@article{arxiv.2504.15668,
title = {Preprint: Exploring Inevitable Waypoints for Unsolvability Explanation in Hybrid Planning Problems},
author = {Mir Md Sajid Sarwar and Rajarshi Ray},
journal= {arXiv preprint arXiv:2504.15668},
year = {2025}
}