关于n-精化模态逻辑若干问题的研究

发布时间：2021-09-19 12:30

　　命题模态逻辑是命题逻辑增加模态算子后的扩充,常用于刻画多agent认知所遵循的逻辑规律。信息事件的发生会导致agent认知的改变,为了刻画诸如此类多agent认知的动态变化所遵循的内在逻辑规律,学术界提出精化的概念。最近,Laura Bazzelli等人提出了精化模态逻辑系统,在对象语言层次上以一种全局的外在的观点考察了精化量词的逻辑性质。精化模态逻辑在命题模态逻辑基础上增加了与精化相关的量词?（及?）,直观上?（?）表示所有（存在）精化模型满足性质。这种类型量词的引入为agent认知及形式化建模中相关问题的形式描述提供了表达机制。精化概念要求模型之间的模拟随着状态之间的可达关系（或转换关系）始终持续保持,但在实际应用中的一些场合（如,对抽象成带量化信息转换系统的控制系统和实时系统的分析推理）,考虑的往往是精化关系的有限近似,后者在数学上抽象成所谓的n-精化关系。本文将针对n-精化关系,构建并研究相应的n-精化模态逻辑。主要工作内容包括:（1）给出n-精化模态逻辑的语法及语义,及其相应的公理系统,证明其可靠性并通过证明每个n-精化模态公式可证等价于一个K-公式,给出系统的完备性证明。（... 

【文章来源】：南京航空航天大学江苏省 211工程院校

【文章页数】：73 页

【学位级别】：硕士

【部分图文】：

模型N与模型M精化已在理论研究和工程实践中被广泛应用

图 3.4 点模型 、 有 ，则 0 。 及 K 系统的完备性[5]可知，存在模型M (S,R,V)及状态s S证明 N ( , , )如下： , 如果 ( , ) ∪ ,如果 ) s′ ∪ ( ) ，其中s′ {s′ ,如果 s V(p),如果 s V(p)。t N(s′)都存在 使得 N(s′)使得 ，即


本文编号：3401616