论辩系统是一种可以在不一致的情境中进行非单调推理的形式体系。其基本思想是把推理进行分层,底层处理知识的表示、论证的构造、论证之间攻击关系的识别等,这一部分属于结构化论辩的研究内容;上层负责对论证之间冲突关系的处理,确定可接受的论证集合,获得理性主体可接受的结论,这一部分属于抽象论辩的研究范围。抽象论辩系统将论辩系统上层的推理视为一个独立的系统,主要研究抽象论辩框架及其语义描述。论证以及论证之间的攻击关系构成抽象论辩框架。在特定评价标准下得到的一组或几组可接受的论证集合是抽象论辩框架的语义。由于主体的资源和环境等不断变化,主体的推理知识和观察信息也相应不断变化。在抽象论辩系统中表现为论证及其攻击关系的动态变化。抽象论辩框架改变后,其语义也随之演化,这就是抽象论辩系统的动态性。抽象论辩框架的变化和论辩语义的变化存在一定的关系:如果抽象论辩框架发生变化,那么其语义相应也发生变化;如果主体期望获得某一语义结论,那么根据该结论的要求,可改变原论辩框架的结构。二者的相互关系形成了抽象论辩系统动态性的两个主要研究方向:动态论辩语义求解(如何依据论辩框架的变化来求解语义)和抽象论辩系统修正(如何依据论辩语义的变化来修正论辩框架)。本文研究抽象论辩系统的修正,主要讨论了两个方面的内容:语义单调性的判定规则和强制外延的抽象论辩系统修正规则。另外,简单讨论了语义扩展的判定规则。语义扩展和语义单调性的判定规则通过两个步骤实现。首先判断抽象论辩框架的更新满足它们的条件。研究方法是从局部到整体:从添加(删除)论证的状态以及其直接后继论证的状态,判断整个抽象论辩系统的语义变化是否符合上述语义变化特征。然后根据这些条件,得到语义扩展和语义单调性的判定规则。这种分步的方法充分利用了论辩语义的方向性,有效地通过局部论辩语义的变化推断出整个论辩框架的语义变化情况。关于强制外延的系统修正规则,本文从相对的角度来描述它们,借助外延的结构特征以及外延与抽象论辩框架的论证集合、论证子集和各论证之间的关系,提出强制外延的系统限制和系统扩展的规则。本文更系统、更完善地分析了抽象论辩系统动态性,与之前的研究相比更加全面。以往的文献没有考虑添加或者删除的论证对抽象论辩框架中其他论证状态的影响,尤其在删除论证的情况下,删除的论证的状态对语义变化的作用是很大的,且作为已知条件,将其纳入考虑范围能够得出更全面的结果。另外本文关于强制外延的修正规则的研究是一项新的工作。在以往对于论辩系统的修正规则的研究中,多考虑抽象论辩框架添加或者删除单个论证及关系的修正规则,或受限于抽象论辩框架的扩张方式(强扩张或者弱扩张)。本文的研究突破了这些限制,另外研究涉及多个语义,包括可相容语义、完全语义、稳定语义、优先语义和基语义,就涵盖的语义范围来讲,所得出的结论是完整的一般的结论。论辩系统的修正的基本思想借鉴了信念修正的概念,体现了抽象论辩系统变化的主动性。关于抽象论辩系统修正规则的研究可以简化新信息出现时,对新的论辩框架中的论证状态进行评估时的复杂性,在论辩策略设计中也能降低策略选择的难度。该理论在抽象论辩系统的动态语义求解、基于论辩的信念修正、多主体系统中的策略性论辩等方面有着广阔的应用前景。