论文部分内容阅读
时间规划是人工智能所涉及的特殊的规划领域,它是以时间关系约束作为推理依据。现实生活中,很多和时间有关的问题都可以用时间规划进行研究。该问题是NP难度的问题。 D-时刻表是求解时间规划问题的算法之一,它可以解决既有时间关系约束又有时间宽度约束的一类时间规划问题。本文通过对D-时刻表问题的描述和探讨,以时间关系矩阵为基础,给出了D-时刻表算法的详细步骤,并设计了一个通用的时间规划D_时刻表系统,并将其应用于大学课程表问题中,从中我们学习并了解了时间规划的原理和机制。 在本文中我们的讨论只针对单成份关系约束下的时间规划问题,但对于多成份约束下的时间规划问题,有待我们进一步研究。 本文所做的研究工作主要在以下几个方面: 1)给出了基于Allen的时间世界模型的关系矩阵表示法;运用关系矩阵表示法,详细介绍了时间规划中用于解决时间关系约束的R时刻表算法,以及用于解决既有时间关系约束又有时间宽度约束的D-时刻表算法。 2)完善了算法在实际应用中的一些不足之处,给出了完善后的算法。例如,通过数组记录了简化关系矩阵和初始关系矩阵的行列号的对应关系。 3)在完善的算法基础上,设计并实现了一个通用的时间规划系统,该系统很好的完成了关系矩阵构造、关系矩阵的简化、R-时刻表求解、D-时刻表的求解和运算过程及结果的不同方式显示,实例说明改进后的算法是可行的。 4)分析了大学课程表编排问题中的各种原则和要求,根据排课问题自身的要求和特点,提出了将时间规划中D-时刻表算法应用在排课问题中的方法,最后通过实例,说明该方法的可行性。