动态抽象论辩系统基语义的单调性及其判定规则

论辩系统是一种含层次结构的非单调形式体系。当底层的知识或信息发生变化时,上层的论辩框架及其语义也随之演化,这就是论辩系统的动态性。如何阐明及高效处理这种动态性是论辩理论研究领域的一个开放性问题。本文以一种简单的论辩语义(基语义)为起点,研究论辩系统动态性的一个重要方面:论辩语义的单调性问题。文章给出了基语义单调性的定义,实现基语义单调性的条件,以及判定基语义单调性的规则。

抽象论辩系统的动态性分析

抽象论辩系统是一种非单调推理系统,它随底层的知识或信息的变化而变化,这就是抽象论辩系统的动态性。如何刻画这种动态性是论辩理论研究领域的一个关键问题。抽象论辩系统的动态变化包括语法变化和语义变化,抽象论辩系统动态性研究着重研究这二者之间的影响关系。文章总结了目前抽象论辩系统动态性研究的方向,包括动态语义求解的方法以及抽象论辩系统的修正;分析了抽象理论动态性研究的价值和意义;探讨了抽象论辩系统动态性研究的基本原理和研究方法。

关于强制外延的抽象论辩系统修正规则

关于强制外延的抽象论辩系统修正是指对抽象论辩框架本身进行修正,以使得某一论证集合成为其外延。本文借助外延的结构特征以及外延与抽象论辩框架的论证集合、论证子集和各论证之间的关系,在可相容语义、完全语义、稳定语义、优先语义和基语义下进行了分析,提出了满足强制外延的框架扩展规则和限制规则。