切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
用分层ATMS实现缺省逻辑
用分层ATMS实现缺省逻辑
来源 :上海交通大学学报 | 被引量 : 0次 | 上传用户:diana20xx
【摘 要】
:
Reiter的缺省逻辑存在的着局限性,它无法表示缺省规则之间的优先级,无法处理缺省规则中析取,并且不满足累积性,虽然Brewka提出出带优先级的缺省逻辑和累积缺省逻辑,但不能安全克服上述局限性,本
【作 者】
:
杨杰
郭钧锋
【机 构】
:
图象处理及模式识别研究所
【出 处】
:
上海交通大学学报
【发表日期】
:
1996年12期
【关键词】
:
人工智能
非单调推理
缺省逻辑
分层ATMS
artificial intelligence
nonmonotonic reasoning
default
【基金项目】
:
国家自然科学基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Reiter的缺省逻辑存在的着局限性,它无法表示缺省规则之间的优先级,无法处理缺省规则中析取,并且不满足累积性,虽然Brewka提出出带优先级的缺省逻辑和累积缺省逻辑,但不能安全克服上述局限性,本文介绍了分层ATMS,然后指出有分层ATMS实现的缺省有克服现有缺省逻辑中了局限性。
其他文献
浅谈如何规范室内环境检测
随着我国经济水平的不断提升,人们对家装行业有了越来越高的要求,建筑和室内装修材料的多样化,使人们在选择装修样式和装修质量时,有了更多的选择。但是,建筑和装修材料的兴
期刊
室内环境
检测工作
空气污染
运动图象场/帧处理格式的判决
运动图象的扫描方式有2种,即逐行扫描和隔行扫描,这2种扫描方式产生的图象的特性大不相同,从而在压缩编码处理也出现很不一致的结果,为适应图象的特性,图象往往采用帧或场的不同方式
期刊
图象压缩
场
帧判决
MPEG
运动图象
imagecompression
field/framedecision
MPEG
浅析危废处置方法及技术探索
环境污染如今已经成为当今社会中最为关注的问题之一,对于环境的治理和控制随着换进的日益恶化已经越来越迫在眉睫.控制污染物流出扩散,保护环境持续有效改善已经成为人们共
期刊
危险废物
处理技术
环境污染
全啮合同向旋转双螺杆挤出机螺槽中压力分布的研究
应用Navier-Stokes方程建立了高分子聚合物在双螺杆挤出机螺槽中压力分布的计算模型,分析了喂料量,螺杆冷却方式,螺杆转速等操作工艺参数与螺槽中压力分布的关系,以及压力分布对挤出物质量(即挤
期刊
双螺杆挤出机
压力分布
挤出物质量
s: twin screw extruder
pressure distribution
extrusion mater
非线性导波光栅耦合
讨论了存在三阶非线性克尔效应效波光栅耦合区导波所满足的耦合模型方程以及解析解,分析非线性效应及光栅辐射衰减两因素对导波场分布,光栅耦合效率和非线性位相等的作用,据此提
期刊
非线性光学
导波光学
光栅耦合
nonlinear optics 3 guidewave optics
grating coupling
突出特色办好储检高职专业
高等职业教育是一种新的教育模式,它的层次、类型的定位、专业建设等都有待于进一步探索,粮油储检高职专业是为我省粮食企业的需要而创办的.它的课程体系、专业建设、师资结
期刊
高等职业教育
粮油储检专业
专业建设
实践技能训练
higher professional education
specialty of storage and
如何提高饲料制粒工艺中调质效果
调质在饲料制粒过程中起着重要作用。对不同类型的调质器进行了介绍。详述了不同物料性质对蒸汽量、调质时间、料温等各参数要求。
期刊
调质
调质器
蒸汽压力
饲料
制粒工艺
日语词义辨析二篇
通过对两组近义词所构成句子的论述,指出了这两组近义词在意义上、接续上的相同点与不同点,强调了其构成句子的一般规律及各自特征.
期刊
日语
词义
近义词
句子
构成特征
probably(after numerals)
degree
用花粉含量鉴定蜂蜜品质的研究
对蜂蜜品质的鉴定,目前,无论国内或国外均无科学理论依据和规范检定方法,并且各国执行不一。因而,其检验结果都不能正确表述蜂蜜品质的优劣。特别是在我国贸易中,因品质问题给交易
期刊
蜂蜜品质
检验依据
检定方法
花粉含量
随机振荡法测量锚泊线动力的双频率响应函数
本文在以往理论计算结果的基础上,作者进行了模型试验。试验采用随机振荡法,测量并记录了锚泊线上端点的运动及张力,由此测量数据分析频率响应函数。采用FFT法分析一阶频率响应函数
期刊
锚泊线
随机振荡法
频率响应函数
船舶
动力分析
mooring line
bi-frequency
response function
dynamics
与本文相关的学术论文