人工智能6非单调推理.ppt

华东理工大学 nst China University of Science And Technology 非单调推理 陈志华 主要内容 缺省理论 ●2.界限理论 ●3.正确性维持理论 前 ●单调推理 加进系统的新知识(信念)必须 与已有的知识(信念)相一致, 不会引起矛盾 随着运行时间的推移,系统内含 的结论有增无减 ●传统的逻辑系统实际上做的是单调 推理 真实世界充斥了不完全信息和不断变化 的状况,在解决复杂问题的过程中,要 求不断应用并不保证正确的假设 ●假设可作为推理的依据,但在推理过程 中,随着新事物的出现,可能到头来会 发现原先所作的假设不正确,应予删除, 从而造成推理的非单调性 ●因此,新知识(事实)的加入会引起已 有知识(假设以及基于假设的推理结果) 的删除。 ●单调推理 新证据的出现,不会证明原有结 论错误,结论单调增加 非单调推理 新证据会否定原来推出的结论, 结论可能会减少 ●非单调推理,更符合现实,符合人 类的认识规律