G(o^)del逻辑系统中广义语义HS规划和广义语义MP规则

来源 :工程数学学报 | 被引量 : 0次 | 上传用户：gloria_yan

【摘要】

：

将修正的Kleene逻辑系统中语义MP规则和语义HS规则推广后应用于G(o^)del逻辑系统中,讨论了G(o^)del逻辑系统中广义重言式理论的语义([α]-MP)规则,语义([α]-HS)规则,语义([

【作者】

：

吴洪博阎满富

【机构】

：

陕西师范大学数学研究所,中国农业大学经济管理学院

【出处】

：

工程数学学报

【发表日期】

：

2004年期

【关键词】

：

模糊逻辑 G(o^)del逻辑系统广义重言式广义语义MP规则广义语义HS规则

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

将修正的Kleene逻辑系统中语义MP规则和语义HS规则推广后应用于G(o^)del逻辑系统中,讨论了G(o^)del逻辑系统中广义重言式理论的语义([α]-MP)规则,语义([α]-HS)规则,语义([α+]-MP)规则,语义([α+]-HS)规则的性质,使得对G(o^)del系统中的广义重言式有了更进一步的认识,为G(o^)del逻辑系统的应用和研究提供一个有益的工具.

其他文献

公共福利与公共选择下的学费定价——基于国际间的比较

作为福利项目的高等教育必须由政府来提供,政府依据自身对高等教育的需要,一方面运用税收来调节资源配置,完成财政对高等教育的扶持,另一方面通过福利制度、学费政策的制定来

期刊

公共福利公共选择学费定价

基于随机采样模糊聚类和卡尔曼滤波方法的模糊辨识

提出一种新的基于模糊聚类和卡尔曼滤波方法的模糊辨识算法. 该方法是基于快速模糊聚类,计算给定样本在各类中的隶属度,并利用卡尔曼滤波方法辨识模糊模型的结论参数. 整个辨

期刊

模糊辨识模糊聚类卡尔曼滤波模糊模型

匹配最大根小于2的图的匹配等价类

本文刻画了匹配最大根小于2的图及其补图的匹配等价图类.

期刊

匹配多项式匹配等价等价桥基本等价

试析约翰罗斯金《两条路》的修辞手法

约翰·罗斯金的《两条路》不仅构思奇特,文中也综合运用了多种修辞手法,有隐喻、明喻、对比、头韵、拟声、移就、排比、轭式搭配、委婉和反复等。本文就文中相应的例句进行分

期刊

《两条路》修辞手法赏析

FBD变换催化剂反应动力学Ⅰ.本征动力学研究

对低温活性好、抗硫能力强、机械强度高、热稳定性好、使用寿命长的FBD变换催化剂进行了本征动力学研究.采用等温积分反应器,在300～460°C、0.8～2.8 MPa、空速7 000～9 000h-1的

期刊

FBD变换催化剂CO变换反应本征动力学积分反应器单纯形法

分光光度法测定海洋河弧菌510脂多糖

本文研究了直接测定海洋河弧菌(vibrio fluvailis)510脂多糖的分光光度法.利用1,9-二甲基亚甲蓝(DMB),在适当条件下同脂多糖发生染色反应,在550nm波长下,反应体系的吸光值同

期刊

脂多糖海洋弧菌19二甲基亚甲蓝分光光度法

(CdZnTe,ZnSeTe)/ZnTe复合量子阱中的超快速激子衰减

为了研究低维半导体结构中的激子过程,并进一步实现超快速的激子衰减,设计了一种新型的(CdZnTe,ZnSeTe)/ZnTe复合量子阱结构,并用低压金属有机化学气相沉积方法(LPMOCVD)制备

期刊

(CdZnTeZnSeTe)/ZnTe复合量子阱激子衰减泵浦-探测

具有外部输入和偏差的细胞神经网络的完全稳定性

本文证明了对于由两个细胞组成的细胞神经网络,外部输入和偏差不影响网络的稳定平衡点的存在性和完全稳定性。 This paper proves that external inputs and deviations do

期刊

细胞神经网络完全稳定性平衡点饱和域外部输入

矿物钠快离子导体Na1.2+y Al0.1Yby Zr1.9-y Si0.1P2.9O12系统的研究

精选层状硅铝酸盐矿物高岭石 (Al4[Si4O1 0 ](OH) 8)为起始原料 ,经高温固相反应 (～ 10 0 0℃ )合成了具有架状结构的Na1 .2 +yAl0 .1 YbyZr1 .9-ySi0 .1 P2 .9O1 2 系统 (简

期刊

高岭石钠快离子导体Yb-Nasicon

黄金市场动态走势研究

本文通过对黄金的特点以及影响黄金市场的因素的分析,以1968年～2002年黄金市场的价格变化数值为基础,利用修正的马尔可夫预测方法和AR(1)模型对黄金市场的未来走势进行了预测

期刊

黄金市场黄金价格马尔可夫预测

G(o^)del逻辑系统中广义语义HS规划和广义语义MP规则

与本文相关的学术论文