7、论证：一种社会计算范式的探索

论证：一种社会计算范式的探索

1. 引言

在计算领域，新的计算原则和编程范式不断涌现。从数学逻辑领域诞生的图灵机、递归函数理论、lambda 演算等可计算性概念，到计算机科学领域发展出的结构化编程、函数式编程、逻辑编程、面向对象编程等编程范式，再到近年来备受关注的遗传编程、化学计算、量子计算、DNA 计算等新一代计算原则，它们都为突破当代计算瓶颈带来了新的希望。

传统的学科如数学、物理、化学、生物学是计算原则的重要来源。而社会学和经济学则推动了基于社会计算视角的“面向代理的计算”。那么，面向代理计算的核心原则是什么呢？答案就是“论证”。

论证在不同领域有不同的定义。语言学家、社会学家和哲学家认为，论证是说话者或作者为了增加（或减少）有争议观点在听众或读者心中的可接受性，通过提出一系列命题来证明（或反驳）该观点的理性言语和社会活动。计算机科学家则认为，论证是一种考虑了信息本质的社会计算原则。我们已经提出了一些基于论证的代理系统，认为它是信息处理的一种新形式，尤其适用于全球网络连接的新世界。论证可以成为信息处理新时代的一种新颖且重要的计算原则，为面向代理计算所需的技术提供统一的方法，这些技术涉及谈判、妥协、合作、协调、协作、冲突解决和管理等社会概念。从达成共识的推理方法来看，这些社会机制大致可分为三类：冲突解决推理、辩证推理和合作推理。

2. 论证框架

为了反映日常生活中常见的论证形式，在建模论证时，我们基于网络环境提出了以下自然且必要的前提：
- 知识库通常是分布式且不共享的，即每个代理都有自己的知识库。
- 每个代理的知识库或其组合可能不一致，但代理在进行论证和反驳时，总是会利用其知识库中的一致子集（例如最大一致子集