搜索页_缺省逻辑

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

常用资源

内部出版物

馆藏期刊(2)

CNKI学位论文(36)

知网期刊论文(19)

中图分类法(36)

哲学、宗教(4)

政治、法律(2)

语言、文字(8)

数理科学和化学(2)

农业科学(1)

工业技术(19)

在“CNKI学位论文”中，命中：36条，耗时：0.0169992 秒

在所有数据库中总计命中：57条

1.基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究

作者：李文江

关键词：格蕴涵代数 ; 广义格值模态逻辑 ; 定理自动证明 ; 归结原理

论文级别：博士

学位年度：2002

2.需求工程中的不确定性研究

作者：王拥军

关键词：泛逻辑学 ; 广义相关性 ; 人工智能 ; 不确定性推理 ; 不精确性 ; 不一致性 ; 缺省逻辑 ; 平均算子 ; 映射知识 ; 需求工程 ; 需求规格 ; 广义相似关系 ; 规则发现 ; 模糊类 ; 演化

论文级别：博士

学位年度：2002

3.缺省逻辑的扩充

作者：傅丽

关键词：(正规)缺省理论 ; 无前提 ; 相容扩充 ; 个数估计 ; 缺省规则 ; 判断 ; 简化原则 ; 分类原则 ; 累积缺省逻辑 ; 断言缺省逻辑 ; 支持 ; 表示性 ; 统计扩充 ; 统计缺省逻辑 ; 约束句子 ; ε-约束 ; 半单调性

论文级别：博士

学位年度：2005

4.关于格值逻辑及自动推理的研究

作者：李海明

关键词：格蕴涵代数 ; 滤子 ; MP-滤子 ; 格值逻辑 ; α-重言式 ; 逻辑神经单元 ; 自动推理 ; 路径

论文级别：博士

学位年度：2003

5.基于格蕴涵代数的格值逻辑系统及其自动推理的研究

作者：马骏

关键词：格蕴涵代数 ; 格值逻辑 ; 定理自动证明 ; 归结原理

论文级别：博士

学位年度：2002

6.基于语义WIKI的本体知识库研究

作者：饶国政

关键词：Wiki ; 语义Wiki ; 知识库 ; 本体工程 ; 描述逻辑 ; 非单调次协调逻辑

论文级别：博士

学位年度：2009

7.若干逻辑自动推理方法研究

作者：郭远华

关键词：定理证明 ; 自动推理 ; 子句搜索方法 ; 一阶逻辑 ; 格值逻辑 ; tableau方法 ; 试探方法 ; 自然推理方法 ; 可读证明

论文级别：博士

学位年度：2010

8.非单调推理的逻辑研究

作者：刘奋荣

关键词：非单调推理 ; 模态非单调逻辑 ; 缺省逻辑 ; 优先模型

论文级别：博士

学位年度：2001

9.面向中文信息处理的复句关系词自动标识研究

作者：舒江波

关键词：关系词 ; 自动标识 ; 自动机 ; 解空间 ; 规则库 ; 语义关联

论文级别：博士

学位年度：2011

10.逻辑系统动态结构演化研究

作者：郝清赋

关键词：规则 ; 可变规则 ; 逻辑系统 ; 结构演化

论文级别：博士

学位年度：2006

1

2

3

4

按检索点细分(36)

题名(1)

目录(14)

关键词(6)

摘要(13)

引文(20)

按论文级别细分(36)

博士(27)

硕士(9)

按学位年度细分(36)

2001年(1)

2002年(4)

2003年(2)

2004年(1)

2005年(4)

2006年(5)

2008年(2)

2009年(2)

2010年(2)

2011年(6)

2012年(5)

2014年(2)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700