人工智能-非单调推理.pptVIP

非单调推理 陈志华 主要内容 1. 缺省理论 2. 界限理论 3. 正确性维持理论 前言 单调推理 加进系统的新知识（信念）必须与已有的知识（信念）相一致，不会引起矛盾。 随着运行时间的推移，系统内含的结论有增无减 传统的逻辑系统实际上做的是单调推理 真实世界充斥了不完全信息和不断变化的状况，在解决复杂问题的过程中，要求不断应用并不保证正确的假设 假设可作为推理的依据，但在推理过程中，随着新事物的出现，可能到头来会发现原先所作的假设不正确，应予删除，从而造成推理的非单调性 因此，新知识（事实）的加入会引起已有知识（假设以及基于假设的推理结果）的删除。 单调推理 新证据的出现，不会证明原有结论错误，结论单调增加 非单调推理 新证据会否定原来推出的结论，结论可能会减少 非单调推理，更符合现实，符合人类的认识规律 非单调推理的使用场合 （1）不完全信息的出现要求缺省推理 （2）世界是不断变化的，即使能获得关于问题求解的全部知识，也不能持久。解决的办法是取消那些已经变得不精确的知识，而代之以另一些更精确的知识。 （3）产生一个问题的完全解答或许要求关于部分解答的暂时性假设。这些假设可能不正确，需要在以后发现时加以修改或删除，从而形成非单调推理。 现在观察一个为三个忙人安排会议时间的问题求解任务。 先假设会议在某个具体日期举行，比如星期三，并将此假设作为部分解答存储于知识库 然后