专题首页
中图分类法(8)
数理科学和化学(6)
工业技术(2)
在“
CNKI学位论文
”中,
命中:
8
条,耗时:小于0.01 秒
1.
基于格值一阶逻辑系统的不确定性推理及其应用研究
作者:
常之艳
关键词:
语言真值格蕴涵代数
;
格值一阶逻辑
;
不确定性推理
;
语言值推理
;
语言值决策
论文级别:
博士
学位年度:2010
2.
基于语言真值格值逻辑的归结自动推理研究
作者:
李晓冰
关键词:
语言真值格蕴涵代数
;
语言真值格值逻辑
;
α-归结原理
;
α-归结自动推理
;
语言值决策
论文级别:
博士
学位年度:2008
3.
格蕴涵代数及语言真值不确定性推理研究
作者:
伊良忠
关键词:
蕴涵算子
;
格蕴涵代数
;
语言真值
;
语言真值不确定性推理
论文级别:
博士
学位年度:2007
4.
关于格值逻辑及其语言真值不确定性推理研究
作者:
潘小东
关键词:
多值逻辑
;
格值逻辑
;
不确定性推理
;
格蕴涵代数
;
格蕴涵序半群
;
α重言式
;
推理规则
;
语言真值
论文级别:
博士
学位年度:2010
5.
基于
语言真值格蕴涵代数
的格值命题逻辑及其归结自动推理研究
作者:
邹丽
关键词:
格蕴涵代数
;
语言真值推理
;
归结原理
;
语言真值命题逻辑
;
语言真值直觉模糊命题逻辑
论文级别:
博士
学位年度:2010
6.
基于语言真值格值一阶逻辑的不确定性推理研究
作者:
赖家俊
关键词:
语言真值格蕴涵代数
;
非经典逻辑
;
语言真值格值一阶逻辑
;
不确定性推理
论文级别:
博士
学位年度:2011
7.
基于格值逻辑的α-准锁语义归结自动推理研究
作者:
钟小梅
关键词:
α-归结原理的一般形式
;
α-准锁语义归结方法
;
α-群归结原理
;
α-群准锁语义归结方法
;
格值逻辑
;
语言真值格蕴涵代数
论文级别:
博士
学位年度:2012
8.
基于格值逻辑的语言真值α-广义锁归结自动推理研究
作者:
何星星
关键词:
语言真值格蕴涵代数
;
语言真值格值逻辑系统
;
α-归结自动推理
;
α-锁归结自动推理
;
α-广义归结自动推理
;
α-广义锁归结自动推理
论文级别:
博士
学位年度:2012
1
按检索点细分(8)
题名(1)
目录(6)
关键词(5)
摘要(5)
引文(1)
按论文级别细分(8)
博士(8)
按学位年度细分(8)
2007年(1)
2008年(1)
2010年(3)
2011年(1)
2012年(2)