切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
知识推理描述语言NUML的设计,实现及应用
知识推理描述语言NUML的设计,实现及应用
来源 :计算机学报 | 被引量 : 0次 | 上传用户:xbjxbj008
【摘 要】
:
知识推理描述语言NUML用于描述多智能实体系统中协调地问题求解过程,它是一种具有良好数学基础的多风范语言,以智能代理为其基本程序结构,提供元级推理的描述能力。
【作 者】
:
许满武
陆剑锋
曾凡聪
戴劲雯
刘凤玉
张杰
【机 构】
:
南京大学计算机科学与技术系,南京理工大学计算机科学与工程系
【出 处】
:
计算机学报
【发表日期】
:
1995年9期
【关键词】
:
知识推理
描述语言
NUML语言
程序语言
Programming language
knowledge inference
higher-order π-
【基金项目】
:
国家863高科技基金,国家自然科学基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
知识推理描述语言NUML用于描述多智能实体系统中协调地问题求解过程,它是一种具有良好数学基础的多风范语言,以智能代理为其基本程序结构,提供元级推理的描述能力。
其他文献
一种类比知识表示与逻辑描述
本文叙述了一个以情境为单位基于情境间的整体部分关系的类比知识表示系统,给出了描述这种知识结构的内涵命题逻辑的语法,语义和公理系统,用实例说明了情境的联接不是逻辑与关系
期刊
类比推理
知识表示
内涵逻辑
Analogical reasoning. knowledge representation . intensional logi
蔡宪昌:让“点石成金”的行业更美好
大鸿制釉有限公司是由(台湾)中国制釉股份有限公司控股投资兴建,生产陶瓷色釉料,同时提供配套技术服务,现已发展成为全国最大并居来说有列的产销厂商。一手创办了大鸿制釉的公司董
期刊
股份有限公司
行业
技术服务
色釉料
金
制釉
董事长
投资
厂商
产销
逆行交锁髓内钉治疗股骨下段骨折28例
目的探讨逆行交锁髓内钉治疗股骨下段骨折方法及疗效。方法对28例股骨下段骨折患者逆行交锁髓内钉手术治疗临床资料进行回顾性分析。结果 4~6周均可见骨痂生长,术后16~30周骨折
期刊
交锁髓内钉
股骨骨折
骨折固定术
活血、补阳、固脱药对ARDS大鼠TNF-α治疗的实验研究
目的研究活血、补阳、固脱药对ARDS大鼠TNF-α的影响。方法采用内毒素复制大鼠ARDS模型,对比观察活血、补阳、固脱药小、中、大剂量及激素治疗后,ARDS大鼠BALF及血清中TNF-α
期刊
急性呼吸窘迫综合征
肿瘤坏死因子
BBS新手登陆指南
期刊
BBS
电子公告牌
调制解调器
WWW
溶栓治疗对急性心梗早期心电图呈不同缺血分级的疗效分析
目的探讨急性心肌梗死(AMI)早期心电图表现分别为Ⅱ级缺血、Ⅲ级缺血患者对溶栓治疗的临床疗效。方法应用国产尿激酶(UK)对Ⅱ级缺血患者进行溶栓治疗75例,其疗效与67例Ⅲ级缺血患
期刊
急性心肌梗死
尿激酶
Ⅱ级缺血
Ⅲ级缺血
MagnaRam97——优秀的内存优化工具
期刊
MagnaRam97
内存优化
工具软件
Quarterdeck公司
系统优化
基于结构的多级逻辑优化
本文提出一个基于结构的多级逻辑优化算法MLOBLS,多级组合逻辑网络的优化通过分析名逻辑门的可替代函数,并用简单的替代函数作替代变换完成。算法MLOBLS具有良好的逻辑结构重构能力,能得到近
期刊
逻辑优化
逻辑设计
多级逻辑优化
Logic optimization
logic structural optimization
multilevel log
成员系统模型及其归约
本文提出了一种基于有限关联团块观点的成员系统模型,主要针对不确定性情况给出了其归约操作的形式化描述,讨论了它与产生式系统的关系,并根据该模型及其归约过程,成功地设计实现
期刊
成员系统
归约
人工智能
模型
Member
member system
nondeterministic
reduction
member system pr
R~3中的双圆弧样条
本文主要结果是将平面R3中的双圆弧样条拓广成空间R3中的双圆弧样条,得到了给定空间R3中的两点及其单位矢量的双圆弧形式,并且当给定点与其单位切矢共面时,空间双圆弧自动退化为
期刊
R~3中的双圆弧样条
光顺
插值逼近
Biares in 3D space
faring
interpolation and approximation
与本文相关的学术论文