石莲
- 作品数:6 被引量:94H指数:3
- 供职机构:吉林大学计算机科学与技术学院更多>>
- 发文基金:国家自然科学基金国家教育部博士点基金吉林省杰出青年科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于模态逻辑D公理系统的Conformant规划方法被引量:7
- 2009年
- 2006年,conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题,得到研究人员的广泛关注.目前,conformant规划系统都是将其看成信念状态空间上的启发式搜索问题予以求解.通过分析conformant规划问题的语法和语义,提出新的基于模态逻辑的规划框架,将其转换为模态逻辑D公理系统的一系列定理证明问题.提出2种基于模态逻辑的编码方式,构造相应的公理与推理规则形成模态公式集,保证对于D系统的定理证明过程等同于原问题的规划过程,并通过问题实例验证该方法的有效性.继基于SAT、CSP、线性规划、模型检测等求解技术的规划方法后,该规划框架是基于转换的规划方法的一种新的尝试.
- 吕帅刘磊李莹石莲
- 关键词:模态逻辑可满足性公理系统
- 基于模糊描述逻辑ALC~*的灵活规划求解
- 本文主要探讨基于描述逻辑的规划编码及其求解,对表示能力较强的描述语言ALC进行模糊扩展。在此框架下,对Flexible Planning规划问题编码,求解规划解。 描述逻辑作为知识表示的一种形式化工具已经应用到计算机科学...
- 石莲
- 关键词:描述逻辑模糊逻辑
- 文献传递
- 描述逻辑综述被引量:68
- 2006年
- 描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。作为一种知识表示的有效机制,描述逻辑被广泛地应用到计算机科学的许多领域中。本文对目前描述逻辑的研究与应用现状进行了综述性的介绍,并且从描述逻辑的定义、描述逻辑的基本语法及语义、体系结构以及描述逻辑在语义 Web 中的地位等方面做了系统阐述。
- 石莲孙吉贵
- 关键词:描述逻辑知识表示语义WEB形式化语言一阶逻辑基本语法
- 基于自动推理技术的智能规划方法被引量:23
- 2009年
- 对几种智能规划方法中利用的逻辑演绎与推理技术予以分析,分别介绍利用命题逻辑的基于可满足性的规划方法与规划系统,利用模态逻辑与析取推理的Conformant规划方法与规划系统,利用非单调逻辑的规划方法和利用模糊描述逻辑的Flexible规划方法,并结合国际规划竞赛和相关论文等的实验结论说明上述方法的有效性和可行性.最后,提出目前基于自动推理技术的智能规划方法所面临的挑战、可能的处理方法以及与之相关的研究热点与趋势.
- 吕帅刘磊石莲李莹
- 关键词:命题逻辑模态逻辑非单调逻辑描述逻辑可满足性
- 依赖公理约简的经典规划方法
- 2011年
- 基于可满足性的规划方法通过将经典规划问题转换为一系列可满足性问题进行求解.几乎所有基于可满足性的规划编码都存在着大量的重叠公理和冗余公理,直接决定了编码理论的编码大小与求解难度.通过分析基于Graphplan的编码方式,分别提出了重叠公理的判定策略和冗余公理的删除策略.在SATPLAN2006规划系统中实现相应的编码方式并与原系统进行比较,实验结果表明:该约简方法能够在不降低规划性能的前提下有效地压缩转换理论的编码大小.通过分析基于状态的编码方式,提出了重叠公理的判定策略.重叠公理与冗余公理的约简容易实现,且并未改变知识库的结构模式,为进一步提高规划系统处理更大规模问题的能力提供了可能.
- 吕帅刘磊石莲魏唯杨超
- 关键词:命题逻辑
- 面向语义Web的本体和规则结合方法研究
- 语义Web力图通过为Web上的内容增加语义信息,使得计算机能够参与Web信息的自动处理,从而更有效地利用Web信息,便于计算机和人协同工作。随着语义Web研究的进展,语义Web体系结构中的本体层以下得以逐层完善和成熟。但...
- 石莲
- 关键词:SPARQL描述逻辑逻辑程序直觉模糊逻辑产生式系统
- 文献传递