DiArg-基于争论的对话推理器 DiArg是一个用于基于争论的对话推理的Java库（）。 DiArg的重点是论证框架序列的管理。在对话期间，将参数和攻击迭代地添加到参数框架，并且在每次迭代之后（即，在添加了一组参数和攻击关系之后）解析该框架。对于此类对话，DiArg提供了面向对象的抽象（初始论证框架及其添加项在论证序列对象中进行管理）以及以下功能： 扩展管理。 DiArg可以强制（如果需要）相对于其前任而言，论证序列中的每个论证框架都是扩展（仅对先前框架进行添加）或常规扩展（仅对参数进行添加，