人工智能
第2章确定性推理
;人工智能
第2章确定性推理
2.1确定性推理与不确定推理
;确定性推理的基本内容;人工智能
第2章确定性推理
2.2谓词逻辑推理方法;一阶谓词逻辑表示法
谓词逻辑推理方法求解问题的一般步骤
谓词逻辑推理方法的应用举例;一阶谓词逻辑表示法;一阶谓词逻辑表示法;连接词有:;量词有:;可按下面的规则得到谓词公式:;11;
案例分析系列
谓词逻辑推理方法之机器人搬弄盒子问题
;用谓词逻辑推理方法进行问题求解—案例;用谓词逻辑推理方法进行问题求解—案例;用谓词逻辑推理方法进行问题求解—案例;
原创力文档

文档评论(0)