吴康恒
- 作品数:4 被引量:34H指数:2
- 供职机构:中山大学信息科学与技术学院软件研究所更多>>
- 发文基金:国家自然科学基金国家教育部博士点基金博士科研启动基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于模型检测的领域约束规划及其应用
- 该文首先分析研究了目前智能规划领域中的典型方法和关键技术,并对通用规划系统的实现机理进行概括描述.通用的规划方法是为了解决一般的规划问题而设计的,在具体应用下效率比较低.为此,该文介绍了我们增加领域约束的智能规划方法和据...
- 吴康恒
- 关键词:交通运输
- 文献传递
- 领域模型在智能规划中的学习及应用
- 智能规划(AutomatedPlanning)是人工智能(ArtificialIntelligence)研究领域的一个重要分支,在各个领域得到广泛的应用。其主要思想是:对周围环境进行认识与分析,根据预定实现的目标,对若干...
- 吴康恒
- 关键词:人工智能
- 文献传递
- 基于模型检测的领域约束规划被引量:24
- 2004年
- 基于模型检测的智能规划是当今通用的智能规划研究的热点,其求解效率比较高.但是,目前基于模型检测的智能规划系统没有考虑到利用领域知识来提高描述能力和求解效率.为此,研究了增加领域约束的基于模型检测的智能规划方法,并据此建立了基于模型检测的领域约束规划系统DCIPS(domain constraints integrated planning system).它主要考虑了领域知识在规划中的应用,将领域知识表示为领域约束添加到规划系统中.根据规划=动作+状态,DCIPS将领域约束分为3种,即对象约束、过程约束和时序约束,采用对象约束来表达状态中对象之间的关系,采用过程约束来表达动作之间的关系,采用时序约束表达动作与状态中对象之间的关系.通过在2002年智能规划大赛AIPS 2002上关于交通运输领域的3个例子的测试,实验结果表明,利用领域约束的DCIPS可以方便地增加领域知识,更加实用化,其效率也有了相应的提高.
- 吴康恒姜云飞
- 关键词:交通运输
- 从WSBPEL程序中学习Web服务的不确定动作模型被引量:10
- 2010年
- 智能规划是一种比较有前途的Web服务组合(WSC)方法.用规划进行WSC需要Web服务(WS)的动作模型,而让工程师来写它却很困难.考虑到现存WSC解决方案多用Web服务业务流程语言(WSBPEL)手工编写,可从现存方案中提取动作模型.由于WS本身有不确定性,且现存方案中蕴含对WS的语义要求,所以学习的应是体现流程语义且包含条件效果的不确定动作模型.为此,先将WSBPEL程序转成保留流程语义的标签转换系统(LTS);然后将动作模型学习技术扩展到包括条件效果的不确定规划(NDP),并从LTS中学习动作模型.实现了ARMS-WS系统,它可从WSBPEL程序中学习WS的不确定动作模型.
- 饶东宁蒋志华姜云飞吴康恒
- 关键词:人工智能WEB服务组合