一种渐进式论辩语义的论证博弈模型

在可计算论辩模型中,论辩语义的证明理论解决如何判定给定论辩语义中某个论证的证成状态的问题,这通常需要建构与之对应的论证博弈模型。论证博弈发生在正方和反方的论证交互过程中,正反双方都是通过给出攻击论证来质疑对方的论证和辩护己方的论证,正方只有在论证博弈中获胜才能使其初始论证获得确定的证成状态。文中定义了一种被称为BRD-论辩语义的渐进式论辩语义,不同于Dung的抽象论辩语义,它是在结构化论辩框架ASPIC+中嵌入了一种用于计算论证的强度和证成度的循环语义。为了给出该语义的证明理论,建构了与之对应的论证博弈模型。

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

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

论辩理论及其应用

在认知科学的背景下,论辩研究已经成为了逻辑学、语言学、计算机和人工智能等共同关注的问题。然而不同学科在这一课题上却未能实现有效的交叉研究。本文立足于人工智能领域的论辩理论,对依据新论辩术理论所选择的最接近理想模型的辩论赛实例进行分析,以期为逻辑学与人工智能在论辩领域的交叉研究打下基础。

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

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

包含演绎支持关系和必要支持关系的论辩框架

对于包含支持关系的论辩框架,已有研究中存在对攻击的定义繁琐、外延求解复杂等问题。该文用演绎支持关系和必要支持关系来扩展抽象论辩框架,并采用一种基于强度的方法来定义该框架中的攻击关系,在此基础上提出一种更简洁且更有表达力的基于外延的语义。该文将一种基于等式的方法运用于这种论辩框架,为其提供一种基于标记的语义。最后,该文证明在这种论辩框架下,基于等式的方法和基于外延的语义之间存在对应关系。

模糊论辩框架的数学表示

随着形式论辩理论的快速发展,论辩框架已经逐渐成为人工智能领域的一个重要分支.近年来,为了刻画自然语言中的不确定性,不确定性理论开始广泛应用于论辩框架,进而产生了各种不确定性论辩框架.模糊论辩框架便是其中的一个重要分支.本文通过梳理相关的研究,基于模糊集理论提出了模糊论辩框架的两种数学表示形式;对具有有限个论证的模糊论辩框架,提出了模糊有向图和矩阵的数学表示方法.这些工作为模糊论辩框架的深入研究奠定了一定的数学基础.