科研之友
微信
新浪微博
Facebook
分享链接
摘要
人工智能逻辑对智能主体推理进行形式表征。除了关于单主体知识和行动的推理以外,社会人工智能逻辑还可以通过主体的权利、义务、允许来推理多主体间的社会依赖性。权利这一概念可以表示智能主体的义务与允许之间的关系,通过比较形式论证可以识别并解决智能主体之间的各类冲突。重要的是,为了真正刻画日常推理,涵盖出现在日常生活中的各类争论,谬误论证也是可以被表征和推理的。新的基于论辩的社会人工智能逻辑研究计划面向人工智能逻辑的未来发展,可以应对社会人工智能逻辑发展中所遇到的挑战。基于论辩的社会人工智能逻辑是有效刻画社会智能主体之间依赖性的推理,它可以清晰地呈现存在于多样、复杂的社会现象中的各种冲突,可自然地解释使用某个社会冲突解决方案的原因。
- 出版日期2020
- 单位浙江大学
