《人工智能》命题逻辑chapter7:前向链接(推理)&&反向链接(推理)

前向链接(推理)是数据驱动推理

反向链接(推理)是目标导向推理

《人工智能》命题逻辑chapter7:前向链接(推理)&&反向链接(推理)_第1张图片

Forward Chaining

可靠的Sound

完备的Complete

运行时间是线性的

从“已知的”叶子结点开始查询:

《人工智能》命题逻辑chapter7:前向链接(推理)&&反向链接(推理)_第2张图片

前向链接推理过程:

《人工智能》命题逻辑chapter7:前向链接(推理)&&反向链接(推理)_第3张图片

《人工智能》命题逻辑chapter7:前向链接(推理)&&反向链接(推理)_第4张图片

《人工智能》命题逻辑chapter7:前向链接(推理)&&反向链接(推理)_第5张图片

《人工智能》命题逻辑chapter7:前向链接(推理)&&反向链接(推理)_第6张图片

《人工智能》命题逻辑chapter7:前向链接(推理)&&反向链接(推理)_第7张图片 《人工智能》命题逻辑chapter7:前向链接(推理)&&反向链接(推理)_第8张图片

《人工智能》命题逻辑chapter7:前向链接(推理)&&反向链接(推理)_第9张图片

《人工智能》命题逻辑chapter7:前向链接(推理)&&反向链接(推理)_第10张图片

后向链接推理过程:

《人工智能》命题逻辑chapter7:前向链接(推理)&&反向链接(推理)_第11张图片

你可能感兴趣的:(人工智能:一种现代化的方法,人工智能)