【摘 要】
：
对几种智能规划方法中利用的逻辑演绎与推理技术予以分析，分别介绍利用命题逻辑的基于可满足性的规划方法与规划系统，利用模态逻辑与析取推理的Conformant规划方法与规划系统，利
【机 构】
：
吉林大学计算机科学与技术学院,吉林大学符号计算与知识工程教育部重点实验室
论文部分内容阅读
对几种智能规划方法中利用的逻辑演绎与推理技术予以分析，分别介绍利用命题逻辑的基于可满足性的规划方法与规划系统，利用模态逻辑与析取推理的Conformant规划方法与规划系统，利用非单调逻辑的规划方法和利用模糊描述逻辑的Flexible规划方法，并结合国际规划竞赛和相关论文等的实验结论说明上述方法的有效性和可行性．最后，提出目前基于自动推理技术的智能规划方法所面临的挑战、可能的处理方法以及与之相关的研究热点与趋势．
其他文献
<正>在岁月长河中,每一个重大时间节点注定成为一个国家和地方的永恒印记。今后五年,我国正处在"两个一百年"奋斗目标交汇的关键节点上。浙江将以什么样的姿态迎接"两个一百
昆虫脂质是其表皮的重要组成成分,其中体表脂质是昆虫维持正常生命活动的第一道防护屏障。体表脂质合成通路主要由乙酰辅酶A羧化酶(ACC)、脂肪酸合成酶(FAS)、脂肪酸去饱和酶
男性化妆品市场狼烟四起,群雄逐鹿。可欧莱雅男士系列却后来居上,成为市场的领导者。秘密何在?
Male cosmetics market everywhere, crowds compete. Can L’Oreal men seri
激光熔覆技术作为一种先进制造技术,在航空航天、船舶、核电、能源化工能重要领域取得了广泛的应用。气孔及硬质相的分布不理想是激光熔覆过程中常见的问题,会严重影响熔覆材料的物理性能及可靠性。在本研究中,对激光熔覆过程添加电磁复合场,改变了熔池所受的体积力状态,最终实现气孔及硬质相分布的改善效果。本文利用电磁复合场对熔池受力状态的影响,达到对熔池中的气孔分布进行调控的目的。研究了电磁复合场对激光熔覆涂层的
文章基于“全厂围绕生产转,生产围绕经营转,经营围绕市场转”理念,从运用精益经营思维的角度,对修造船市场状况和企业经营管理特点进行分析,供国内同行企业在修造船市场弱势
准确了解陆地生态系统中碳密度的时空格局及其影响因子和作用机制,对于估算和预测不同类型生态系统中的植被和土壤的碳存储能力、判定碳汇、制定缓解全球变化的合理政策措施,
为了探明黑土旱田改为水田后土壤酶活性的变化,通过5点采样法取样,对旱田和水田土壤的酸碱度、电导率及土壤过氧化氢酶、脱氢酶、脲酶、转化酶和纤维素酶活性进行了测定。结
在信息化时代背景下,翻转课堂这一新型模式得到了充分的发展,该模式以信息技术作为主要依据,把以教师授课为主体置换为以学生课下知识内化为主体,强化教师和学生角色的变化,
孝文化一直是学界关注的焦点。改革开放以来,学者们对孝文化的起源、内涵、历史流变、地位及现代价值等方面的研究作出了不懈努力,硕果累累。对于中国传统学术文化的典范之区
<正>项目背景与动因南京创新环保执法自由裁量走向规范正确行使环境行政处罚自由裁量权,是严格执法、科学执法、推进依法行政的基本要求。2009年3月,国家环境保护部印发了《