分享到:

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

抽象论辩系统是一种非单调推理系统,它随底层的知识或信息的变化而变化,这就是抽象论辩系统的动态性。如何刻画这种动态性是论辩理论研究领域的一个关键问题。抽象论辩系统的动态变  (本文共8页) 阅读全文>>

浙江大学
浙江大学

对含子论证的论辩框架的分析

目前大部分抽象论辩框架都将论证之间的关系限制在攻击关系上,但在日常生活中,只关注论证之间的攻击关系是不够的。一方面,此类抽象论辩框架的表达能力有限,它处理动态性问题时产生的结果容易与现实不符;另一方面,在计算论辩框架的语义外延时,抽象论辩框架理论只能利用论证之间攻击关系的拓扑结构,不能进一步提高计算效率。为了处理这些问题,本文定义了论证之间的子论证关系,接着对带有子论证关系的论辩框架(AFwS)进行两个层面的分析。第一,从结构化层面来看动态性问题,含子论证的论辩框架与抽象论辩框架在动态性问题上有显著不同。抽象论辩框架没有论证之间的支持关系,因此在对框架作出改变时,增加论证或删除论证是随意性的。但是,当在框架中加入了子论证关系后,论证的活跃性依赖于其子论证,若删除了一个论证的子论证,那么这个论证将丧失它的活跃性。因此,在对含子论证的论辩框架进行改变时,必须考虑到更多的限制条件。第二,从抽象层面来看论辩语义的计算问题,在AFwS中,...  (本文共138页) 本文目录 | 阅读全文>>

浙江大学
浙江大学

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

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

浙江大学
浙江大学

动态论辩系统中优先外延的保存原则研究

抽象论辩理论是逻辑学与人工智能领域的一个新兴研究方向。它可以用于建模各种非单调推理,帮助Agent在不一致的情境中进行自主推理。由于Agent所处的环境往往是动态变化的,所以论辩系统的动态性问题是一个非常值得关注的研究点。当Agent处在一个动态变化的环境之中,底层知识的改变会引起上层的抽象论辩框架的变化,从而引起论辩语义的变化。目前,如何刻画论辩系统的这种动态性仍然是一个挑战性问题,难点主要在于当系统发生变化(如添加或删除一个论证或攻击关系)时,如何确定哪些论证的状态发生了改变,以及如何重新评估各个论证的状态。同时,由于在多数情况下,论辩系统的语义求解不存在易解的算法,当系统发生动态变化时,重新评估各个论证的状态不仅是低效的,而且是困难的。针对该问题,本文在现有工作的基础上,研究了在动态环境中,论辩系统在变化之前的语义保存到了变化之后的语义中,对减少许多不必要的重新评估过程具有重要意义。目前,在几种经典的论辩语义(包括基语义、...  (本文共69页) 本文目录 | 阅读全文>>

《逻辑学研究》2017年02期
逻辑学研究

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

论辩系统是一种含层次结构的非单调形式体系。当底层的知识或信息发生变化时,上层的论辩框架及其语义也随之演化,这就是论辩系统的动态性。如何阐明及高效处理...  (本文共23页) 阅读全文>>

浙江大学
浙江大学

基于形式论辩系统的滑坡论证建模

论辩是一个涉及哲学、认知科学、逻辑学、语言学和计算机科学等多个学科领域的跨学科研究主题。作为一种非单调推理形式,形式论辩可作为沟通人类推理和机器推理的桥梁。在这一沟通过程中,如何对自然语言论证进行形式化建模是一个关键问题。本文主要基于形式论辩系统,借鉴非形式逻辑领域的研究,对一种在日常生活、法律、政治、医药伦理等语境中都有常见应用的可废止型论证——滑坡论证进行了详细的分析,并尝试构建了一个可以刻画滑坡论证的形式论辩理论。经过分析表明,本文所构建的滑坡论辩理论可以对滑坡论证的基本形式及其推理机制进行合理的表示,并且通过论辩语义评估,得到符合直觉的结论。本文共分为六个章节,分别如下:第一章阐明了本文的研究主旨、目标和思路,梳理了与本文主题相关的研究的发展简史和国内外发展现状。通过分析形式论辩和非形式论辩研究的特点,本章指出了本文研究的意义所在,即结合两个研究领域各自的优势,在力求实现互相弥合的基础上,期待对双方的研究都起到推进作用。...  (本文共147页) 本文目录 | 阅读全文>>