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

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

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

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

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

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

信念愿望意图逻辑探析

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

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

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

PLC控制系统的设计及调试

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

含有居间量词ｍｏｓｔ的广义三段论的有效性

一般而言,居间量词是语义上的<1,1>类型的广义量词,表示事物或材料所形成的集合之间的二元关系。通过提出并证明23个事实,阐明包含most这一居间量词的有效的广义三段论推理模式。这些创新性成果将会有利于广义量词理论的发展、自然语言信息处理以及计算机科学中的知识表示和知识推理。     

广义量词的单调性与其他语义性质之间的关系

广义量词理论是一阶逻辑的扩展理论,它比一阶逻辑更有利于计算机进行知识表示和知识推理.广义量词的语义性质主要包括:同构闭包性、扩展性、驻留性、单调性、对称性.单调性是广义量词最为重要的语义性质.给出6个定理,主要论述广义量词的单调性与其他语义性质之间的关系,比如:具有单调性的广义量词首先得满足驻留性.     

跨国公司的环境法律责任缘起

随着环境问题的全球化和国际化 ,人类清醒地认识到保护和改善环境是世界所面临的最紧迫的问题之一。以跨国公司的国际直接投资方式引起的发展中国家东道国的环境污染是其中的一个重要因素。所以有必要使跨国公司承当相应的环境法律责任 ,然而 ,跨国公司承担环境责任在国际法和国内法方面却存在着诸多缺陷。本文从可持续发展原则、社会责任、环境法上的公平责任、生态契约等多种视角来探究跨国公司承担环境法律责任成因 ,并进一步分析了其承担环境责任的国内法和国际法问题。