首页学历类考试大学计算机科学
(简答题)

单调推理有何局限性?什么叫缺省推理?非单调推理系统如何证实一个节点的有效性?

正确答案

单调系统不能很好地处理常常出现在现实问题领域中的3类情况,即不完全的信息、不断变化的情况、以及求解复杂问题过程中生成的假设有两种方法可以证实节点的有效性:
(1)支持表。
(SL(IN-节点表)(OUT-节点表))
如果某节点的IN节点表中提到的节点当前都是IN,且OUT节点表中提到的节点当前都是OUT,则它是有效的(2)条件证明。
(CP(结论)(IN-假设)(OUT-假设))
条件证明(CP)的证实表示有前提的论点,无论何时,只要在IN假设中的节点为IN,OUT假设中的节点为OUT,则结论节点往往为IN,于是条件证明的证实有效。

答案解析

相似试题

  • (简答题)

    在什么情况下需要采用不确定推理或非单调推理?

    答案解析

  • (简答题)

    研究不确定性推理有何意义?有哪几种不确定性?

    答案解析

  • (简答题)

    什么是模糊推理?有哪几种模糊推理方法?

    答案解析

  • (简答题)

    演绎推理与归纳推理的区别?

    答案解析

  • (简答题)

    不确定性推理与通常的确定性推理有哪些差别?

    答案解析

  • (填空题)

    产生式系统有三部分组成综合数据库,知识库和推理机。其中推理可分为()和反向推理。

    答案解析

  • (填空题)

    产生式系统有三部分组成(),()和推理机。其中推理可分为()和()

    答案解析

  • (简答题)

    产生式系统中,推理机的推理方式有哪几种?在产生式推理过程中,如果发生策略冲突,如何解决?

    答案解析

  • (判断题)

    当创建草图时,有两种推理线帮助更有效的工作。褐色推理线表示一个参考关系被自动添加。而蓝色推理线表示没有参考关系被添加。

    答案解析

快考试在线搜题