李斌

作品数：5被引量：0H指数：0
导出分析报告
供职机构：南京航空航天大学计算机科学与技术学院更多>>
发文主题：程序语言程序设计LOGICLINEKNOWLEDGE_REPRESENTATION更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《Transactions of Nanjing University of Aeronautics and Astronautics》《计算机工程与设计》《南京航空航天大学学报（自然科学版）》更多>>
所获基金：江苏省自然科学基金国家自然科学基金中国航空科学基金江苏省青年科技基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
分布式信息系统集成的语义架构SP4IDIS
《计算机工程与设计》2008年第3期768-770,共3页姜艺 李斌 朱俊武 
国家自然科学基金项目(70471090、70472005);江苏省自然科学基金项目(BK2005046、BK2005052)
为了解决分布式信息系统之间信息无法共享的问题,提出一种基于形式语义的系统集成支撑技术,构建了分布式信息系统的可共享语义平台。该方法保持了源信息系统的自治性,通过构造融合本体为分布式信息系统提供信息解释公用模版。与已有的...
关键词：分布式信息系统 本体 语义 集成 
有限语言下占先模型的赋值结构
《南京航空航天大学学报》2001年第3期292-295,共4页朱朝晖 李斌 
国家自然科学基金 (编号 :69875 0 0 7);江苏省自然科学基金 (编号 :BK991 1 9)资助项目
占先语义是知识表示与推理中应用最广的语义结构 ,它有多种定义方式 ,其中以 S.Kraus,D.Lehmann及 M.Magidor提出的 KLM占先结构最为著名。但是对 KLM占先结构本身的模型论性质却缺少系统深入的研究。本文在有限语言框架下 ,对一般 KLM...
关键词：占先语义 非单调逻辑 赋值结构 有限语言 模型 人工智能 
A NOTE ON CONDITIONAL IMPLICATION
《Transactions of Nanjing University of Aeronautics and Astronautics》2001年第1期41-46,共6页朱朝晖 李斌 陈世福 朱梧槚 
国家自然科学基金 (编号 :69875 0 0 7);江苏省自然科学基金 (编号 :BK99119)资助项目~~
It is well known that there exists a tight connection between nonmonotonic reasoning and conditional implication. Many researchers have investigated it from various angles. Among th em, C.Boutilier and P.Lamarre hav...
关键词：commonsense reasoning artifical intelligence knowledge representation nonmonotonic logic conditiona l logic 
带时间参数的面向agent的程序语言AOPLID
《南京航空航天大学学报》1999年第3期263-269,共7页李斌 张东摩 朱梧價 
航空科学基金;江苏省青年科技基金
对面向ａｇｅｎｔ的程序设计语言ＡＯＰＬＩＤ进行时态扩充，使之能表达并处理带时间参数的并发行动。对经典情境演算进行适当改造，使之能描述含时间变元的行动，因为持续行动一般可认为是具有瞬时开始行动和瞬时终止行动的过程，因此...
关键词：程序设计 程序语言 时间参数 情境演算 解释器 
OFF LINE INTERPRETER OF AGENT ORIENTED PROGRAMMING LANGUAGE AOPLID
《Transactions of Nanjing University of Aeronautics and Astronautics》1999年第1期8-13,共6页李斌 张东摩 朱梧槚 
AOPLID is a novel agent oriented programming language whose theoretical framework is the existed situation calculus theory and agent model based on intention driven manner. An AOPLID program is represented in set ma...
关键词：programming language INTERPRETER situation calculus 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部