人工智能逻辑对智能主体推理进行形式表征。除了关于单主体知识和行动的推理以外，社 会人工智能逻辑还可以通过主体的权利、义务、允许来推理多主体阳J的社会依赖性。权利这一概念可以 表示智能主体的义务与允许之问的关系．通过比较形式论证町以识别并解决智能主体之问的各类冲突。 重要的是，为了真正刻画F1常推理，涵盖出现在R常生活中的各类争论，谬误论证也是口J‘以被表衙和推理 的。新的基于论辩的社会人工智能逻辑研究计划面向人工智能逻辑的未来发展，可以应对社会人工智能逻辑发展中所遇到的挑战。基于论辩的社会人工智能逻辑是有效刻画社会智能主体之间依赖性的推理， 它町以清晰地呈现存在于多样、复杂的社会现象中的各种冲突，口J自然地解释使用某个社会冲突解决方 案的原凶。
