派生谓词相关论文
智能规划是人工智能研究领域的一个重要分支。智能规划问题是一种关于动作的推理问题，即从某个特定问题的初始状态出发，寻找一个动作......
空间连接运算是空间数据查询中最重要、最耗时的基本操作之一，其中基于R树的空间连接（RJ）被认为是一种高效的处理机制，但在空间连接的......
基于MBR及直接查询谓词,提出了能够优化多路R树连接筛选阶段的加权处理方法,扩展了R树结构及MRJ算法。使用该方法能够得到更加有效......
文中提出了一种在部分观测环境下学习规划领域的派生谓词规则的方法.在规划领域描述语言（PDDL）中,派生谓词用来描述动作的非直接效果......
领域知识的获取是智能规划研究中的重要内容之一.派生规则是一种基于逻辑推理的领域知识表示方法.在对动作模型和派生规则综合分析......
