期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一个新的模糊谓词演算形式系统
被引量:
10
1
作者
裴道武
姜慧
《东北师大学报(自然科学版)》
CAS
CSCD
北大核心
2003年第1期23-30,共8页
首先,在模糊逻辑命题演算形式系统L 的基础上,讨论了相应的谓词演算理论,建立了一阶形式系统K ,基于R0代数的基本理论,给出了系统K 的若干语义概念,包括M-解释I,I-赋值,公式的值,真,M-逻辑有效性等,从而形成了模糊谓词演算一种新的语...
首先,在模糊逻辑命题演算形式系统L 的基础上,讨论了相应的谓词演算理论,建立了一阶形式系统K ,基于R0代数的基本理论,给出了系统K 的若干语义概念,包括M-解释I,I-赋值,公式的值,真,M-逻辑有效性等,从而形成了模糊谓词演算一种新的语构与语义体系.其次,研究了系统K 的基本性质,指出了系统L 的定理都是系统K 的定理,给出了系统K 与量词有关的一些重要定理,证明了系统L 的重言式在系统K 中的代换实例都是系统K 中关于任何R0链的逻辑有效公式;系统K 的可靠性定理成立,即系统K 中的定理关于任何R0链也是逻辑有效的;系统K 的强可靠性定理也成立,即系统K 在任何理论T下的定理关于任何R0链也是逻辑有效的.最后给出并证明了系统K 的一种新的演绎定理,一阶系统K 及其重要的性质,为模糊推理提供了一种更为合理的逻辑框架.
展开更多
关键词
模糊逻辑
模糊谓词演算
一阶形式系统
R0代数
R0链
模糊推理
下载PDF
职称材料
一阶系统KL中一组形式相近公式之间的关系
2
作者
齐玉霞
周相泉
刘庆松
《山东师范大学学报(自然科学版)》
CAS
2010年第3期29-31,共3页
一阶语言是自然语言(特别的数学语言)的一种形式化体系,引入不同的连接词、量词、个体变元、谓词、个体常元、关系符号便有了不同的表达式.笔者讨论了一阶形式系统KL中一组形式相近公式(任意xi)A(xi),A(xi),( xi)A(xf)...
一阶语言是自然语言(特别的数学语言)的一种形式化体系,引入不同的连接词、量词、个体变元、谓词、个体常元、关系符号便有了不同的表达式.笔者讨论了一阶形式系统KL中一组形式相近公式(任意xi)A(xi),A(xi),( xi)A(xf),A(t),A(ai)之间的关系.从而可以更方便从语义和语构两方面研究一阶语言.
展开更多
关键词
一阶形式系统
KL
逻辑有效公式
完备性
关系
下载PDF
职称材料
题名
一个新的模糊谓词演算形式系统
被引量:
10
1
作者
裴道武
姜慧
机构
盐城师范学院数学系
长春市教育学院数学系
出处
《东北师大学报(自然科学版)》
CAS
CSCD
北大核心
2003年第1期23-30,共8页
基金
江苏省自然科学基金资助项目(01JD11007)
文摘
首先,在模糊逻辑命题演算形式系统L 的基础上,讨论了相应的谓词演算理论,建立了一阶形式系统K ,基于R0代数的基本理论,给出了系统K 的若干语义概念,包括M-解释I,I-赋值,公式的值,真,M-逻辑有效性等,从而形成了模糊谓词演算一种新的语构与语义体系.其次,研究了系统K 的基本性质,指出了系统L 的定理都是系统K 的定理,给出了系统K 与量词有关的一些重要定理,证明了系统L 的重言式在系统K 中的代换实例都是系统K 中关于任何R0链的逻辑有效公式;系统K 的可靠性定理成立,即系统K 中的定理关于任何R0链也是逻辑有效的;系统K 的强可靠性定理也成立,即系统K 在任何理论T下的定理关于任何R0链也是逻辑有效的.最后给出并证明了系统K 的一种新的演绎定理,一阶系统K 及其重要的性质,为模糊推理提供了一种更为合理的逻辑框架.
关键词
模糊逻辑
模糊谓词演算
一阶形式系统
R0代数
R0链
模糊推理
Keywords
fuzzy logic
fuzzy predicate calculus
first-order formal system K~*
R_0 algebra
R_0 chain
分类号
O141.1 [理学—基础数学]
下载PDF
职称材料
题名
一阶系统KL中一组形式相近公式之间的关系
2
作者
齐玉霞
周相泉
刘庆松
机构
聊城大学东昌学院
聊城大学学报编辑部
出处
《山东师范大学学报(自然科学版)》
CAS
2010年第3期29-31,共3页
基金
山东省自然科学基金资助项目(Y2000A05).
文摘
一阶语言是自然语言(特别的数学语言)的一种形式化体系,引入不同的连接词、量词、个体变元、谓词、个体常元、关系符号便有了不同的表达式.笔者讨论了一阶形式系统KL中一组形式相近公式(任意xi)A(xi),A(xi),( xi)A(xf),A(t),A(ai)之间的关系.从而可以更方便从语义和语构两方面研究一阶语言.
关键词
一阶形式系统
KL
逻辑有效公式
完备性
关系
Keywords
first - order formal system KL
logically efficient formula
completeness
relation
分类号
O141.1 [理学—基础数学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一个新的模糊谓词演算形式系统
裴道武
姜慧
《东北师大学报(自然科学版)》
CAS
CSCD
北大核心
2003
10
下载PDF
职称材料
2
一阶系统KL中一组形式相近公式之间的关系
齐玉霞
周相泉
刘庆松
《山东师范大学学报(自然科学版)》
CAS
2010
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部