定量双极论证框架的聚合语义

arXiv:2603.06067v1 公告类型：新 摘要：形式论证在人工智能中越来越多地使用，作为一种有效且易于理解的方式来对潜在冲突的信息（称为参数）进行建模，并根据所选语义识别所谓的可接受的参数。本文讨论了定量双极论证框架（QBAF）的具体背景，其中论证具有内在的权重，可以相互攻击或支持。在这种情况下，我们引入了一个新颖的渐进语义家族，称为聚合语义。为了处理攻击者和支持者不扮演对称角色的情况，并且与模块化语义相反，我们建议分别聚合攻击者和支持者。这导致了三阶段计算，其中包括计算攻击者的全局权重和支持者的全局权重，然后将这两个值与论点的内在权重聚合。我们讨论了三个聚合函数根据上下文应满足的属性，以及它们与渐进语义的经典原理的关系。这个讨论得到了各种简单示例的支持，以及最后一个示例，在该示例上测试和比较了 500 个聚合语义，说明了聚合语义可能的行为范围。将计算分解为三个不同且可解释的步骤会导致更可参数化的计算：它使双极性比文献中所做的更进一步，并且导致更容易理解的渐进语义。