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

发布时间：2018-10-05 10:00

【摘要】：论辩系统是一种含层次结构的非单调形式体系。当底层的知识或信息发生变化时,上层的论辩框架及其语义也随之演化,这就是论辩系统的动态性。如何阐明及高效处理这种动态性是论辩理论研究领域的一个开放性问题。本文以一种简单的论辩语义(基语义)为起点,研究论辩系统动态性的一个重要方面:论辩语义的单调性问题。文章给出了基语义单调性的定义,实现基语义单调性的条件,以及判定基语义单调性的规则。
[Abstract]:Argumentation system is a non-monotone formal system with hierarchical structure. When the underlying knowledge or information changes, the upper debate framework and its semantics also evolve, which is the dynamics of the debate system. How to clarify and efficiently deal with this dynamic is an open problem in the field of argumentation theory. Based on a simple argument semantics (basic semantics), this paper studies an important aspect of the dynamics of debate system: the monotonicity of argumentation semantics. In this paper, the definition of the basic semantic monotonicity, the condition of realizing the basic semantic monotonicity and the rules of judging the base semantic monotonicity are given.
【作者单位】：浙江大学哲学系;浙江大学语言与认知研究中心;
【基金】：国家社会科学基金重大项目No.14ZDB014
【分类号】：N02

【参考文献】