余代数框架下的近似行为等价理论与模态逻辑研究

项目名称： 余代数框架下的近似行为等价理论与模态逻辑研究

项目编号： No.60973045

项目类型： 面上项目

立项/批准年度： 2010

项目学科： 自动化技术、计算机技术

项目作者： 朱朝晖

作者单位： 南京航空航天大学

项目金额： 28万元

中文摘要： 本项目旨在针对当前转换系统近似等价以及余代数模态逻辑等研究领域中所面临的问题，探讨带量化信息的余代数的近似行为等价理论，研究余代数模态逻辑的扩张及完备性证明技术。尝试为带量化信息的动态转换系统的近似等价研究提供较一般的理论框架，为余代数模态逻辑相关问题的研究提供新的技术途径。主要研究内容包括：余代数框架下近似互模拟及其逻辑的模块理论、余代数模态逻辑的正则公式、含不动点的余代数逻辑的完备推理系统以及余代数模态逻辑的PDL扩张。该项目为相关问题的研究提供了新的研究视角和技术手段，其研究有助于加深对余代数模态逻辑基础性质的把握，使我们对各种不同类型动态转换系统的近似互模拟与行为度量理论有较统一的认识，更加深入地了解余代数作为动态系统数学模型和模态逻辑一般语义结构所具有的优越性和潜在的局限性。

中文关键词： 交替近似互模拟；模态逻辑；逻辑标记转换系统；进程代数；余代数

英文摘要：

英文关键词： approximate alt-bisimilarity；modal logic；logic LTS；process algebra；co-algebra