谷文祥
- 作品数：96 被引量：362H指数：12
- 供职机构：长春建筑学院更多>>
- 发文基金：国家自然科学基金山东省自然科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术理学电气工程文化科学更多>>
- 基于延迟部分推理的快速前向规划系统被引量：10
- 2008年
- 根据动作组件诱发关系的存在和抵制计算的必要性,提出一个计算松弛规划解的新方法——延迟部分推理.该方法在考虑动作删除效果的假定下,构造不包含任何互斥关系的组件规划图,通过定义"松弛诱发"关系预测后续规划过程中可能出现的组件诱发现象,在松弛规划解提取阶段判断动作组件间的"松弛诱发"关系并选择抵制动作避免可能发生的消极作用.基于延迟部分推理方法定义了新的启发式函数和剪枝策略,设计了规划系统FFc并在多个国际通用的测试域上进行实验.结果表明,FFc较之Fast-Forward在求解效率和求解质量方面都有显著的提高.
- 蔡敦波殷明浩谷文祥孙吉贵刘科成
- 关键词：启发式搜索
- 可能性规划表示与求解
- 2008年
- 利用可能性理论提出了一种基于PDDL(planning domain definition language)的可能性规划表示方法——Poss-PDDL,给出了基于可能性理论框架下的定性决策理论和图规划算法的可能性规划求解方法——可能性图规划,设计并开发了可能性规划问题求解器Poss-Graphplan.PDDL是国际规划器大赛的标准域定义语言,这使得Poss-PDDL更具通用性和标准性.由于用可能性理论表示动作效果和状态的不确定性更具优势,因此Poss-Graphplan更适用于解决那些概率模型无法解决或者很难获得概率信息的不确定规划问题.可以证明,应用可能性图规划方法求解可能性规划问题得到的规划解是最优的.实验结果表明,可能性图规划方法在问题求解能力和速度上的表现都较为突出.
- 殷明浩李丹丹谷文祥孙吉贵
- 环的生成模糊理想被引量：8
- 2002年
- 采用一种新的方法,即利用确界刻画环中由模糊子集生成的各种模糊理想,给出了建立各种生成模糊理想的构造定理,其结果在模糊代数和计算机科学研究中将产生重要影响.
- 姚炳学谷文祥
- 知识编译研究被引量：2
- 2010年
- 知识编译是处理命题逻辑知识库常用的一种新技术,知识编译的过程就是把知识转换成易于推理的表示形式。作为一种有效的推理机制,这种技术已经被广泛地应用到各种各样的人工智能领域中。对目前知识编译的研究与应用进行了综述性的介绍,并且从简洁性、多项式时间内支持的查询操作以及多项式时间内支持的转换操作3个方面对各种知识编译目标语言做了系统的阐述。
- 谷文祥赵晓威殷明浩
- 关键词：知识编译命题逻辑知识库
- 基于区域的自动种子区域生长法的彩色图像分割算法被引量：24
- 2008年
- 提出了一种基于区域的自动种子区域生长法进行彩色图像分割的算法.该方法首先应用分水岭算法对图像进行初始化分割,形成过分割效果.然后从分水岭算法形成的区域出发,根据一定的规则自动选出一些区域作为种子区域,进行种子区域生长.与传统的种子区域生长法(SRG)以图像中的像素点作为种子进行生长的方法不同,本方法以区域作为种子并以区域作为生长单位进行区域生长.实验结果表明,该算法能够产生较好的分割效果及较快的分割速度.
- 孔俊王佳男谷文祥殷明浩
- 关键词：彩色图像分割SRG
- 格上三角模及其构造方法被引量：11
- 2002年
- 首先引进格上三角模的概念 ,给出 7个格上三角模的具体模型 .研究了格上三角模的基本性质 ,并给出了构造格上三角模的一般方法 .
- 谷文祥
- 关键词：三角模FUZZY代数概率度量空间
- 非确定规划及带有时间和资源的规划的研究被引量：5
- 2005年
- 智能规划是人工智能近年来的研究热点,早期的工作主要是围绕着具有较强约束的经典规划展开,最近的工作放宽了这些假设,使智能规划逐渐走向应用。在分析经典规划特点的基础上,介绍了非确定规划的研究进展和带有时间和资源的规划的研究,并对智能规划的进一步工作和存在的问题提出了一些看法。
- 张友红谷文祥刘日仙
- 关键词：人工智能
- 一种基于知识编译的模型计数方法
- 2010年
- 提出一种新的基于知识编译的模型计数方法——MTREE.该方法以一个否定范式(NF)作为输入,利用命题表推演过程,结合香农扩展和简化规则,将输入的否定范式编译成与之等价的R-模型树,在R-模型树上应用多项式时间算法求出其模型个数,即为原输入NF的模型个数.严格证明了该算法是完备有效的.
- 殷明浩刘华谷文祥
- 关键词：知识编译模型树
- 可满足问题中的模型计数被引量：3
- 2012年
- 模型计数问题是指计算给定问题的解的个数,这是一类比决策更困难的问题,也是人工智能领域研究的一个热点问题.对模型计数问题的研究不仅可以提高算法的求解效率,更能促进对问题困难本质的了解.以可满足问题(命题可满足(SAT)和约束可满足问题(CSP))为例,从精确算法和近似求解两方面综述了模型计数问题的研究现状,重点介绍了相关概念以及各个算法之间的优缺点,并提出了有待解决的开放性问题,对模型计数问题的研究予以了总结和展望.
- 谷文祥朱磊黄平殷明浩
- 关键词：人工智能
- 关于计算机汉字信息输入处理的一个新模型被引量：8
- 1995年
- 钱培德教授等在文献［１］中对汉字信息输入处理建立了数学模型。本文着眼于系统整体又给出了新的模型。在研究某些与系统整体有关的问题时，应用新模型会带来方便。
- 谷文祥
- 关键词：数学模型汉字信息处理计算机汉字输入
