【摘 要】
：
本文以包含觉知算子的信念态度逻辑为基础,研究该逻辑在增加个体信念更新算子后的扩充,在给出这一扩充的公理系统后,证明其对于包含觉知的多主体信念库语义模型的可靠性和完全性.进一步,我们还比较了信念态度逻辑的个体信念更新与命题觉知逻辑的个体信念更新这两种不同的动态过程,并且证明了这两种动态过程产生的模型具有互模拟关系.
论文部分内容阅读
本文以包含觉知算子的信念态度逻辑为基础,研究该逻辑在增加个体信念更新算子后的扩充,在给出这一扩充的公理系统后,证明其对于包含觉知的多主体信念库语义模型的可靠性和完全性.进一步,我们还比较了信念态度逻辑的个体信念更新与命题觉知逻辑的个体信念更新这两种不同的动态过程,并且证明了这两种动态过程产生的模型具有互模拟关系.
其他文献
习近平关于党史学习重要论述从“以人民为主体”价值理念、“民族复兴”目标两个维度探寻中国共产党人初心使命的“学理之根”,以树立正确历史观、捍卫实践检验真理标准为重点叩问历史与现实的“前行之路”,从透视世界发展图景、发展价值共识两个方面阐释世界大局与时代变迁的“中国之解”,从传承中国共产党人精神谱系、关注自我革命自觉自信两个角度诠释中国特色社会主义实践发展的“应对之道”.
推动地方党校系统信息化建设一体化是统一数据和共享资源、解决县区党校信息化资金困难、发展线上教学培训的需要.要积极解决县区党校在信息化建设一体化中存在的困难,结合“智慧校园”建设规划和信息化发展方向,通过统筹市级党校建设资源、搭建党校系统网站群、建设“教学直播”平台、搭建市级党校“云服务”平台、开发软件系统县区党校版、建设全市党校系统数据库等手段,推进市级党校系统信息化建设一体化.
妇女是家庭和社会的“半边天”,不仅是乡村振兴的享有者、受益者,更是推动者、建设者.妇联作为党和政府联系妇女群众的桥梁纽带,作为广大妇女的“娘家人”,组织广大妇女积极投身乡村振兴的伟大实践,是新时代妇联组织需要深入思考的重要命题.济南市妇联开展“出彩人家”创建工作,立足妇联职能,在全市农村开展的以妇女为主体、以家庭为切入点、以“让每个人共同享有人生出彩机会”为主题、以“庭院美、生活富、家风好”为主要内容的群众性文明创建活动,探索出一条具有时代特征、济南特色的服务乡村振兴新路径.
新型政党制度作为我国一项伟大的政治创造,在实现利益代表、促进政党和谐、推动科学决策等方面具有独特的优势和先进性.加强新型政党制度建设,提升新型政党制度效能,有利于有效应对当前我国面临的国际形势、合理化解我国社会矛盾、不断提高执政党的执政能力水平.为进一步发挥新型政党制度的独特优势,应从坚持与加强中国共产党的领导、全面加强参政党建设、完善新型政党制度体系等方面提升新型政党制度效能.
新时代公民道德建设是形成个人良好品德、促进自我完善的必然要求,也是深化社会主义道德建设、实现国家治理现代化的战略要求.新时代公民道德建设符合马克思主义道德观的发展,呈现出清晰的理论逻辑、历史逻辑、文化逻辑与时代逻辑,科学回答了新时代“何为德、为何德、如何德”这一根本问题,厘清了公民道德建设的生成基础和逻辑理路.基于理论维度,新时代公民道德建设坚持以人民为中心、以社会主义核心价值观为引领、以培育时代新人为着力点,推动社会道德进步与人的全面发展.基于实践维度,新时代公民道德建设既明确了公民在道德建设中的主体地
原子与光腔相互作用的动力学特性的研究一直是量子光学研究的热点,本文利用自旋相干态变换和基态变分法从理论上求解光腔中冷原子系统的基态能量表达式,并且给出丰富的基态相图。在正常相时给出基态能量稳定值的解析解;而超辐射相时,我们可以利用迭代的方法近似得到原子布居数、平均光子数和基态能量随原子-场耦合强度的变化。本文主要呈现出原子-原子相互作用强度改变正常相到超辐射相的量子相变点,且是一阶相变,但未出现新的量子相和量子相变。
1954年在柏林召开的美苏英法四国外长会议,是在东西方关系出现缓和趋势的情况下最早举行的一次高端会晤.本文从1953年美苏对外政策的转变,亟待解决的欧洲问题以及英法对四国外长会议的推动三个方面,探讨四国外长会议的缘起.文章认为,美苏新领导上任后对各自对外政策的调整,二战后欧洲亟待解决的德国和奥地利问题以及欧洲安全问题,英法两国对四国高端接触的推动,是1954年英法美苏柏林四国外长会议召开的主要原因.
调研显示,当前流行文化种类繁多,对大学生的奋斗价值观、创新价值观、友善价值观、健康价值观等均产生较大影响.高校及相关部门应积极应对流行文化的冲击,强化终极价值教育,积极组织创意活动,增强转化利用意识,弘扬社会主流价值观,引领大学生正确对待与认识高校流行文化,树立正确价值观.
三门问题是一个反直观的概率问题,受到数学、逻辑学、心理学、经济学、计算机科学等众多领域的共同关注.概率动态认知逻辑是新近发展起来的一种逻辑理论,它把概率逻辑和动态认知逻辑相结合,将事件的概率处理成认知模型里的世界的概率,从而可以更加直观地展现事件的概率分布.借助概率动态认知逻辑为三门问题建立概率认知模型,可以清晰呈现换门与不换门各自赢得汽车的概率,并全面揭示三门问题的概率认知模型在概率乘积更新规则下的变化过程,从而帮助我们以一种整体的视角深入理解三门问题.
严复认为“辩/辨学”“论理学”和“名理探”作为logic的译名皆不当,并选择“名学”一词翻译logic.“名学”一词并非严复所创,但严复首次使用“名学”来指称logic.择“名”,因“名”之奥衍精博.择“学”,因“学”之深广.精博与深广体现在当“名学”作为logic的译名时,具有“治平之基”“专科之学”和“为学为术”的政治、知识和学术的三重内涵.