约束可满足问题，广泛存在于科学研究和工程实践中。如人力资源配置问题、农作物布局优化问题、工程设计方案优化问题和资源分配优化......

智能规划是人工智能的一个重要研究领域，智能规划的主要思想是根据预定实现的目标，对若干可供选择动作及所提供的资源限制进行推理，得......

车身覆盖件作为汽车重要零部件,在外观、形状和性能等方面有着诸多要求,因此其成形质量要求较高。由于车身覆盖件的形状相对复杂且......

讨论图规划回溯搜索过程中变量和值排序的缺点,并且提出一个基于实现某一子目标的难度的简单策略即获得子目标的困难度,该标准可以......

智能规划和调度中的许多时态（或时序）问题可以表达为析取时态问题（DTP）．目前，多数析取时态问题求解器将析取时态问题看作约束可满足问题（C......

布尔Game是一种重要的多Agent合作求解框架，它利用命题逻辑来表达静态的Agent博弈场景.其中每个Agent的目标采用命题公式来表示，其目......

基于模型诊断是人工智能领域中具有挑战性的问题,包含了很多人工智能中的关键问题,其研究对整个人工智能领域起着重要推动作用.在......

时态推理是人工智能领域的重要研究方向。析取时态问题（disjunctivetemporalproblem，DTP）是一类表达力极强的定量时态模型，被广泛应用......

通过对那些属于ＮＰ－Ｃｏｍｐｌｅｔｅ的约束可满足问题（如图着色，规划、ＳＡＴ问题等）的求解实验，指出了局部搜索算法的局限性，由此给出改进的搜索策略，实验结果表明......

模型计数问题是指计算给定问题的解的个数,这是一类比决策更困难的问题,也是人工智能领域研究的一个热点问题.对模型计数问题的研......

知识库的更新意即向知识库中添加新知识，同时为维护相容性而删除旧知识．已有的知识库更新方法在通常情况下都是难解的．该文从限制问题......

智能调度(AI Scheduling)是人工智能领域的一个重要研究方向，虽然它的起步和智能规划(AI Planning)基本同时(20世纪50年代)，却很晚(2......