新工科背景下知识工程公共课程教学改革

分析知识工程课程教学现状,针对计算机专业研究生尤其是选修知识工程公共课程的非计算机研究生存在学习困难的问题,提出以培养能综合应用人工智能的高层次人才为目标设计课程,并采取线上教学与案例驱动的教学模式,介绍知识工程公共课在线教学体系建设,最后说明实际教学中的改革效果.     

一种基于符号变换的描述逻辑ALC超协调推理算法

语义万维网作为一个开放、不断更新而且相互协作的环境,经常会包含一些不协调的或不精确的信息。众所周知,描述逻辑是语义万维网重要的逻辑基础,然而描述逻辑缺乏处理不协调或不完全信息的能力。近来一些超协调方案通过限制或阻止使用一些推理规则来避免推理的平凡化,从而容忍本体中出现的不协调。因为这些方法限制了描述逻辑系统的推理能力,所以推理能力弱于经典的描述逻辑推理能力,即使在处理协调的本体时。提出一种基于符号变换的具有强推理能力的超协调推理算法。证明了该算法是可判定的,而且在处理协调的本体时该推理系统与经典逻辑系统具有相等的推理能力。