论文部分内容阅读
许多关于规划的研究近几年来集中于所谓的反应规划系统。本文对面向反应式规划系统的动态逻辑进行了研究。文章围绕扩展情景演算、FSP动态逻辑等问题进行了论述。
面向反应式规划系统的动态逻辑
【摘 要】
：
许多关于规划的研究近几年来集中于所谓的反应规划系统。本文对面向反应式规划系统的动态逻辑进行了研究。文章围绕扩展情景演算、FSP动态逻辑等问题进行了论述。
【机 构】
：
武汉大学哲学系和计算机系,武汉,430072
【出 处】
：
2004年全国理论计算机科学学术年会
【发表日期】
：
2004年期
其他文献
目的建立甘地胶囊HPLC指纹图谱分析方法及测定指标成分含量,并以此考察甘地胶囊的质量。方法样品经甲醇溶解后,超声提取、离心,用Inertsil~(?)ODS-3色谱柱(250 mm×4.6 mm,5
选择性环氧化酶-2(COX-2)抑制剂在发挥有效抗炎镇痛作用时,可避免或减轻由于抑制维持人体正常功能所必需的COX-1所致的胃肠道、血小板等不良反应,因此被广泛应用于临床。但其
本文对通用财务信息综合管理平台的实现进行了研究。文章开发了"通用财务信息综合管理平台",它把政府机关经费的预算、合同、借款、还款、结算、决算等与经费相关内容统一管
目的分析静注人免疫球蛋白对于重症手足口病患者的临床疗效。方法将2011年5月至2012年6月期间本院收治的68例重症手足口病患儿分为治疗组和对照组,两组均给予抗病毒药物以及
访第148医院军区介入诊疗中心主任张希金张希全,现任第一四八医院军区介入诊疗中心主任、主任医师。全军放射医学专业委员会委员、济南军区医学科学技术委员
Visit to the 1
<正>【病例】患者,男,46岁。因头颈部及四肢外伤致疼痛1 h于2011年11月16日收住人院。既往体健,否认药物过敏史、其他外伤手术史和输血史。查体:BP 130/80 mm Hg(1 mm Hg=0.1
本文对关于完全非线性的多值逻辑函数进行了探讨。文章指出，在密码学中一些密码体制的设计与分析，最终可归于多值逻辑函数的设计与分析。文章采用谱分析技术定出了完全非线性函
目的 分析我院临床分离的铜绿假单胞菌(PA)在2006-2011年的分离率及耐药性,并探讨其耐药性变迁规律.方法 收集2006年1月-2011年12月我院住院患儿的临床分离PA药敏试验报告单,
目的 提高临床药师的综合素质、知识水平和临床能力.方法 通过模拟教学,组织卫生部规范化培训的临床药师师资学员进行药师模拟会诊,让学员从不同视角提出会诊意见,带教老师给