3月19日党学哲报告:基于语境依赖语义的公开宣告逻辑矢列演算系统

发布时间:2017-03-15 来源:本站原创 作者:本站编辑   浏览次数:

3月19日党学哲报告:基于语境依赖语义的公开宣告逻辑矢列演算系统

时间:2017年3月19日15:00

地点:逻辑与智能研究中心3203


摘要:公开宣告逻辑(Public Announcement Logic)是动态认知逻辑的基础系统,被广泛用于刻画在公开交流(Public Communication)中知识的变化的推理问题,为克服该逻辑的公理系统在证明内定理方面的不便,有学者提出它的矢列演算系统。本文在考察现有的公开宣告逻辑矢列演算系统G3PAL和GPAL等的基础上,梳理各自优缺点,并结合语境依赖语义提出G3PALC,证明G3PALC的完全性,它与公理系统HPAL的等价性以及语境依赖语义与相关语义的等价性等问题。