【摘 要】
：
2006年,conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题,得到研究人员的广泛关注.目前,conformant规划系统都是将其看成信念状态空间上的启发式搜索问题
论文部分内容阅读
2006年,conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题,得到研究人员的广泛关注.目前,conformant规划系统都是将其看成信念状态空间上的启发式搜索问题予以求解.通过分析conformant规划问题的语法和语义,提出新的基于模态逻辑的规划框架.将其转换为模态逻辑D公理系统的一系列定理证明问题.提出2种基于模态逻辑的编码方式.构造相应的公理与推理规则形成模态公式集,保证对于D系统的定理证明过程等同于原问题的规划过程.并通过问题实例验证该方法的有效性.继基于SAT、CSP、线性规划、模型检测等求解技术的规划方法后,该规划框架是基于转换的规划方法的一种新的尝试.
其他文献
目的 探讨芪丹化瘀方对气虚血瘀证急性期缺血性卒中的临床疗效和机制.方法 将60例气虚血瘀证急性期缺血性卒中患者,按随机数字表法分为芪丹化瘀组30例,脑心通组30例.在常规治
陶红医师认为肺闭为小儿肺炎病机关键，麻杏石甘汤为治疗小儿肺炎基本方，临证根据病情复立三证三法，即咳嗽偏重，治拟宣肺止咳，清热化痰；发热偏重，治拟清热解毒，泻肺开闭；痰喘偏重，治拟祛
目的 通过大网膜包裹胰腺后缝合胰腺残端术式的动物模型寻找一种能有效降低术后胰漏率且简单实用的新方法.方法 行胰腺远端切除术后,将50只新西兰兔用随机数字表法分为对照组
In recent years, the main methods adopted for karst water prospecting in Yunnan province have been resistivity sounding, nuclear magnetic resonance, resistivity
目的 探讨阿尔茨海默病(AD)患者血清性激素的含量和性活动停止时间.方法 选取126例AD患者,作为AD组,其中男66例,女60例;正常对照组120例,男女各60例.早晨空腹采取2组静脉血3
目的探讨妊娠高血压综合征(妊高征)并发肝损害病例的临床特点,症状、高血压的程度等因素与肝损害的相关性。方法对我院32例妊高征合并肝损害病例进行回顾性分析;根据患者的症
目的 了解人造宝石加工行业职业危害因素对作业工人健康影响.方法 对某宝石厂车间作业环境进行卫生学调查,测量车间环境粉尘和噪声水平.并对890例作业人员和160例非接触职业
目的 探讨半枝莲和白花蛇舌草总多糖对肝癌(H22)脾虚证候动物模型的影响.方法 选无特定病原体级昆明小鼠36只(体质量18～22 g),完全随机分为正常对照组(6只)、脾虚模型组(6只)
目的：研究非皮试药物过敏反应的护理专业警惕性。方法：主要采用的是实例分析方法，笔者收集相关药物过敏反应患者18例，对其进行分析。结果：18例患者中，有8例在使用药物的初期就有较
电压闪变是供电系统主要的电能质量污染之一,国标GB 12326-2000规定了闪变的限值和测试方法.已有的研究主要集中在电压闪变值的检测和计算等方面,而闪变干扰源的定位则是电能