信念愿望意图逻辑探析

在理性主体寻求达成其目的的过程中,信念、愿望和意图起着重要的作用。由 Rao 和Georgeff 提出的信念愿望意图逻辑是建立在分支时间可能世界模型的基础之上的。说明了该逻辑框架对意图的重要成分（比如：信念、愿望、意图和承诺）是如何进行形式化的。另外,不同类型的理性主体可以通过添加特定的条件来进行建模。     

前列腺癌患者术后精神障碍的临床护理观察

目的 探讨前列腺癌患者术后精神障碍的发生原因及护理措施.方法 回顾性分析我院2009年1月至2011年2月60例行前列腺癌患者的临床资料,评价前列腺癌患者术后精神障碍的发生情况.结果 60例前列腺癌患者行全麻前列腺全切术后.7例发生精神障碍,发生率为11.7%;轻度症状患者5例,重度2例;术后第1天出现症状者1例,术后第3天4例,术后第5天2例.结论 膀胱全切术后精神障碍患者以老年男性多见,多数发生在术后3-5天,故有必要采取针对性护理措施以降低术后精神障碍发生率.     

加快经济立法 促进西藏经济发展

党中央曾多次指示:随着经济体制改革的不断进行和国民经济的不断发展,越来越多的经济关系和经济活动的准则需要用法律形式固定下来。国家立法机关要加快经济立法。西藏三十多年来经济建设的实践充分说明:要振兴西藏经济,就要制定一整套行之有效的符合实际的经济法规,就必须健全具有西藏特色的经济法制。党的十一届三中全会以来,特别是中央西藏工作会议后,经济立法工作引起了西藏     

基于广义量词单调性的自然语言推理模式研究

广义量词理论是现代逻辑学、理论语言学、计算语言学等交叉领域的重点研究内容之一。利用广义量词的单调性可以解释或判断自然语言推理的有效性。对此有十二个事实和十二个推论可以印证。此项研究对计算机科学中的知识推理和广义量词理论的发展都具有较为重要的理论价值和实践意义。     

PLC控制系统的设计及调试

可编程序控制器伴随计算机技术而迅速发展、广泛普及和应用。PLC工业控制系统为各式各样的自动化控制设备提供了非常可靠的控制应用,其主要原因在于它能够为自动化控制应用提供安全可靠和比较完善的解决方案。根据PLC自动控制及其逻辑控制的特点,为了更好地运用可编程序控制器,本文探讨对PLC控制系统的设计方法及调试等方面问题。     

基于改编命题动态逻辑的Agent交互协议推理

Agent交互协议是“基于消息交流的Agent之间的”协调说明,用于提供交互的背景。交互协议是说明“所有参与Agent都应该遵守”的交互规则的公共文件。对命题动态逻辑进行改编得到的L_α逻辑,可以对多Agent系统的交互协议进行建模。为此,需要建立第一类协议说明语言,该语言是“把行为限制为由信道发送的消息的”行动语言,既可对协议结果进行表示和推理,也可对消息之外的行动进行推理,其约束语言用于说明消息和状态;每条消息被显式地定义为“对共享社会状态的处理”。     

自信与第二语言获知

在众多学习者自身因素中，自信是其中最显著的因素之一。自信与第二语言获知之间关系密切。自信 的不同变化将导致学习过程中2种截然不同的语言学习循环：良性循环和恶性循环。大学英语教学过程中，为确 保语言学习的良性循环，教师当尽力营造理想的学习环境，尽力做到因材施教，同时尽力以语言教育和“人”的教 育为其双向教学目标。     

北京教博会要做成“教育奥林匹克”

北京国际教育博览会是北京教委向中国乃至世界全面展示首都教育新进展、新成果的盛会,第五届国际教育博览会于5月8日在北京国际展览中心召开。已知这届展会参展国家多达40多个。     

传播学视域下的广告音乐浅析

传播学是研究信息交流、理解和沟通的学问。广告传播在本质上是与目标受众沟通的过程,沟通的有效性是广告传播的终极考量标准。广告音乐是广告传播中激发受众共鸣的一种优良的媒介,它既有一般音乐艺术的审美特征,也包含了广告艺术的某些特性。因此,广告音乐拥有一些特殊的功能,拥有一些独具的特性,在具体创作过程中也要讲究一定的运用策略。