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

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

模糊论辩框架的数学表示

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

基于“论辩充分性”标准的论辩框架研究——以“刻意隐喻”论辩为例

文章基于“论辩充分性”标准,提取出了一套论辩评估框架。该框架分为两部分:一是“标准反对意见”评估框架,旨在评估论辩者是否在众多的反对意见中找出了“标准反对意见”;二是“优秀论辩”的评估框架,旨在评估论辩者是否适当地回应了已找出的“标准反对意见”。以上两个框架对于论辩的分析和评估具有一定的参考意义。

模糊论辩框架哥德尔语义的数值特征

模糊论辩框架的哥德尔语义体系涵盖几种基本的外延语义,却未对各外延语义的性质展开进一步研究。这为该语义系统的计算和快速识别带来一定的困难。文章通过对各外延语义的数值特征的深入研究,为上述问题提供一定的解决方案。借助于哥德尔三角模的基本性质,逐一推导哥德尔语义体系中无冲突集、可容许外延、完全外延、优选外延(稳定外延)和基外延的数值特征,并在无圈、奇数圈和偶数圈的模糊辩论框架中分别给出基外延的算法。这些结论是对该语义体系的理论推广;同时,绕过定义直接依据数值判定外延语义的方法,以及从空集计算基外延的算法,是对该语义体系在算法和快速识别方面的发展。

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

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

论辩理论及其应用

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

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

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

非单调推理与论辩系统

由于仅以一阶逻辑无法刻画出人类推理过程中的非单调性,因而逻辑学家尝试建立新的逻辑系统来解决这一问题。这些系统被称为非单调逻辑。它们传统上一般采用的是优先蕴含或者一致性和不可证明性方法;而从20世纪80年代末90年代初开始,越来越多的逻辑学家开始尝试基于一种新的方法实现推理的非单调性,称为论辩理论。为此,探讨论辩系统以及其后基于论辩系统而提出的论辩框架是如何刻画非单调推理的,并分析它们相互之间的联系。

作为过程的论证和作为结果的论证

推理在我们的生活和工作中不可或缺。日常推理最大的特点在于它的非单调性。当今良好发展的经典单调逻辑仍无法有效处理非单调性日常类推,而抽象论辩理论则是对各种非单调推理进行形式化研究最有力的理论之一。用来证明各种论辩语义的争议树很好地结合了抽象的论辩框架与具体的推理过程,是研究自然语言论辩推理的有力工具。目前大多数的争议树证明都从论证作为过程的角度出发,对实时的论辩推理具有十分现实的指导意义,但仍存在一些问题。而从论证作为结果的新角度出发,我们给出了优先语义和基语义下的争议树证明理论。

集体论辩及其研究进展

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