试题详情
简答题单调推理有何局限性？什么叫缺省推理？非单调推理系统如何证实一个节点的有效性？
  • 单调系统不能很好地处理常常出现在现实问题领域中的3类情况，即不完全的信息、不断变化的情况、以及求解复杂问题过程中生成的假设有两种方法可以证实节点的有效性：
    （1）支持表。
    （SL（IN-节点表）（OUT-节点表））
    如果某节点的IN节点表中提到的节点当前都是IN，且OUT节点表中提到的节点当前都是OUT，则它是有效的（2）条件证明。
    （CP（结论）（IN-假设）（OUT-假设））
    条件证明（CP）的证实表示有前提的论点，无论何时，只要在IN假设中的节点为IN，OUT假设中的节点为OUT，则结论节点往往为IN，于是条件证明的证实有效。

  • 关注下方微信公众号，在线模考后查看

热门试题