扩展规则相关论文
移动机器人路径规划属于机器人控制系统的重要应用基础问题,也是机器人研究领域一个关键的研究课题。机器人路径规划是指在有障碍......
现代企业事务性信息平台日趋完善，企业事务性数据大量采集和积累，超越了企业现有的数据消费能力，企业数据生产相对过剩，数据查询和分析......
智能规划是设计某个(组)实体从初始状态出发,到达目标状态的动作序列,其结果被称为规划解。目前的规划求解器只能求解问题的一个解......
智能规划是20世纪50年代后期迅速发展起来的一个前沿研究领域,近年来对该领域的研究取得了革命性的进展。其中,把规划问题编译为SA......
#SAT在人工智能领域取得了广泛应用,很多现实问题可以规约成#SAT进行求解,得到命题理论的模型个数。扩展规则是与归结互补的一种高......
基于扩展规则的定理证明方法是一种与归结方法互补的新的定理证明方法,首先通过对扩展规则的深入研究,给出了扩展规则的一个重要性......
#SAT问题是SAT问题的扩展,需要计算出给定命题公式集合的模型个数.通过将问题求解沿着归结的反方向进行,并利用容斥原理解决由此带......
