本文研究了抽象论证中的排名方法，提出了一种基于接受可行性的扩展排名语义框架，通过推广Dung的扩展语义，引入新的预序关系，为论证推理提供理论基础。

本文提出了一种新方法，通过已知算法高效解决抽象论证中的计算问题。研究了可扩展的论证碎片及其拓扑结构，提出了基于动态规划的新算法，并分析了其复杂度。同时，介绍了扩展论证决策图（$xADG$），增强了论证图的可理解性和预测能力。

本文提出了一种新方法，利用受限碎片的算法解决抽象论证中的计算问题，逐步扩展可处理的碎片。研究了不同语义下的算法结果，构建了带偏好的论证框架，并比较了DeLP与ASPIC+的中心概念，探讨了可接受性语义及其计算复杂性。此外，提出了新的防御语义和基于权重的渐进语义，揭示了现有语义的推广。

本文提出了一种新方法，解决抽象论证中的计算问题，利用现有算法处理不同距离的碎片。研究探讨了抽象辩论框架与逻辑程序之间的关系，提出了新的求解方法和算法，并验证了偏好的计算复杂性，提供了实验结果和源代码。