【摘 要】
：
信息流和主体间互动是近年来动态认知逻辑研究的主要问题。主体的知识和信念随着信息的更新而改变,比如宣告p成立之后主体知道p。信息是不断更新变化的,受信息变化的影响,主
论文部分内容阅读
信息流和主体间互动是近年来动态认知逻辑研究的主要问题。主体的知识和信念随着信息的更新而改变,比如宣告p成立之后主体知道p。信息是不断更新变化的,受信息变化的影响,主体的知识和信念也是动态变化的,绝不是静态的。信息变化的形式是多种多样的,动态认知逻辑在静态的认知和信念等逻辑的基础上,引入新的动态算子,建立形式系统,研究模型上的变化,以此研究主体根据信息变化进行的推理。
其他文献
周素园，毕节历史名人。其一生三个时期彰显了执着信念的人格魅力，在当代产生出积极的社会价值。
本科教育质量是衡量大学办学水平的重要指标。新建地方本科院校因受多种因素制约，教育质量问题面临更多的忧思和批判。文章采用“全美大学生参与度调查”工具（NSSE：the National
输尿管皮肤造口术是膀胱癌行膀胱全切除后尿流改道的重要方法之一［1］，输尿管皮肤造口后尿液常用 DJ 管引流，研究表明输尿管支架管需终身放置，且3～6个月更换导管1次可防止输尿管支架
工商管理部门的发展变化关乎着国家市场经济的平稳有序的运行，对于当前工商管理部门存在的一系列问题，引起了越来越多的关注。本文就从工商管理的现状分析出发，提出了应对其部门
逻辑学对于素质教育具有重要作用,逻辑思维能力或判断性思维能力培养与测试是逻辑学的重要应用方面。但这种应用也存在制作良好的测试题难度大、思维训练效果反馈复杂度高、
目的：探讨提上睑肌缩短法治疗重度上睑下垂的可行性及疗效，为临床合理治疗提供依据。方法将2011年2月至2012年3月来南昌大学第一附属医院接受手术的26例（32只眼）严重上睑下垂患者
肾上皮样血管平滑肌脂肪瘤（EAML）是肾血管平滑肌脂肪瘤（AML）的少见亚型,目前被认为是具有侵袭性生物学行为的恶性潜能肿瘤,具有复发和转移能力。2013年11月5日,九江学院附属医院
目的：探讨脐带（UC）间充质干细胞（MSC）生物学的特性。方法行剖宫产术时采集胎儿 UC，采用1 g· L-1Ⅱ型胶原酶消化、分离 UC-MSC。将第3代 UC-MSC随机分为3组：正常对照组、诱导向
目的测定超声引导下锁骨上臂丛神经阻滞罗哌卡因的半数有效浓度（EC50）。方法选择择期行手或前臂手术患者40例（ASAⅠ—Ⅱ级）,采用超声引导下锁骨上臂从神经阻滞两点注射法注入罗哌
目的探讨CD4＋CD25＋Foxp3＋Treg的表达水平对乙型肝炎病毒（HBV）宫内感染的影响。方法将109例HBsAg阳性无其他妊娠合并症孕妇按新生儿脐血HBsAg检测结果分为2组：HBsAg阳性表达为研究组