申请试用
HOT
登录
注册
 
AI:问题归约、演绎推理

AI:问题归约、演绎推理

有只羊
/
发布于
/
2386
人观看
问题归约是指先把问题分解为子问题和子-子问题,然后解决较小的问题的求解方法。本节首先介绍了问题归约的组成部分和实质,并用经典递归问题:梵塔(汉诺塔)问题进行举例说明。其次介绍了用与或图表示归约问题。随后介绍了关系代数的基本内容从而介绍归结演绎推理,包括谓词、合适公式以及基本定理的介绍并举例说明。
3 点赞
3 收藏
5下载
相关文档
确认
3秒后跳转登录页面
去登陆