【摘 要】
：
把命题动态逻辑PDL和模态逻辑S5进行融合后,得到的动态信念和知识的多主体逻辑(简称BDL),可以对动态认知信息进行推理.为此,一方面需要把PDL中的标准测试算子换成信息测试算子,从而把主体的隐性信息态度(信念或者知识)进行显性化;另一方面需要对抽象行动和具体行动进行区分,以表达多主体间的合作与团队协同.BDL逻辑及其一些扩张逻辑具有可靠性、完全性、有穷模型性质和可判定性.
【机 构】
：
宁德师范学院马克思主义学院,福建 宁德 352100;安徽大学哲学学院,安徽 合肥 230039
论文部分内容阅读
把命题动态逻辑PDL和模态逻辑S5进行融合后,得到的动态信念和知识的多主体逻辑(简称BDL),可以对动态认知信息进行推理.为此,一方面需要把PDL中的标准测试算子换成信息测试算子,从而把主体的隐性信息态度(信念或者知识)进行显性化;另一方面需要对抽象行动和具体行动进行区分,以表达多主体间的合作与团队协同.BDL逻辑及其一些扩张逻辑具有可靠性、完全性、有穷模型性质和可判定性.
其他文献
老子将道的“自然而然”属性引入到人们日常的言行举止和修身养性之中,则形成了其人生哲学.老子的人生哲学包含“见素抱朴,少私寡欲”“知足”“致虚极,守静笃”“贵柔尚弱”“谦下”“上善若水”和“物极必反”等众多方面的内容,要求人要不断地减除自己身上种种不合于道的私欲,而使自己最终达到“致虚极,守静笃”的人生之最高境界.老子的人生哲学在历史上曾经产生过广泛而深远的影响,在当今对人们修身处世仍然具有一定的指导意义.
在农田和城镇等障碍物密布的复杂三维井炮勘探设计中,采用常规办法很难满足勘探要求.提前踏勘工区,摸清障碍物范围;进行岩性调查和通过药量参数实验确定合理的井深和药量;采用网格化的非常规精细化束状设计来进行炮点设计;在大范围障碍物密集区域,采用加密检波线以接收点代替激发点的辅助方法,弥补炮点不能布设的空白区域导致的覆盖次数不足的情况.这种方法成功地解决了常规束状三维设计导致的炮点和覆盖次数缺失太大而不能满足地质任务要求的难题.
李商隐诗歌现存最早的版本,是明末清初著名学者朱鹤龄辑录的.李商隐诗歌点评与注解的高潮也在这一时期涌现.清代纪晓岚自幼学习李商隐诗歌,特喜看朱鹤龄辑本.他将李商隐“流俗传诵”、“流于飞卿长吉一派”等不符合其标准的诗歌删去,编成了《玉溪生诗说》.在诸多注家评点中,纪晓岚的诗歌评点也许不是最重要的,但却是最具个性色彩的.其对义山诗的评点少有肯定性赞赏,多持“批评”与“指责”之言,这在中国诗歌阐释史上堪为少见.但从文化史意义上看,他重新解构了义山诗.
《大希庇亚篇》不仅是古希腊美学思想的重要论著,而且蕴涵了可能世界语义学的萌芽.分别对苏格拉底与希庇亚论辩中涉及的“美”的定义、直言命题、命题变形直接推理、直言三段论推理进行逻辑解读后发现:其论辩中有效推理和无效推理交错融合,不仅导致了诸多困惑,而且也导致了很难给出“美”的准确定义.
大地电磁反演是非线性问题,传统的大地电磁反演采用线性反演,结果往往会陷入局部最优,为此,在标准BAS算法的基础上,引入混沌种群概念、指导性学习策略及竞技场策略,实现带学习和竞争机制的混沌天牛群搜索算法(LCCBSA).利用LCCBSA算法、粒子群算法和遗传算法分别对测试函数试算,结果表明该算法与其他算法相比具有较快的收敛速度和寻优能力.大地电磁理论地电模型的反演试算表明,LCCBSA算法能够较好地寻找到全局最优解,并且通过与多尺度反演结果对比检验了该算法恢复地下深部低阻层的能力.最后,利用该算法反演了塔里
针对当前网络文学创作题材内容走向私人空间,缺乏对广阔、丰富的社会生活内容的展示;对生活的反映走向了浅表化、碎片化,缺乏对时代社会的深刻思考;在创作中逃避现实,游戏历史,走向对经典、历史的无边消解之中的问题,我们应把网络文学的建设与发展作为实施“网络强国”战略的一项重要内容.加强对网络文学的研究,更深入地掌握网络文学发展的内在规律;加大对网络文学作者群体的扶持力度,引导他们树立责任意识和使命意识;要充分认识到网络文化对于民族精神的塑造作用,对各文学网站、创作平台实施有效的管理,把网络文学的传播纳入法制化的轨
[目的]本论文研究酿酒酵母srp4039突变基因对酵母细胞异丁醇耐受性的影响.[方法]首先,以酿酒酵母野生型W303-1A和突变株EMS39染色体DNA为模板克隆野生型SRP40基因和srp4039突变基因;然后,将野生型SRP40基因和srp4039突变基因分别连接到质粒YCplac22上,构建质粒 YCplac22-SRP40和 YCplac22-srp4039.将质粒 YCplac22-SRP40、YCplac22-srp4039以及YCplac22空质粒分别转化入野生型酿酒酵母W303-1A中,分
[目的]探究宿主20S蛋白酶体β5亚基(proteasome 20S subunit beta 5,PSMB5)对革兰氏阴性专性胞内寄生菌立氏立克次体胞内生长繁殖的影响.[方法]利用小干扰RNA转染Vero和THP-1宿主细胞,设置未转染细胞为空白对照组、无义小干扰RNA转染组为阴性对照组、PSMB5特异性小干扰RNA转染组为实验组,采用SYBR定量PCR和蛋白印迹法评价宿主细胞PSMB5变化水平;随后利用立氏立克次体以感染复数为0.1感染转染后细胞系,采用光镜观察、荧光显微镜观察和PCR定量方法检测细菌
观测系统设计是地震资料采集的基础,其优劣将直接影响到后续的地震资料处理解释工作.高密度观测系统在多个实际工区的应用表明,经高密度观测系统采集的资料较老成果在信噪比和分辨率上有明显提高.本次研究基于高密度观测系统的主要采集参数与观测系统总成本、综合质量因子的关系,建立优化模型,并利用该模型对多套观测系统参数进行最优性价比评价分析,计算其总成本和综合质量因子,最终选取最优性价比的观测系统选出合适的观测系统参数,在保证采集质量的前提下使得采集成本最低.实际资料测试证明了该技术的有效性和可靠性.
阿库乌雾敏锐地感知到“混血时代”的到来带给个体生存经验与族群文化精神的强烈冲击.都市文明浪潮下物质主义至上的时代洪流让他产生战栗与惶惑的“震惊”体验,他立足于文化“混血”的当代语境,以民族主体身份意识对族群精神进行现代追寻,从拉康式的“镜像”中反观自我,在与他者的疏离和融合中反思并探索建构族群文化的新路径.同时,身为学者和诗人的阿库乌雾充分彰显了知识分子的历史使命和社会责任意识,从灵魂深处抒发了对岌岌可危的现实生存环境的忧虑.