规划的形式表示技术研究

来源 :计算机科学 | 被引量 : 0次 | 上传用户:sihuifuran
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
智能规划是人工智能研究领域中的一个富有挑战性的课题。同时,智能规划问题具有广泛的实际应用背景。而自动规划问题面临的首要问题是规划问题的形式表示问题。本文系统地分析了情景演算,STRIPS,PDDL,HTN等各种规划形式表示技术,比较了各种形式表示技术的优缺点,并指出了进一步研究设计高效智能规划系统的方向。
其他文献
美国作家西格里德·努涅斯的《朋友》是2018年度美国国家图书奖获奖作品。文章从聚焦模式、意识流、元小说式结尾三方面分析了《朋友》的叙事艺术和主题表现。小说的叙事
随着信息化时代的到来,新媒体与人们的生活开始相互融合,对各个行业以及社会的发展都产生了巨大的推动力,在一定程度上给传统电视新闻媒体造成了巨大的影响。因此,面对现代社
2011年11月5-6日,由浙江大学中文系主办的中文系的历史经验与学科建设国际学术研讨会暨《浙江大学中文系系史》丛书首发式兼座谈会在杭州召开。浙江省人大常委会副主任、浙江
2013年11月1~2日,由北京大学外国语学院伊朗文化研究所主办的波斯语文献与蒙元时代国际学术研讨会在北京大学召开。国内外研究蒙古史、元史、中外关系史、波斯文献学等领域的著
依据概念格中一个概念的内涵属性相对于另一个概念的内涵的不同关系,提出了区分属性概念,并研究了其性质;利用区分属性构造出概念格支撑函数。提出并证明了以支撑函数为基础的形
2012年9月14~15日,由云南大学大湄公河次区域研究中心、新加坡国立大学东亚研究所、大湄公河次区域高等教育联盟(GMSTEC)、日本京都大学东南亚研究中心、云南卫视新视野等单位联
党中央一直致力于加强全民国防教育,大力提升军民大融合,为实现中国梦、强军梦凝聚强大力量。中小学校作为国防教育最前沿阵地,以国防教育为抓手,推进学校日常德育管理的有序
本文提出一种利用可信计算技术增强文件系统可信性的方法,以Linux为基础,设计实现了一个可信文件系统原型CIVFS。CIVFS是一个结合加密和完整性校验两种保护措施的文件系统,它借