论文部分内容阅读
群体宣告逻辑中提出的群体宣告算子作为能力算子,刻画出不同主体所构成的群体通过进行联合宣告而令某事为真的能力.鉴于主体所具备认知能力受到限制,为了更准确地反映出现实的推理情形,本文将群体宣告逻辑置于觉知模型加以考察.另一方面,群体作为整体的认知能力亦自然地进入对群体所具备能力的讨论中.本文特别地考虑了群体宣告逻辑与分布式知识的结合,并指出相关结果能推广至其它类APAL逻辑的带分布式知识的扩充.