将高阶论证框架编码为命题逻辑系统

本文通过引入一个新的框架（HAFS）来解决现有高阶论证框架（HAF）的局限性，该框架允许更灵活的交互（攻击和支持），并定义了一套语义，包括三值和模糊语义。核心贡献是一种将HAFS转换为命题逻辑系统的标准编码方法，从而能够使用轻量级求解器和统一处理不确定性。这很重要，因为它弥合了复杂的论证框架与更容易获得的计算工具之间的差距。

• •引入了一个具有更灵活交互能力的新型高阶论证框架（HAFS）。
• •为HAFS定义了一套语义，包括三值和模糊语义。
• •开发了一种将HAFS转换为命题逻辑系统的标准编码方法。
• •证明了HAFS与其编码的逻辑公式之间的模型等价性。
• •实现了与轻量级计算求解器的无缝集成以及对不确定性的统一处理。