排序方式： 共有13条查询结果，搜索用时 15 毫秒
11.
提出一种新的基于知识编译的模型计数方法——MTREE.该方法以一个否定范式(NF)作为输入,利用命题表推演过程,结合香农扩展和简化规则,将输入的否定范式编译成与之等价的R-模型树,在R-模型树上应用多项式时间算法求出其模型个数,即为原输入NF的模型个数.严格证明了该算法是完备有效的. 相似文献
12.
基于整数线性规划的智能规划研究 总被引：1，自引：0，他引：1
整数线性规划是一种表示和求解智能规划问题的重要方法,本文较全面地介绍了近十年来国内外学者的相关研究工作,包括在智能规划中应用整数线性规划技术的重要方面、发展现状以及存在的问题,重点介绍了用整数线性规划求解智能规划问题的各种方法,旨在让关注该领域的学者能够快速地对这一领域有较为全面的了解,最后公开几个未解决的问题。 相似文献
13.
在目标图算法的基础上引入推演扩展和推演检测过程,并进一步扩展了目标图的构造和分析过程,使得目标图可以处理带有推理规则的规划识别问题,从而在初始世界状态空间未完全已知的情况下依然可以识别目标.该算法不需要规划库,从而避免了利用规划库所带来的诸如手工编码和搜索时具有指数代价的问题. 相似文献