抽象论证中的半实例化理论

我们研究形如 $(S,R,I)$ 的实例化抽象论证框架，其中 $(S,R)$ 是一个抽象论证框架，且 $S$ 的论证 $x$ 由 $I(x)$ 实例化为某知名逻辑中的合式公式，例如布尔公式、谓词逻辑公式或模态逻辑公式。我们使用概念分析的方法推导所提出系统的性质。我们试图定义此类系统的完全扩展概念，并提供寻找此类扩展的算法。我们进一步利用布尔攻击构造以及合取与析取攻击的框架，发展抽象的实例化理论。我们讨论了应用并与现有相关文献进行了批判性比较。