第03章_3_非单调推理.ppt

;主要内容;前言;真实世界充斥了不完全信息和不断变化的状况，在解决复杂问题的过程中，要求不断应用并不保证正确的假设 假设可作为推理的依据，但在推理过程中，随着新事物的出现，可能到头来会发现原先所作的假设不正确，应予删除，从而造成推理的非单调性 因此，新知识（事实）的加入会引起已有知识（假设以及基于假设的推理结果）的删除。 ;单调推理 新证据的出现，不会证明原有结论错误，结论单调增加 非单调推理 新证据会否定原来推出的结论，结论可能会减少 非单调推理，更符合现实，符合人类的认识规律;非单调推理的使用场合;;目录;1. 缺省理论;定义3：若不能在某个给定的时间期限内证明x为假，则有结论y。 这三个定义汇总起来意指：若无x为假的证据，就认为y是真。 ;例子;1.1 缺省规则的形式;含义：如果先决条件A(x)成立，且没有证据证明Bi(x)为假，则结论C(x)成立 推理思想：非假即真；不是假的就认为是真的;;1.2 分类;规范缺省;半规范缺省;例子;主要内容;2. 界限理论;界限理论不考虑大量不确定的限制因素或条件 这些限制条件如果不能证明是真的，那就是假的，不需考虑 界限理论的思想 不是真的（已知的），就认为是假的 只有存在的，才是真的；不知道的，都认为是假的;界限理论的表示方法;再添加两条规则：;主要内容; 3. 正确性维持系统; TMS的原理;;支持表: (SL(IN 节点表)(OUT 节点表)) 只有当“IN节点表”中所有节点的当前状态为IN, 且“OUT节点表”中所有节点的当前状态为OUT，它所证实的节点是IN状态，有效 IN表和OUT表均为空的节点为原始证据节点，所证实的节点是IN;条件证明: (CP(结论)(IN假设)(OUT假设)) 只有当“IN假设”中所有节点的当前状态为IN, 且“OUT假设”中所有节点的当前状态为OUT，结论节点为IN状态，这时条件证实有效;例子;节点2的含义是： 如果现在是冬天(对应IN表中含有节点1) 且没有天气是温暖的证据(对应OUT表中含有节点3) 则可以得出结论“天气是寒冷的”;当推理程序得到了新证据，而且这个新证据与某个节点发生矛盾时，程序就会自动产生一个矛盾节点：矛盾 SL((…)(…)), 且状态置为IN, 然后调用TMS;TMS的工作过程;;例子--会议??排问题;推理程序在它处发现9点钟813房间已被其它事务占用，于是生成节点5 节点5　矛盾　　(SL(1,3)()) IN TMS的工作过程： 首先找出节点5的基础节点1,3,　所以将节点1的状态改为OUT 相应的，节点1的支持表(SL()(2))中，节点2的状态为IN 节点5的状态为OUT，矛盾消除;处理后，各节点的状态如下：;;TMS的工作过程;;例　子;;;;;TMS的工作过程;小结