diarg:基于参数的对话推理器

DiArg-基于争论的对话推理器 DiArg是一个用于基于争论的对话推理的Java库（）。 DiArg的重点是论证框架序列的管理。在对话期间，将参数和攻击迭代地添加到参数框架，并且在每次迭代之后（即，在添加了一组参数和攻击关系之后）解析该框架。对于此类对话，DiArg提供了面向对象的抽象（初始论证框架及其添加项在论证序列对象中进行管理）以及以下功能： 扩展管理。 DiArg可以强制（如果需要）相对于其前任而言，论证序列中的每个论证框架都是扩展（仅对先前框架进行添加）或常规扩展（仅对参数进行添加，而对之间的攻击关系不进行添加）现有参数）。 强制执行一致（与参考无关）的结论。 DiArg可以强制执行在不同迭代步骤中得出的结论的参考独立性。即，当通常扩展论证框架时，仅当任何新论据现在被视为有效结论时，才可以放弃先前被视为有效结论的论据。类似地，DiArg可以在迭代之间强制执行谨慎的单调。 上下文