派生谓词相关论文
智能规划是人工智能研究领域的一个重要分支。智能规划问题是一种关于动作的推理问题，即从某个特定问题的初始状态出发，寻找一个动作......
派生谓词是PDDL2．2语言的新特性之一。在2004年的规划大赛IPC-4上，许多规划系统都无法求解包含派生谓词的两个标准竞赛问题。在经典......
空间连接运算是空间数据查询中最重要、最耗时的基本操作之一，其中基于R树的空间连接（RJ）被认为是一种高效的处理机制，但在空间连接的......
基于MBR及直接查询谓词,提出了能够优化多路R树连接筛选阶段的加权处理方法,扩展了R树结构及MRJ算法。使用该方法能够得到更加有效......
领域知识的获取是智能规划研究中的重要内容之一.派生规则是一种基于逻辑推理的领域知识表示方法.在对动作模型和派生规则综合分析......
