戈也挺

作品数：5被引量：9H指数：1
导出分析报告
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室更多>>
发文主题：人工智能信念修正情景演算非单调推理因果理论更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机研究与发展》《软件学报》《计算机学报》《计算机科学》更多>>
所获基金：国家自然科学基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
行动推理中循环因果关系的研究被引量：1
《计算机学报》2005年第5期829-837,共9页骆斌 戈也挺 朱朝晖 陈世福 
国家自然科学基金(60003010);江苏省自然科学资金(BK2004079)资助.~~
近年来行动推理的研究成为人工智能领域的热门问题,而结果问题是目前行动推理研究的核心问题之一.该文针对许多行动推理系统不能处理循环因果关系的问题,提出了解决方法.基于适当修改后的McCain和Turner的因果理论,该文提出了一种能处...
关键词：因果关系 结果问题 行动推理 非单调推理 规划 因果理论 
模型法求规划的研究被引量：1
《计算机科学》2004年第5期138-141,共4页陈舒 戈也挺 骆斌 陈世福 
国家自然科学基金(60003010)
模型法求规划是一种通用的规划方法。它从给定问题的模型中抽取出规划。本文综述了模型法求规划的基本方法。首先介绍了SATPLAN和CSP,以讨论模型法求规划的通用框架。然后介绍了新近开发的模型法求规划系统,BLACKBOX和GP-CSP。在将模型...
关键词：模型法求规划 规划方法 人工智能 SATPLAN CSP 
OSC:一个开放式情景演算系统的研究被引量：1
《计算机研究与发展》2003年第11期1598-1605,共8页王崇骏 戈也挺 郭磊 陈世福 
国家自然科学基金(60003010);高等学校博士点基金(97028428)
在经典情景演算系统的基础上引入了广义信念修正理论,构建了一个开放式情景演算系统OSC(open situationcaculus),克服了经典情景演算系统不能刻画交互通信能力以及对事件的响应处理能力的缺陷.OSC系统保留了经典情景演算系统中的情景流r...
关键词：情景演算 信念修正 面向AGENT技术 
逻辑AI中的容变能力的研究
《计算机科学》2003年第9期31-34,共4页朱建中 戈也挺 骆斌 陈世福 
国家自然科学基金(60003010)
1引言 John McCarthy[1]提出要达到更高级的智能,关键之一在于系统能有效地处理常识信息情境(common sense informat-ic situation).与常识信息情境相对的是有界信息情境(bounded informatic situation).在有界信息情境中,与实现目标相...
关键词：人工智能 逻辑系统 知识库 非单调推理 行动推理 AI 容变能力 常识推理系统 信息情境 
一种意向驱动式面向agent程序设计语言被引量：7
《软件学报》2003年第3期383-391,共9页郭磊 戈也挺 陈世福 张东摩 
Supported by the National Natural Science Foundation of China under Grant No.60003010 (国家自然科学基金); the National Research Foundation for the Doctoral Program of Higher Education of China under Grant No.97028428 (国家教育部博士点基金)
提出了一种意向驱动式面向agent程序设计语言——AOPLID(agent-oriented programming language with intention driver).该语言基于开放式情景演算OSC(open situation calculus),吸收了GOLOG的合理成分,加入对信念、意向、能力、策略等a...
关键词：意向驱动式 程序设计语言 AOPLID语言 AGENT 外因行动 情景演算 信念修正 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部