共代数逻辑及其应用的初步分析研究.pdfVIP

论文题目： 共代数逻辑及其应用的初步研究 专 业： 计算机软件与理论 硕士生： 杨应宝 指导教师： 周晓聪副教授 摘要 共代数是代数的对偶概念，基于观察的角度考察集合及其上操作。计算机科 学中很多系统都可以归结为共代数，如自动机、抽象数据类型、面向对象设计语 言等。目前，共代数方法已经被证明是研究状态系统的行为性质的可行途径。 模态逻辑是经典逻辑的扩充。由于添加了模态词，使得模态逻辑适合于描述 动态系统的行为。模态逻辑的一些分支，如时态逻辑、认知逻辑等，已经广泛应 用予模型检测、人工智能等计算机科学领域。 共代数逻辑是适合于描述共代数系统的逻辑。把模态逻辑作为共代数逻辑是 共代数研究领域中一个新的研究方向。模态逻辑与共代数都与状态系统紧密相 连，可以利用共代数对动态系统建立模型，然后利用模态逻辑描述共代数模型的 行为性质，因此将共代数和模态逻辑融合在一起是自然的。而如何从共代数生成 这方面作出了很大的贡献。 本文首先探讨了共代数与系统的关系，以及共代数与模态逻辑的内在联系， 分析了几种共代数逻辑的特点，在此基础上研究了有限Kripke多项式函予上的模 态