您的位置: 专家智库 > >

戈也挺

作品数:7 被引量:14H指数:2
供职机构:南京大学计算机科学与技术系计算机软件新技术国家重点实验室更多>>
发文基金:国家自然科学基金国家教育部博士点基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 5篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 7篇自动化与计算...

主题

  • 3篇人工智能
  • 2篇信念修正
  • 2篇因果理论
  • 2篇情景演算
  • 2篇非单调推理
  • 1篇因果关系
  • 1篇知识库
  • 1篇设计语言
  • 1篇情景
  • 1篇逻辑
  • 1篇逻辑系统
  • 1篇面向AGEN...
  • 1篇面向AGEN...
  • 1篇规划方法
  • 1篇OSC
  • 1篇AGENT技...
  • 1篇AI
  • 1篇CSP
  • 1篇常识推理
  • 1篇程序设计

机构

  • 7篇南京大学
  • 2篇南京航空航天...

作者

  • 7篇戈也挺
  • 6篇陈世福
  • 4篇骆斌
  • 2篇朱朝晖
  • 2篇郭磊
  • 1篇张东摩
  • 1篇陈舒
  • 1篇王崇骏
  • 1篇朱建中

传媒

  • 2篇计算机科学
  • 1篇计算机研究与...
  • 1篇计算机学报
  • 1篇软件学报
  • 1篇第六届中国人...

年份

  • 1篇2005
  • 1篇2004
  • 3篇2003
  • 2篇2001
7 条 记 录,以下是 1-7
排序方式:
模型法求规划的研究被引量:1
2004年
模型法求规划是一种通用的规划方法。它从给定问题的模型中抽取出规划。本文综述了模型法求规划的基本方法。首先介绍了SATPLAN和CSP,以讨论模型法求规划的通用框架。然后介绍了新近开发的模型法求规划系统,BLACKBOX和GP-CSP。在将模型法与演绎法和CBP法进行比较后,给出了模型法求规划的未来研究方向。
陈舒戈也挺骆斌陈世福
关键词:规划方法人工智能CSP
逻辑AI中的容变能力的研究
2003年
1引言 John McCarthy[1]提出要达到更高级的智能,关键之一在于系统能有效地处理常识信息情境(common sense informat-ic situation).与常识信息情境相对的是有界信息情境(bounded informatic situation).在有界信息情境中,与实现目标相关的信息在系统构建前已经确定,即系统初始时拥有所需的全部信息.
朱建中戈也挺骆斌陈世福
关键词:人工智能逻辑系统知识库非单调推理AI
面向Agent的行动推理研究
该文首先总结了行动推理的研究现状,包括形式化框架,主要问题,元理论等方面的结果.随后该文总结了行动推理中三大问题的解决方案,包括框架问题,结果问题和资格问题.其中较为详细地研究了结果问题诸多解决方案.MaCain和Hud...
戈也挺
关键词:AGENT技术因果理论
文献传递
行动推理中循环因果关系的研究被引量:1
2005年
近年来行动推理的研究成为人工智能领域的热门问题,而结果问题是目前行动推理研究的核心问题之一.该文针对许多行动推理系统不能处理循环因果关系的问题,提出了解决方法.基于适当修改后的McCain和Turner的因果理论,该文提出了一种能处理循环依赖的理论转化方法.转化后的因果理论消除了循环依赖,而且可以采用单调推理方法.基于因果闭包语义,证明了转化前后的因果理论具有相同的模型.当因果关系不存在循环依赖时,该文方法得到与McCain,Turner方法(1997)相同的结果.
骆斌戈也挺朱朝晖陈世福
关键词:因果关系非单调推理因果理论
行动推理中的结果问题
行动推理是人工智能研究的重要课题,结果问题是目前行动推理研究的核心问题之一.结果问题的解决方法可分为极小化方法和基于因果关系方法两大类.本文首先说明了结果问题的困难所在.随后,概述了简单极小化,分类极小化的典型方法,指出...
戈也挺朱朝晖骆斌陈世福
关键词:常识推理人工智能
文献传递
一种意向驱动式面向agent程序设计语言被引量:11
2003年
提出了一种意向驱动式面向agent程序设计语言——AOPLID(agent-oriented programming language with intention driver).该语言基于开放式情景演算OSC(open situation calculus),吸收了GOLOG的合理成分,加入对信念、意向、能力、策略等agent心智成分的处理,使用信念修正原语处理通信交互以及事件响应等外因行动,并采用了一种新颖的离线规划和在线执行相结合的运行方式,从而解决了GOLOG语言在应用于面向agent程序设计时不能有效地描述处理agent心智状态,无法处理外因行动等问题.给出了AOPLID语言语法结构,基于OSC的AOPLID程序语义以及AOPLID程序实例.
郭磊戈也挺陈世福张东摩
关键词:程序设计语言AGENT情景演算信念修正
OSC:一个开放式情景演算系统的研究被引量:2
2003年
在经典情景演算系统的基础上引入了广义信念修正理论,构建了一个开放式情景演算系统OSC(open situationcaculus),克服了经典情景演算系统不能刻画交互通信能力以及对事件的响应处理能力的缺陷.OSC系统保留了经典情景演算系统中的情景流result-of(a,s),用以刻画行动的影响;同时又引入了新的情景流bel-rev(φ,s),用以刻画通信交互以及对事件的响应处理等具有开放性信息的活动.OSC系统采用了离线规划与在线执行相结合的运行方式,为面向agent程序设计语言、面向agent智能系统的设计开发等应用提供了有效途径.
王崇骏戈也挺郭磊陈世福
关键词:情景演算信念修正面向AGENT技术
共1页<1>
聚类工具0