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

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

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

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

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

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

基于可能性逻辑的结构化论辩理论P-ASPIC+

抽象论辩框架(AF)是定性分析非单调常识推理的经典理论,基于AF关注论证结构化研究的一类论辩理论ASPIC+无法显化处理论辩理论中的不确定、不完全知识。本文基于可能性逻辑,提出结构化论辩理论P-ASPIC+,该理论满足良性论证系统的合理性公设条件,可量化处理论证中的不确定性知识,拓展ASPIC+的定性推理能力,避免利用概率理论量化AF理论所导致的概率分布不一致、不完全,以及论证概率解释不清等问题。

基于迭代分解的特征化概率论辩语义求解方法

抽象概率论辩是用于建模不完备、不确定信息推理的一种重要逻辑工具。关于概率论辩语义的求解,现有的基于特征化子图的方法可以在很大程度上提高算法的计算效率,但在枚举特征子图时仍存在一定的盲目性。针对该问题,本文在现有方法的基础上提出了一种基于迭代分解的改进方法,通过对概率论辩框架进行迭代分解,减小了枚举域的大小,降低了计算量。实验结果表明,改进方法在计算速度上较原算法有所提高,提升幅度约为2个数量级。

集体论辩及其研究进展

集体论辩是形式论辩的一个热点研究方向,主要研究在主体之间没有交互的前提下,对多个主体的推理过程和结果如何进行合成,体现的是多个主体在推理知识、观察信息以及推理结果上达成的共识。采用形式论辩对多主体交互的建模是建立单一的论辩框架,而集体论辩需要为多个主体建立各自的论辩框架,再采用一定的方法获得集体可接受的推理结果。作为一个新的研究领域,有关集体论辩的概念、理论和方法还远未成熟。根据形式论辩的已有理论,可将集体论辩研究划分为两个主要方面,即基于抽象论辩框架的研究和基于扩展论辩框架的研究。