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

摘要

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