1. 首页
  2. 课程学习
  3. 专业指导
  4. 人工智能第四章推理技术

人工智能第四章推理技术

上传者: 2019-07-10 07:31:51上传 PPT文件 9.8MB 热度 25次
谓词公式的永真性和可满足性置换与合一谓词公式与子句集消解推理规则消解反演求解过程规则正向演绎系统规则逆向演绎系统产生式系统不确定性推理非单调推理
用户评论