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

The Monotony of Grounded Semantics of Abstract Argumentation and Its Determination Rules

作　　者：廖备水[1,2] 徐康[1,2] 余喆[1,2] 

机构地区：[1]浙江大学哲学系 [2]浙江大学语言与认知研究中心

出　　处：《逻辑学研究》2017年第2期22-44,共23页Studies in Logic

基　　金：国家社会科学基金重大项目No.14ZDB014

摘　　要：论辩系统是一种含层次结构的非单调形式体系。当底层的知识或信息发生变化时,上层的论辩框架及其语义也随之演化,这就是论辩系统的动态性。如何阐明及高效处理这种动态性是论辩理论研究领域的一个开放性问题。本文以一种简单的论辩语义(基语义)为起点,研究论辩系统动态性的一个重要方面:论辩语义的单调性问题。文章给出了基语义单调性的定义,实现基语义单调性的条件,以及判定基语义单调性的规则。Argumentation system is a hierarchically structured non-monotonic formalism.When underlying knowledge or information changes,the corresponding argumentation framework and its semantics change accordingly.This process is called dynamics of argumentation systems.How to formulate and efficiently handle dynamics of argumentation is an open problem in the field of argumentation.Under a simple argumentation semantics(grounded semantics),this paper studies one important aspect of dynamics of argumentation:the monotony of argumentation semantics.After formally defining the monotony of grounded semantics,this paper first formulates conditions under which the property of monotony holds,and then present some rules that can be used to determine whether the property of monotony holds in different situations.

关 键 词：抽象论辩系统动态性 论辩语义 语义单调性 判定规则 

分 类 号：N02[自然科学总论—科学技术哲学]