该研究提出了一种基于实例的推理方法,通过ABA和BAF之间的翻译降低计算成本。实证评估表明,该方法在多种情况下优于传统方法。此外,研究探讨了基于假设的论证、逻辑编程与抽象论证框架的结合,提出了新的推理原则和结构化论证形式ABA+,展现了理想特性。
完成下面两步后,将自动完成登录并继续当前操作。