凌应标
- 作品数：16 被引量：76H指数：5
- 供职机构：中山大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金国家大学生创新性实验计划更多>>
- 相关领域：自动化与计算机技术理学文化科学更多>>
- 特征谓词知识树分解策略的研究被引量：1
- 2011年
- 搜索空间约减是智能规划研究中的重要内容之一.谓词知识树是一种特殊的树状结构,它表达了规划领域中实现同一谓词的所有动作.在规划求解过程中,这些动作的前提条件通常是不能同时得到满足的.因此,提出了知识树的分解原理以及基于特征前提的知识树分解策略,并给出了相应的分解算法.对任意一个规划领域,利用该分解算法可将知识树分解成若干个较小规模的知识子树,使其对具体规划状态具有更强的针对性.在规划求解过程中使用知识子树可以避免一些不必要的动作搜索,提高规划效率.实验结果表明分解算法是有效的.
- 吴向军边芮凌应标姜云飞
- 关键词：知识树
- 创新型人工智能教学改革与实践被引量：20
- 2010年
- 人工智能是计算机科学与技术专业的一门重要专业课程,是一门研究运用计算机模拟和延伸人脑功能的综合性学科。探讨就3个方面内容进行:启发式传授人工智能解决问题的非结构化的思想;成体系的实验训练;与毕业论文、学校大学生科研项目资助计划、国家大学生创新性实验计划相对接的科研训练。上述3个方面层层递进、环环相扣,是体系完整的创新型人工智能教学实践。
- 王甲海印鉴凌应标
- 关键词：人工智能
- 可满足性问题的高效遗传算法
- 在本文中,首先给出一些相关定义和将SAT问题转换为一元函数求最大值的方法,然后阐述SAT-GA算法的基本思想,以及与算法相关的染色体编码、适应值函数、遗传算子的设计、早熟和发散的控制方法,简单分析了该算法的平均复杂度,最...
- 凌应标吴向军
- 关键词：计算机计算遗传算法适应值函数遗传算子命题逻辑
- 文献传递
- 一种按步推进的全局规划策略
- 本文所提的规划策略是我们正在研究的智能规划器的规划策略之一,该策略的主要思想已在计算机上得到实现.从目前所测试的所有例子来看,它对积木世界问题的求解质量非常高,能达到与人的移动步数一样多.
- 吴向军姜云飞凌应标
- 关键词：人工智能软件系统
- 文献传递
- 离散差分进化算法生成无线传感器最优化调度方案的方法
- 本发明提供的生成最优调度方案的方法通过引入离散差分进化算法，对变异、交叉、选择进行重新定义，使其能应用在离散问题中，经试验证明，离散化差分进化算法在解决离散问题中，与连续版本一样，都具有良好性能。同时，为进一步证明此方法...
- 刘宇凌应标
- 文献传递
- STRIPS规划领域中动作效果关系的研究被引量：15
- 2007年
- 以规划领域中的动作为研究对象,提出了描述动作前提条件和效果之间关系的方法,定义了动作前提和效果之间的基本关系:直接伴随关系、条件伴随关系和直接阻碍关系等,这些基本关系反映了规划动作中所隐含的领域知识.对动作效果的基本关系,定义了进行关系组合的运算,产生出间接阻碍关系和绝对阻碍关系.间接阻碍关系反映出动作前提条件的传递性;绝对阻碍关系表达出实现一个谓词对其他谓词实现的影响.最后给出动作效果关系在规划求解过程中的具体运用,这些动作效果关系为目标实现顺序的排序、目标状态可解性的判定以及动作选择策略的优化等提供了必要的理论依据.
- 吴向军姜云飞凌应标
- 基于STRIPS的领域知识提取策略被引量：22
- 2007年
- 提出了谓词之间的一种相似关系,并用该相似关系得到可实现某谓词的动作集.利用该动作集中所有动作的公共前提谓词和公共效果谓词,提取出隐含在动作描述中的领域知识,并给出了描述领域知识的一种形式化方法.最后,对具体的规划问题,可利用领域知识判断出初始状态或目标状态中存在的矛盾.该领域知识的提取策略已应用于智能规划器StepByStep之中,所获取的领域知识对选择待实现的谓词提供了必要的理论依据.
- 吴向军姜云飞凌应标
- 关键词：人工智能STRIPS领域知识
- 最优分组周游路线问题建模与双层遗传算法求解
- 最优分组周游路线问题是一类物流智能调度问题,是众多的计算难度极大的组合爆炸问题之一.自从运输问题最早由Hitchcock在1941年提出[2,4]后,人们对这一类问题给予了极大的关注并进行了大量的研究,提出了有效解决问题...
- 凌应标李倩周展文
- 文献传递网络资源链接
- 基于子句权重学习的求解SAT问题的遗传算法被引量：19
- 2005年
- 该文提出了一种求解SAT问题的改进遗传算法(SATWAGA).SATWAGA算法有多个改进性特点:将SAT问题的结构信息量化为子句权重,增加了学习算子和判定早熟参数,学习算子能根据求解过程中的动态信息对子句权重进行调整,以便防止遗传进程的早熟,同时,算法还采用了最优染色体保存策略,防止进化过程的发散.该文最后描述了实现包括SATWAGA等多个算法的实验系统,对选择最佳早熟判定参数值给出了一些有效的建议.实验结果表明:与一般遗传算法相比,SATWAGA算法在求解速度、成功率和求解问题的规模等方面都有明显的改善.
- 凌应标吴向军姜云飞
- 关键词：SAT问题遗传算法早熟
- 基于历史搜索信息的动态物流最佳配送线路的优化方法
- 本发明提供一种基于历史搜索信息的动态物流最佳配送线路的优化方法，该方法在动态物流配送问题中具有较高效率且能够在配送中心和配送客户之间找到一条最短且满足每个客户配送要求的最佳配送线路。传统物流问题中的配送客户和客户之间的路...
- 曹彦凌应标
- 文献传递
