半结构化概率论辩

陈琛 董惠敏 廖备水

1 引言

上个世纪90年代以来，随着抽象论辩框架及其语义理论的提出（[6]）,形式化论辩作为一种新的非单调推理形式，成为人工智能和逻辑学领域的一个研究热点（[22]）。经过二十多年的发展，有关抽象论辩的理论与算法研究（如计算复杂性分析、动态性等方面）已较为成熟（[1,14,15]）。然而，这些理论和算法在实际应用中仍存在局限性，其中一个重要原因在于：未对论证的不确定性进行度量，论证要么存在、要么不存在；同时，论证的状态只有“可接受”、“被拒绝”和“未确定”三种，缺少对中间状态的量化表示。然而，在法律推理、医学推理、多主体协商及说服等实际应用场景中，论证是否存在或可接受并不是完全确定的。在形式化论辩理论里，若缺乏对这类不确定性的适当定量研究，则难以精确地建模各种现实应用中的推理。概率作为一种处理不确定性的经典方法，可以对论证的不确定性加以量化（[11]）。例如，在医学推理中，可能性较小的论证在某些场景下却更为可接受。医生可能会在诊断书上先写道“根据症状，病人应该是受凉了”，随后又写道，“但是考虑到季节，也有比较小的可能性，病人是得了流感”。在这里，后一个论点攻击了前一个论点，即便后者的可能性较小。对这一场景的各方论证，需借助概率作精准的量化表达，显式化元层面信息，并在此基础上进行不确定性推理。于是，在一个论辩框架中针对论证和/或攻击关系新增概率指派，这样的框架被称为概率论辩框架。……