论文部分内容阅读
Ｒｅｉｔｅｒ的缺省逻辑存在的着局限性，它无法表示缺省规则之间的优先级，无法处理缺省规则中析取，并且不满足累积性，虽然Ｂｒｅｗｋａ提出出带优先级的缺省逻辑和累积缺省逻辑，但不能安全克服上述局限性，本文介绍了分层ＡＴＭＳ，然后指出有分层ＡＴＭＳ实现的缺省有克服现有缺省逻辑中了局限性。
用分层ATMS实现缺省逻辑
【摘 要】
：
Ｒｅｉｔｅｒ的缺省逻辑存在的着局限性，它无法表示缺省规则之间的优先级，无法处理缺省规则中析取，并且不满足累积性，虽然Ｂｒｅｗｋａ提出出带优先级的缺省逻辑和累积缺省逻辑，但不能安全克服上述局限性，本
【机 构】
：
图象处理及模式识别研究所
【出 处】
：
上海交通大学学报
【发表日期】
：
1996年12期
【基金项目】
：
国家自然科学基金
其他文献
随着我国经济水平的不断提升,人们对家装行业有了越来越高的要求,建筑和室内装修材料的多样化,使人们在选择装修样式和装修质量时,有了更多的选择。但是,建筑和装修材料的兴
运动图象的扫描方式有２种，即逐行扫描和隔行扫描，这２种扫描方式产生的图象的特性大不相同，从而在压缩编码处理也出现很不一致的结果，为适应图象的特性，图象往往采用帧或场的不同方式
环境污染如今已经成为当今社会中最为关注的问题之一,对于环境的治理和控制随着换进的日益恶化已经越来越迫在眉睫.控制污染物流出扩散,保护环境持续有效改善已经成为人们共
应用Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程建立了高分子聚合物在双螺杆挤出机螺槽中压力分布的计算模型，分析了喂料量，螺杆冷却方式，螺杆转速等操作工艺参数与螺槽中压力分布的关系，以及压力分布对挤出物质量（即挤
讨论了存在三阶非线性克尔效应效波光栅耦合区导波所满足的耦合模型方程以及解析解，分析非线性效应及光栅辐射衰减两因素对导波场分布，光栅耦合效率和非线性位相等的作用，据此提
高等职业教育是一种新的教育模式,它的层次、类型的定位、专业建设等都有待于进一步探索,粮油储检高职专业是为我省粮食企业的需要而创办的.它的课程体系、专业建设、师资结
通过对两组近义词所构成句子的论述,指出了这两组近义词在意义上、接续上的相同点与不同点,强调了其构成句子的一般规律及各自特征.
对蜂蜜品质的鉴定，目前，无论国内或国外均无科学理论依据和规范检定方法，并且各国执行不一。因而，其检验结果都不能正确表述蜂蜜品质的优劣。特别是在我国贸易中，因品质问题给交易
本文在以往理论计算结果的基础上，作者进行了模型试验。试验采用随机振荡法，测量并记录了锚泊线上端点的运动及张力，由此测量数据分析频率响应函数。采用ＦＦＴ法分析一阶频率响应函数