文献搜索-钛学术文献服务平台

文献类型

学科分类

更多...

核心收录

更多...

年份

更多...

来源

更多...

限定条件：

清空

相关度
出版时间
被引频次

全选反选取消

已选文献：0

导出

共检索到 3 个结果

<
1 / 1
>

1.【期刊】可视化析取时态推理器的设计与实现

作者：刘越畅林晓骏汤庸

刊名：中山大学学报（自然科学版）

发表时间：2013-06-01

摘要:

时态推理是人工智能领域的重要研究方向。析取时态问题（disjunctive temporal problem，DTP）是一类表达力极强的定量时态模型，被广泛应用于智能规划和调度领域的时态建模，近年来吸引了研究人员的关注。提出DTP弱蕴含性和弱演化析取时态网络（weakly evolutional disjunctive temporal network，WEDTN）的定义，基于WEDTN设计和实现了可视化DTP求解器TRSE。系统演示发现基于WEDTN的可视化比常见的基于搜索树的可视化更能有利于人们直观理解DTP的求解算法过程、挖掘和发现问题的结构特征对求解过程的影响。

人工智能时态推理析取时态问题约束可满足问题弱演化析取时态网络

下载 0

被引 0

2.【期刊】可满足问题中的模型计数

作者：谷文祥朱磊黄平殷明浩

刊名：智能系统学报

发表时间：2012-01-01

摘要:

模型计数问题是指计算给定问题的解的个数,这是一类比决策更困难的问题,也是人工智能领域研究的一个热点问题.对模型计数问题的研究不仅可以提高算法的求解效率,更能促进对问题困难本质的了解.以可满足问题(命题可满足(SAT)和约束可满足问题(CSP))为例,从精确算法和近似求解两方面综述了模型计数问题的研究现状,重点介绍了相关概念以及各个算法之间的优缺点,并提出了有待解决的开放性问题,对模型计数问题的研究予以了总结和展望.

人工智能约束可满足问题命题可满足问题模型计数

下载 0

被引 2

3.【期刊】图规划基于距离的目标排序启发式

作者：李树平杨柳穆庆华

刊名：哈尔滨商业大学学报（自然科学版）

发表时间：2005-03-01

摘要:

讨论图规划回溯搜索过程中变量和值排序的缺点,并且提出一个基于实现某一子目标的难度的简单策略即获得子目标的困难度,该标准可以通过规划图本身的结构加以量化,特殊的使用子目标在规划图中最早出现用层的下标来表示.结果表明该方法在许多标准的规划问题求解过程中的惊人效果.

图规划目标排序启发式约束可满足问题动态约束可满足问题值排序变量排序

下载 0

被引 0

全选反选取消

已选文献：0

导出

每页显示