基于抽象论证的个案推理中的单调性与噪声容忍（附附录）

近来，基于抽象论证的个案推理模型（简称 $AA{\text -} CBR$）被提出，其最初受法律领域启发，但也可作为分类器应用于不同场景。然而，$AA{\text -} CBR$ 作为一种推理系统的形式化性质在很大程度上仍未被探索。本文中，我们着重分析常规版本 $AA{\text -} CBR$（称之为 $AA{\text -} CBR_{\succeq}$）的非单调性性质。具体而言，我们证明 $AA{\text -} CBR_{\succeq}$ 不是谨慎单调的，该性质在文献中常被认为 desirable。随后我们定义 $AA{\text -} CBR_{\succeq}$ 的一个变体，它是谨慎单调的。进一步，我们证明该变体等价于在由原始案例库中所有“令人惊讶”和“充分”案例构成的受限案例库上使用 $AA{\text -} CBR_{\succeq}$。作为副产品，我们证明该 $AA{\text -} CBR_{\succeq}$ 变体是累积的、理性单调的，并实现对“不一致”案例库中噪声的原则性处理。最后，我们在美国商业秘密领域（一个法律案例库）的案例研究上阐释 $AA{\text -} CBR$ 与谨慎单调性问题。