【摘 要】
：
命题动态逻辑是对动作进行刻画和推理,并在此基础上进行规划求解的一种有效工具。PDL规划问题一般通过逻辑推演进行求解,其本质是将规划问题转化为PDL公式的可满足性问题,相
【基金项目】
：
广西自然科学基金（0832006Z）
论文部分内容阅读
命题动态逻辑是对动作进行刻画和推理,并在此基础上进行规划求解的一种有效工具。PDL规划问题一般通过逻辑推演进行求解,其本质是将规划问题转化为PDL公式的可满足性问题,相应的推理复杂度为EXP-完全。与可满足性推理相对应,PDL模型检测问题具有多项式级别的时间复杂度。鉴于PDL模型检测的高效,对基于模型检测的PDL规划求解进行研究,从PDL规划语义的角度证明了PDL规划可以通过模型检测的方法求解,在这基础上给出基于模型检测的PDL规划算法,结合实例验证了算法的正确性。
其他文献
人的声音虽然具有个性特征,但随着电子信息技术的迅猛发展,人的语音也可以被模仿。当模仿者模仿说话人声音相似度极高时,当前说话人身份确认系统就有可能会被非法欺骗。研究
光纤通道仲裁环节点带宽分配，是以保证网络消息的实时传输为目标的。为解决网络消息集实时发送的问题，保证光纤通道仲裁环在强实时条件下的应用，依据实时系统中的周期任务模型，研
高职院校英语教育越来越受到关注。笔者结合多年的教学经验，就如何培养学生的英语自主学习意识提出了一些自己的主张，学生应该养成时刻学英语、用英语的习惯。
提出一个求解非线性互补问题的混合遗传算法，即首先将非线性互补问题转化为等价的最优化问题，然后利用浮点遗传算法全局群体搜索能力及起始搜索速度快的特点，快速得到接近精确解
模糊故障树法是一种逻辑性强、直观形象的可靠性分析方法,既可定性又可定量地对系统典型故障进行分析,为故障分析处理及系统设计提供了理论依据。本文针对汽车发动机常见的故
目的了解3D腹腔镜胃癌根治术对胃癌患者的临床应用价值。方法取本院2017年12月至2018年9月诊疗胃癌患者作为分析对象,有38例,对所有患者均用3D腹腔镜胃癌根治术治疗,将患者相
东海ＺＫ７０３钻孔位于苏鲁超高压变质带南部，钻孔深５５８ｍ穿过的岩性主要为榴辉岩，黑云斜长片麻岩和石榴橄榄岩，及少量多硅白云母石英片岩，石榴石多硅白云母英片岩，蓝晶石石英岩和硬玉石英岩，钻孔
代数决策图(ADD)是布尔函数的一种简洁紧凑的符号描述方法。用ADD对多值图像进行建模,可以有效降低数据冗余,然后对ADD模型进行有效的编码,可以达到数据压缩的目的。实验结果显示本方法的压缩比高于游程编码、哈夫曼编码,较LZ77编码也有一定优势。
著名的埃迪卡拉纪化石Dickinsonia是最有争议的一种生物，曾被认为是刺胞动物、扁行动物的、环节动物，甚至被归人非后生动物文德生物界或地衣类。从俄罗斯白海地区冬季海岸5亿5