群体简单宣告逻辑

群体宣告逻辑在公开宣告逻辑基础上增加用于刻画群体宣告的算子,其中的"群体宣告"是指群内个体的一阶或高阶知识被同时、公开、真实地宣告。然而,很多场合下通常并不接受个体宣告高阶知识。本文所探讨的群体简单宣告逻辑只允许群内个体宣告一阶知识,这与此前版本在一些性质上存在差别。文章的主要成果是群体简单宣告逻辑的表达能力和公理系统等结论,以及对有穷规则在群体宣告逻辑中不可靠、但在群体简单宣告逻辑中具有可靠性的证明。     

结构化论辩系统——限制性反驳和非限制性反驳（英文）

近年来,形式论辩研究在人工智能领域受到越来越多的关注。形式论辩研究的目标之一是沟通人类推理和机器推理,为实现这一目的,近年来多个结构化论辩系统被提出,如ABA、ASPIC~+、ASPIC~-等。不同的研究在系统设定上有不同的选择,本文关注的是对论证间反驳关系定义的两种不同选择:限制性反驳和非限制性反驳。为了验证哪种选择更符合人类推理直觉,本文给出了一个实证研究,研究结果显示非限制性反驳更符合人类直觉。由于非限制性反驳可能导致论辩系统推理结果违反理性公设,这一结论说明目前的结构化论辩形式体系在自然性和合理性的兼顾上还需改进。