【摘 要】
：
命题模态逻辑是命题逻辑增加模态算子后的扩充,常用于刻画多agent认知所遵循的逻辑规律。信息事件的发生会导致agent认知的改变,为了刻画诸如此类多agent认知的动态变化所遵
论文部分内容阅读
命题模态逻辑是命题逻辑增加模态算子后的扩充,常用于刻画多agent认知所遵循的逻辑规律。信息事件的发生会导致agent认知的改变,为了刻画诸如此类多agent认知的动态变化所遵循的内在逻辑规律,学术界提出精化的概念。最近,Laura Bazzelli等人提出了精化模态逻辑系统,在对象语言层次上以一种全局的外在的观点考察了精化量词的逻辑性质。精化模态逻辑在命题模态逻辑基础上增加了与精化相关的量词?(及?),直观上?(?)表示所有(存在)精化模型满足性质。这种类型量词的引入为agent认知及形式化建模中相关问题的形式描述提供了表达机制。精化概念要求模型之间的模拟随着状态之间的可达关系(或转换关系)始终持续保持,但在实际应用中的一些场合(如,对抽象成带量化信息转换系统的控制系统和实时系统的分析推理),考虑的往往是精化关系的有限近似,后者在数学上抽象成所谓的n-精化关系。本文将针对n-精化关系,构建并研究相应的n-精化模态逻辑。主要工作内容包括:(1)给出n-精化模态逻辑的语法及语义,及其相应的公理系统,证明其可靠性并通过证明每个n-精化模态公式可证等价于一个K-公式,给出系统的完备性证明。(2)基于相对化概念,给出n-精化模态逻辑语言与n-互模拟量化语言之间的翻译。(3)在n-精化模态逻辑语言中引入不动点算子,构建相应的μ演算系统,给出相应的公理系统,并基于(2)的工作,证明其可靠性与完备性。
其他文献
人工电磁超构表面是人工电磁材料的二维形式,也是近年来电磁学、光学、声学等领域内的研究热点。根据广义斯涅尔定理,通过在超构表面引入相位不连续性来实现波的异常折射和反射,可灵活控制电磁波的传播特性。本文充分利用超构表面对于电磁波的灵活可控特性,将其应用于电磁兼容性设备——电波混响室的设计中,通过仿真和实验手段研究超构表面作为搅拌器对电波混响室混响性能的影响,为构建超构表面电波混响室打下理论和应用基础。
目的研究子痫前期患者胎盘组织中micro RNA519d(miR-519d)与MMP2的表达及其相关性。方法1选择2018年11月至2019年5月在唐山市工人医院行剖宫产分娩的孕妇共71例,其中子痫前期
目的:本课题旨在研究老年痴呆模型小鼠脑内氧化应激相关的自噬信号通路的变化,并探讨三七总皂苷在AD模型小鼠中调节氧化应激-线粒体自噬治疗AD的机制。方法:非老化的SAMR1小
目的:本研究以原发性痛经患者作为研究对象,观察原发性痛经患者与无痛经受试者敏化点/区分布差异,并分析原发性痛经患者敏化点/区在各神经节段、各经络的分布规律,以指导临床
随着经济的发展,民营企业逐渐成为我国国民经济中的主要部分。民营上市公司是民营企业的代表,其治理问题的研究不仅具有重要性,而且随着历史数据的积累,开始具备可行性。本文
民国初年,景德镇彩绘瓷上出现一批新女性形象绘画,这些瓷器以表现女性闲淡生活为主,具有一种写实与理想主义特色。因瓷绘主题是着新式服装的现代摩登女性,建筑背景为西式洋房
因子分析(FA)是一种概率模型的降维方法。它针对的观测值是向量型数据,拟合时必须先将矩阵型数据拉直为向量,这样既破坏了矩阵结构行与列之间的潜在相关关系,也使拉直数据维数很高。近年,针对矩阵型数据的降维方法已被提出,如双线性概率主成分分析(BPPCA)。它直接对矩阵型数据进行双边降维,而不是拉直向量,降低了计算复杂度,而且无论数据是否包含潜在隐性变量,均可有效地更新参数的解析解。双线性因子分析模型(
目的探讨冠状动脉旁路移植术(coronary artery bypass grafting,CABG)中瞬时血流测定(transit time flow measurement,TTFM)的搏动指数(pulsatility index,PI)与术后早期心肌
背景和目的帕金森病(Parkinson’s disease,PD)是一种常见的好发于中老年人的进行性神经退行性疾病,50岁以下少见,其发病率随着年龄增加而升高,峰值年龄为85-89岁,好发于男性
目的1探究刺五加总皂苷最佳的提取方法。2研究刺五加法尼基焦磷酸合酶、鲨烯合酶和鲨烯环氧酶基因启动子DNA甲基化及其对刺五加皂苷合成与积累的影响。3五加科法尼基焦磷酸合