(0人评价)
基于谓词逻辑的机器推理
价格 ¥ 39.00
课程还未发布,不允许加入和购买
课程介绍

机器推理:推理是人脑的一个基本功能和重要功能,几乎所有的人工智能领域都与推理有关。因此,要实现人工智能,就必须将推理的功能赋予机器,实现机器推理,机器推理也称为是计算机推理,或自动推理,它也是人工智能的核心课题之一。

讲述了自动定理证明,自动定理证明的基本方法,基于归结原理的自动定理证明过程等等,专家详细讲述

授课教师

课程特色

视频(2)

学员动态

user53obgt 加入学习
userna8zlw 加入学习
usero7qpv3 加入学习
userhtr3tl 加入学习
usermqwu14 加入学习