首页> 中文会议>第二届中国Rough集与软计算学术研讨会 >一种新的算子Rough逻辑及其λ-归结<'*>)

一种新的算子Rough逻辑及其λ-归结<'*>)

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文特别介绍了一种λ-归结方法,得到λ-归结原理的完备性,从讨论中可以突出λ-归结方法依赖于算子的合成运算[η<,*>,η<'*>]的选择.

著录项

来源
《第二届中国Rough集与软计算学术研讨会》|2002年|15-17|共3页
会议地点苏州
作者
张倩生; 周作领;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类算法理论;泛函分析;
关键词
算子; Rough逻辑; λ-归结; 粗糙集理论;

相似文献

中文文献
外文文献
专利

1. 算子Rough逻辑及其归结原理 [J] . 刘清 . 计算机学报 . 1998,第005期
2. 基于Rough集的Rough数及λ算子的逻辑价值 [J] . 刘清 ,王黔英 . 软件学报 . 1996,第A00期
3. 带时态算子和H、L算子的Rough逻辑 [J] . 邓大勇 ,马丽 ,刘清 . 南昌工程学院学报 . 2003,第001期
4. 算子动态模糊逻辑系统及其归结研究 [J] . 冯钢 ,刘升贵 . 计算机与现代化 . 2009,第012期
5. 直觉算子模糊逻辑中的蕴含及其归结原理 [J] . 刘新 ,邹丽 . 辽宁师范大学学报（自然科学版） . 2004,第002期
6. 算子fuzzy逻辑及其归结推理的改进 [C] . 刘叙华 . 第一届中国人工智能联合学术会 . 1990
7. 基于Rough集的不确定性知识处理及Rough逻辑推理的研究 [A] . 王全蕊 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号