利用省略三段论弥合逻辑论证与抽象论证框架修正之间的鸿沟

在本文中，我们展示了一项初步工作，旨在弥合基于逻辑的论证与众多处理抽象论证框架动态性的方法之间的鸿沟。我们的思想是，即使论据和攻击是通过逻辑信念库定义的，关于论据内容的准确性仍可能存在某些不确定性，从而关于涉及它的攻击的存在（或缺失）也存在不确定性。我们使用省略三段论来阐释论据和攻击的这种不确定性概念。事实上，如文献中所论证，真实论据通常是省略三段论而非完全指定的演绎论据。这意味着（支持，主张）对中的某些部分可能缺失，因为它们被认为属于某种“常识”，从而应由接收到该省略三段论的智能体推导出来。但智能体对常识的感知可能是错误的，因此第一个智能体可能陈述一个其对手无法准确解码的省略三段论。智能体对该省略三段论的解码很可能导致这一新论据与已有论据之间的错误攻击。在此情况下，该智能体可能接收到一些关于攻击或论据接受状态、且与其论证框架不一致的信息。我们举例说明了利用现有抽象论证框架动态性研究来整合这一新信息的方法。