arXiv:2410.02533v2 通知类型: 修改 摘要: 图可达性是理解图中两个不相同点之间是否通过附加了语义的弧相互连接的任务。可达性有许多应用，从运动规划到路由。提高可达性需要结构化的知识关系，以避免传统深度优先和广度优先策略的复杂性，这些策略在逻辑语言中实现。在某些情况下，通过设置图的模式定义来丰富图，为每条弧定义领域和范围。引入一种基于模式的正式化可以对搜索起到敏感的改进作用，通过切断无用路径并优先处理那些理论上能更早达到目标的路径。在这项工作中，我们提出了一种策略，通过利用实例的高层概念化来自动排除和排序某些图路径。目标是获得一种新的基于一阶逻辑的图可达性场景重新表述，能够在时间、空间需求和回溯次数方面改进传统的算法。实验表明，该方法在搜索策略中减少了回溯次数，从而节省了时间和空间。