人工智能课件,基于谓词逻辑的机器推理 ,适合本科计算机科学与技术专业