一种基于标记语义的抽象论辩框架更新方法
发布人：网站编辑
发布日期：2025-10-15
逻辑学研究 2025 年第 5 期， 62–79 文章编号： 16743202(2025)05006218
作者：景晓鑫，罗旭东
摘要：本文提出了一种动态求解抽象论辩框架标记语义的方法。当用一个抽象论辩框架对另一个抽象论辩框架进行更新时，更新后的论辩框架的语义可以通过以下方法得到。首先，对更新前两个论证框架无冲突标记语义的扩充求交集，得到更新后的论辩框架的无冲突标记；然后，在这些无冲突标记中挑出按照某种要求被非法标记的论证个数最少的那些无冲突标记。在挑选过程中，我们把更新后的论辩框架中的论证分为两部分，使得每一部分中的论证是否被非法标记只需根据更新前的某个论辩框架来确定，而无需考虑全局。最后，我们在完全语义下证明了该方法的可靠性和完备性，即更新后生成的论辩框架的完全标记与按我们方法得到的标记是一致的。
关键词：抽象论辩框架；动态性；标记语义
中图分类号： B81 文献标识码： A