第三章推理技术 31经典推理和非经典推理 32非单调推理 3.3时序推理 3.4不确定性推理 3.5概率推理 36主观 Bayes方法 3.7可信度方法
第三章 推理技术 3.1 经典推理和非经典推理 3.2 非单调推理 3.3 时序推理 3.4 不确定性推理 3.5 概率推理 3.6 主观Bayes方法 3.7 可信度方法
3.1经典推理和非经典推理 数学中的逻辑:研究逻辑理论,作为发展数学的基础 人工智能中的逻辑:模拟思维的工具,模拟智能的手段,用于研究和应用
2021/12/14 2 3.1 经典推理和非经典推理 ◼ 数学中的逻辑 ：研究逻辑理论，作为发展数学的基础。 ◼ 人工智能中的逻辑：模拟思维的工具，模拟智能的手段，用于研究和应用
3.1经典推理和非经典推理 经典逻辑 非经典逻辑 推理方法演绎逻辑推理 归纳逻辑推理 辖域取值二值逻辑(真、假)多值逻辑 运算法则数理逻辑法则 特殊法则 逻辑算符∧∨~→≡彐模态算符 单调性单调的 非单调的 2021/12/14
3.1 经典推理和非经典推理 经 典 逻 辑 非经典逻辑 推理方法 演绎逻辑推理 归纳逻辑推理 辖域取值 二值逻辑(真、假) 多值逻辑 运算法则 数理逻辑法则 特殊法则 逻辑算符 ∧ ∨ ～ ≣ 模态算符 单调性 单调的 非单调的 2021/12/14 3
3.2非单调推理 非单调推理用来处理那些不适合用谓词逻辑表示的知识。 它能够较好地处理不完全信息、不断变化的情况以及求解复杂问题 过程中生成的假设,具有较为有效的求解效率
2021/12/14 4 3.2 非单调推理 非单调推理用来处理那些不适合用谓词逻辑表示的知识。 它能够较好地处理不完全信息、不断变化的情况以及求解复杂问题 过程中生成的假设，具有较为有效的求解效率
32非单调推理 第三十五回梁山泊吴用举戴宗揭阳岭宋江逢李俊 第三十六回没遮拦追赶及时雨船火儿夜闹浔阳江 ■宋江刺配江州,揭阳岭遇到薛永卖艺,无人赏钱,宋江赏白银五两。以为 可以得到路人支持。↑ ■穆弘、穆春横加阻拦,宋江无处吃饭。↓ 晚上终于找到投宿处。宽慰。↑ ■投宿处正是穆弘、穆春家。差点丧命。 逃出穆家,奔向芦苇丛,看到希望。↑ ■前有大江、后有穆弘、穆春追赶。走投无路。↓ 芦苇中忽然摇出一只船来,把他们带到江心。↑ ■是要‘板刀面’,却是要‘馄饨’?祸不单行! ■江中一条快船赶到,李俊,童威,童猛救了宋江。↑ 2021/12/14
2021/12/14 5 3.2 非单调推理 ◼ 第三十五回 梁山泊吴用举戴宗 揭阳岭宋江逢李俊 第三十六回 没遮拦追赶及时雨 船火儿夜闹浔阳江 ◼ 宋江刺配江州，揭阳岭遇到薛永卖艺，无人赏钱，宋江赏白银五两。以为 可以得到路人支持。↑ ◼ 穆弘、穆春横加阻拦，宋江无处吃饭。 ↓ ◼ 晚上终于找到投宿处。宽慰。 ↑ ◼ 投宿处正是穆弘、穆春家。差点丧命。 ↓ ◼ 逃出穆家，奔向芦苇丛，看到希望。 ↑ ◼ 前有大江、后有穆弘、穆春追赶。走投无路。↓ ◼ 芦苇中忽然摇出一 只船来 ，把他们带到江心。 ↑ ◼ 是要‘板 刀面’，却是要‘馄饨’ ？祸不单行！↓ ◼ 江中一条快船赶到，李俊，童威，童猛救了宋江。↑