期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
多值逻辑Lukasiewicz-T arski系统的函数保核完备性
被引量:
1
THE FUNCTIONAL KERNEL-PRESERVING COMPLET-ENESS OF Lukasiewicz-Tar ski's MULTI-VALUEDLOGIC SYSTEM
下载PDF
职称材料
导出
摘要
本文中的符号和术语,如未加说明,皆引自[1],给定整数M≥2,真值集合T_M={1,…,M},命题函数F_1(P_1,P_2)=P_1CP_2,F_2(P)=NP对应的真值函数分别为:
作者
应明生
机构地区
江西抚州师范专科学校
出处
《计算机学报》
EI
CSCD
北大核心
1989年第4期307-309,共3页
Chinese Journal of Computers
关键词
多值逻辑
函数
保核完备性
分类号
O141.3 [理学—基础数学]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
1
共引文献
0
同被引文献
35
引证文献
1
二级引证文献
4
参考文献
1
1
金晓龙,多值逻辑及其应用,1980年
同被引文献
35
1
黄心汉,吕遐东,王敏.
面向微装配机器人的TSB分级智能控制结构[J]
.华中科技大学学报(自然科学版),2004,32(S1):61-64.
被引量:2
2
张桂东,张波,肖文勋,丘东元.
电化学加工高效节能高频开关电源及智能化系统[J]
.电源学报,2011,9(1):31-37.
被引量:3
3
孙浩,涂序彦.
钢铁生产智能控制技术[J]
.冶金动力,2004(4):93-96.
被引量:2
4
叶文,吕勇哉.
智能控制中的机器学习方法[J]
.信息与控制,1993,22(3):129-132.
被引量:4
5
周其鉴.
仿人智能控制器[J]
.中国仪器仪表,1993(2X):5-9.
被引量:12
6
冯纯伯,刘延年.
神经网络控制的现状及问题[J]
.控制理论与应用,1994,11(1):103-106.
被引量:17
7
王佐伟,吴宏鑫.
一种组合自适应模糊控制方法及其在月球探测车上的应用[J]
.宇航学报,2005,26(1):1-6.
被引量:4
8
张钟俊,蔡自兴.
智能控制与智能控制系统[J]
.信息与控制,1989,18(5):30-39.
被引量:69
9
张明廉,郝健康,何卫东,孙昌龄.
拟人智能控制与三级倒立摆[J]
.航空学报,1995,16(6):654-661.
被引量:32
10
陈卫东,郑涌,刘丹军,蔡鹤皋.
神经网络自适应的机器人位置/力混合控制系统[J]
.模式识别与人工智能,1995,8(3):243-247.
被引量:1
引证文献
1
1
蔡自兴.
中国智能控制40年[J]
.科技导报,2018,36(17):23-39.
被引量:4
二级引证文献
4
1
安聪慧,郭英军,孙鹤旭,孔洪洪.
基于Matlab的离网光伏单相全桥逆变器控制策略[J]
.河北工业科技,2019,36(5):326-334.
被引量:2
2
辛旗,白蕾,孟娇娇.
基于自适应模糊神经网络的机械臂控制[J]
.自动化与仪器仪表,2019,0(11):37-40.
被引量:5
3
何璟彬,陈伟林,陈霖.
基于人工智能控制理论PDC钻头设计平台研发[J]
.自动化与仪器仪表,2020(10):129-132.
4
杨哲海,金鑫,尹竞瑶,王昊,王承业,朱守琦,席静,吴峰华.
机器人工程专业本科人才培养研究[J]
.教育进展,2020,10(5):881-887.
被引量:1
1
唐桂明.
多值逻辑与范布尔代数[J]
.计算机学报,1989,12(4):317-321.
被引量:1
2
侯健.
正则分划D^r的存在性[J]
.陕西师大学报(自然科学版),1995,23(4):9-11.
3
于鸿丽,吴洪博.
多值逻辑系统Hα中的子代数理论[J]
.计算机工程与应用,2008,44(5):43-45.
被引量:3
4
黄松林.
多值逻辑应纳入“电工学”教学内容[J]
.交通科技情报,1993(1):41-45.
5
刘壮虎.
基于多值逻辑的评价逻辑系统[J]
.自然辩证法研究,1993,9(3):38-44.
6
张孝伍.
多值逻辑的公理化[J]
.青岛建筑工程学院学报,1997,18(4):82-85.
7
宋颖,张兴芳.
■ukasiewicz n值命题逻辑中公式的α-随机真度理论[J]
.山东大学学报(理学版),2010,45(5):74-77.
8
于鹏.
真度约简与计量逻辑学推理模式的关系[J]
.陕西科技大学学报(自然科学版),2011,29(5):145-147.
计算机学报
1989年 第4期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部