结合可废止论证与标号演绎的框架

近年来，对各种逻辑系统的需求日益增长，这主要是由逻辑在人工智能及其他相关领域的应用所推动的。标号演绎系统被开发为一种形式化此类复杂逻辑系统的灵活方法论。可废止论证已被证明是形式化常识推理的成功方法，涵盖了可废止推理的许多其他替代形式主义。基于论证的框架共享一些通用概念（如论证、击败者等），以及一些使其难以从逻辑观点相互比较的特定特征。本文介绍了 LDSar，一种用于可废止论证的标号演绎系统，其中有关可废止论证的许多重要问题都在统一的逻辑框架内被捕获。我们还讨论了从所提出的框架中产生的一些逻辑性质和扩展。