论文部分内容阅读
时间表问题TTP(Timetabling Problem)是一类应用非常广泛的研究课题,本论文讨论的排课表问题就是这类问题的典型应用。随着学生人数的不断增加,排课已经成为十分繁重而重要的教学工作之一。如何科学合理地编排课程表是每个学校教学管理过程中需要完成的一项重要任务。排课问题是一个有约束的、多目标的组合优化问题,并且已经被证明为一个NP完全问题。从问题提出以来已有很多处理方法,但由于排课问题复杂多变,几十年来一直没有得到很好的解决。本文提出一种新的解决思路:用本体的方法解决排课问题。首先,将排课问题理解为一种资源分配问题。将排课涉及到的教师、教室、学生、课程等资源按学校的要求进行合理调配。问题抽象出来后,按照领域本体的构建步骤,分析建立排课表本体。然后,以描述逻辑为逻辑基础,使用本体描述语言OWL DL描述排课表过程中涉及到的资源知识,以及它们之间的关系。用语义网规则语言SWRL,定义发生问题和冲突的解决方案,表达排课表问题所要求的约束条件。这样就用本体的方式表达了问题的知识域和规则域,为推理做好了准备。接着,在进行推理前,采用RACER推理机对排课本体进行重新分类和冲突检验,确保在推理时事实之间没有矛盾的情形。最后,使用Jess推理机连接领域本体和推理引擎,将本体论中的实例转为推论引擎中的事实作为推论基础,进行推理。在论文中,作者使用Protege作为建立排课本体的工具,将上述过程进行了演示。证明了用本体的方法解决排课表等多约束问题的可行性,达到了知识的共享和再利用,使得依据本体方法构建的排课表系统,能够得以更好的维护和使用。