抽象论辩系统修正规则研究

发布时间：2021-05-15 23:05

　　论辩系统是一种可以在不一致的情境中进行非单调推理的形式体系。其基本思想是把推理进行分层,底层处理知识的表示、论证的构造、论证之间攻击关系的识别等,这一部分属于结构化论辩的研究内容;上层负责对论证之间冲突关系的处理,确定可接受的论证集合,获得理性主体可接受的结论,这一部分属于抽象论辩的研究范围。抽象论辩系统将论辩系统上层的推理视为一个独立的系统,主要研究抽象论辩框架及其语义描述。论证以及论证之间的攻击关系构成抽象论辩框架。在特定评价标准下得到的一组或几组可接受的论证集合是抽象论辩框架的语义。由于主体的资源和环境等不断变化,主体的推理知识和观察信息也相应不断变化。在抽象论辩系统中表现为论证及其攻击关系的动态变化。抽象论辩框架改变后,其语义也随之演化,这就是抽象论辩系统的动态性。抽象论辩框架的变化和论辩语义的变化存在一定的关系:如果抽象论辩框架发生变化,那么其语义相应也发生变化;如果主体期望获得某一语义结论,那么根据该结论的要求,可改变原论辩框架的结构。二者的相互关系形成了抽象论辩系统动态性的两个主要研究方向:动态论辩语义求解（如何依据论辩框架的变化来求解语义）和抽象论辩系统修正（如何依据论... 

【文章来源】：浙江大学浙江省 211工程院校 985工程院校 教育部直属院校

【文章页数】：150 页

【学位级别】：博士

【文章目录】：
致谢
摘要
Abstract
1 引言
    1.1 抽象论辩系统及其动态性概述
        1.1.1 抽象论辩系统
        1.1.2 抽象论辩系统动态性
    1.2 抽象论辩系统动态性研究的主要内容
        1.2.1 动态论辩语义求解
        1.2.2 抽象论辩系统修正
    1.3 本文研究的问题及分析
        1.3.1 抽象论辩系统修正规则的实际意义
        1.3.2 抽象论辩系统修正规则的理论意义
    1.4 论文结构
2 背景知识
    2.1 抽象论辩框架和语义
        2.1.1 抽象论辩框架
        2.1.2 论辩语义
        2.1.3 论辩语义的性质
    2.2 抽象论辩系统的语义求解
        2.2.1 基于标记的语义算法
        2.2.2 基于划分的语义算法
    2.3 小结
3 抽象论辩系统动态性
    3.1 抽象论辩系统的动态变化
        3.1.1 AAF的更新
        3.1.2 论辩语义的变化
    3.2 语义基数变化
        3.2.1 影响语义基数的因素
        3.2.2 语义扩展的条件
        3.2.3 语义扩展的判定规则
    3.3 小结
4 完全语义单调性的系统修正规则
    4.1 完全语义单调性的条件
    4.2 完全语义单调性的判定规则
        4.2.1 宽容语义单调性的判定规则
        4.2.2 严格语义单调性的判定规则
    4.3 小结
5 优先语义和基语义单调性的系统修正规则
    5.1 优先语义单调性
        5.1.1 优先语义单调性的条件
        5.1.2 优先语义单调性的判定规则
    5.2 基语义单调性
        5.2.1 基语义单调性的条件
        5.2.2 基语义单调性的判定规则
    5.3 完全语义严格单调性的判定规则
    5.4 语义单调性判定规则的应用
    5.5 小结
6 强制外延的系统修正规则
    6.1 AAF的限制
    6.2 AAF的扩展
    6.3 小结
7 结论
    7.1 研究结论
    7.2 创新之处
    7.3 研究展望
参考文献
作者简历



本文编号：3188497