首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   4篇
  免费   1篇
  国内免费   1篇
化学工业   2篇
无线电   1篇
自动化技术   3篇
  2011年   1篇
  2009年   2篇
  2006年   1篇
  2001年   1篇
  1990年   1篇
排序方式: 共有6条查询结果,搜索用时 15 毫秒
1
1.
吕帅  刘磊  石莲  魏唯  杨超 《电子学报》2011,39(2):322-328
 基于可满足性的规划方法通过将经典规划问题转换为一系列可满足性问题进行求解.几乎所有基于可满足性的规划编码都存在着大量的重叠公理和冗余公理,直接决定了编码理论的编码大小与求解难度.通过分析基于Graphplan的编码方式,分别提出了重叠公理的判定策略和冗余公理的删除策略.在SATPLAN2006规划系统中实现相应的编码方式并与原系统进行比较,实验结果表明:该约简方法能够在不降低规划性能的前提下有效地压缩转换理论的编码大小.通过分析基于状态的编码方式,提出了重叠公理的判定策略.重叠公理与冗余公理的约简容易实现,且并未改变知识库的结构模式,为进一步提高规划系统处理更大规模问题的能力提供了可能.  相似文献   
2.
描述逻辑综述   总被引:12,自引:2,他引:12  
石莲  孙吉贵 《计算机科学》2006,33(1):194-197
描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。作为一种知识表示的有效机制,描述逻辑被广泛地应用到计算机科学的许多领域中。本文对目前描述逻辑的研究与应用现状进行了综述性的介绍,并且从描述逻辑的定义、描述逻辑的基本语法及语义、体系结构以及描述逻辑在语义Web中的地位等方面做了系统阐述。  相似文献   
3.
<正> 有机玻璃是甲基丙烯酸甲酯(MMA)本体聚合的产品,因其具有透明性好、不易破碎等优异性能,在国民经济各个行业中得到广泛应用。近年来,有机玻璃内镶嵌技术在装璜、装饰、标本保存等方面的应用不断扩大,但目前的制品大多面积小,厚度薄。最近,我们经反复实验,研制  相似文献   
4.
基于自动推理技术的智能规划方法   总被引:10,自引:0,他引:10  
吕帅  刘磊  石莲  李莹 《软件学报》2009,20(5):1226-1240
对几种智能规划方法中利用的逻辑演绎与推理技术予以分析,分别介绍利用命题逻辑的基于可满足性的规划方法与规划系统,利用模态逻辑与析取推理的Conformant规划方法与规划系统,利用非单调逻辑的规划方法和利用模糊描述逻辑的Flexible规划方法,并结合国际规划竞赛和相关论文等的实验结论说明上述方法的有效性和可行性.最后,提出目前基于自动推理技术的智能规划方法所面临的挑战、可能的处理方法以及与之相关的研究热点与趋势.  相似文献   
5.
挤出成型生产钙塑瓦楞纸板   总被引:1,自引:0,他引:1  
采用粉料造粒,挤出压光成纸,复合成钙塑瓦楞纸板的加工工艺,可大幅度降低设备投资成本,改善劳动环境。可以说是钙塑瓦楞纸板生产领域的一次革新。  相似文献   
6.
基于模态逻辑D公理系统的Conformant规划方法   总被引:4,自引:0,他引:4  
2006年,conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题,得到研究人员的广泛关注.目前,conformant规划系统都是将其看成信念状态空间上的启发式搜索问题予以求解.通过分析conformant规划问题的语法和语义,提出新的基于模态逻辑的规划框架.将其转换为模态逻辑D公理系统的一系列定理证明问题.提出2种基于模态逻辑的编码方式.构造相应的公理与推理规则形成模态公式集,保证对于D系统的定理证明过程等同于原问题的规划过程.并通过问题实例验证该方法的有效性.继基于SAT、CSP、线性规划、模型检测等求解技术的规划方法后,该规划框架是基于转换的规划方法的一种新的尝试.  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号