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

逻辑学研究 2017 年第2 期，22–44 文章编号：1674-3202(2017)-02-0022-23 动态抽象论辩系统基语义的单调性 及其判定规则* † 廖备水 徐康 浙江大学哲学系 浙江大学哲学系 浙江大学语言与认知研究中心 浙江大学语言与认知研究中心 baiseliao@zju.edu.cn xukanguuu@zju.edu.cn 余喆 浙江大学哲学系 浙江大学语言与认知研究中心 zheyu@zju.edu.cn 摘 要：论辩系统是一种含层次结构的非单调形式体系。当底层的知识或信息发生变 化时，上层的论辩框架及其语义也随之演化，这就是论辩系统的动态性。如何阐明及高 效处理这种动态性是论辩理论研究领域的一个开放性问题。本文以一种简单的论辩语 义（基语义）为起点，研究论辩系统动态性的一个重要方面：论辩语义的单调性问题。 文章给出了基语义单调性的定义，实现基语义单调性的条件，以及判定基语义单调性的 规则。 关键词：抽象论辩系统动态性；论辩语义；语义单调性；判定规则 中图分类号：B81 文献标识码：A 1 引言 [ ] 在人工智能领域，论辩系统是一种层次化的非单调推理形式体系。（ 18 ） 其基本思想是把推理系统分层，底层处理知识的表示、论证的构造、论证之 [ ] 间攻击关系的识别等（ 15 ）；上层负责论证之间冲突关系的处理，以获得理 性主体可接受的结论。1995 年，泰国学者Phan Ming Dung 提出抽象论辩框架 收稿日期：2016-09-02 * 基金项目：国家社会科学基金重大项目No.14ZDB014。 † 致 谢：在本文写作过程中，英国卡迪夫大学Federico Cerutti 博士参与了讨论，对于明 确文章的基本思路提供了帮助，在此提出感谢。 廖备水, 徐康, 余喆 动态抽象论辩系统基语义的单调性及其判定规则 23 （Abstractargumentation framework, 简称为AAF）及论辩语义的概念，把论辩理 [ ] 论与传统的非单调推理形式体系联系起来。（9 ） 抽象论辩系统不关注论证的内部结构，论证被抽象为原子概念。一个AAF 由一组抽象论证集合以及论证之间的攻击关系组成。给定一个AAF，依据特 定的评价标准，将得到 （ ≥ ）个集体可接受的论证集合。每个可接受的 论证集合被称为AAF 的一个外延。同时，特定的评价标准所反映的从AAF 到 外延集合的映射关系被称为“论辩语义”。为方便起见，通常也把一个AAF 的 所有外延集合称为它的论辩语义。在这里，评价标准是主体在进行推理时所坚 持的原则、采取的态度等。在有些语义下，一个AAF 只有一个外延，称此类 语义为唯一状态指派语义，那些确定多个外延的语义称为多状态指派语义。当 新信息产生或者信息集更新时，AAF （论证及攻击关系）及其语义均会发生变 [ ] 化，我们把这种变化称为抽象论辩系统的动态性（ 17 ）。 [ ] 因此，对抽象论辩系统的研究包括静态（1–3, 12, 13 ）和动态两个方面。 静态抽象论辩系统的研究主要集中于从