诺丁汉大学计算机专业的Knowledge Presentation and Reasoning课程进度是怎么安排的？

　　诺丁汉大学Knowledge Presentation and Reasoning主要研究了如何用符号表示知识，以及这些知识如何通过推理程序以自动化的方式进行操作。这门课涵盖的主题包括：一阶逻辑、描述逻辑、默认推理、规则系统、信念网络等。

　　具体的课程安排如下：

　　1、一阶逻辑(3讲)

　　2、表达知识

　　3、解析(4讲)

　　4、Horn子句，反向链接，正向链接

　　5、生产系统中的规则

　　6、如何建立一个知识系统

　　7、描述逻辑

　　8、默认/非单调推理

　　9、不确定性/贝叶斯网络

　　Knowledge Presentation and Reasoning第一节课是对整体课程的概述，内容不是特别深入。同学如果有没理解的地方，可以联系我们，我们的课程辅导老师会讲解得更加细致，相信同学很快就能掌握第一节课的全部内容。同学要是想预习，可以参考上述课程安排调整自己的学习进度，我们也可以提供相应的帮助，这样在后续学习的时候就会更加游刃有余啦。