RENGONGZHINENG ..............\Prolog语言8.ppt ..............\第6章状态空间搜索与专家系统.ppt ..............\第一章绪论.ppt ..............\第三章知识与知识表示.ppt ..............\第二章 人工智能的数学基础.ppt ..............\第4章经典逻辑推理.ppt ..............\第5章不确定与非单调推理可信度方法.ppt ..............\第7章专家系统.ppt