位置：成果数据库 > 期刊 > 期刊详情页
广义MP问题的三I真度解
  • ISSN号：1002-8331
  • 期刊名称：《计算机工程与应用》
  • 时间：0
  • 分类：O142[理学—数学;理学—基础数学]
  • 作者机构：[1]陕西科技大学理学院,西安710021, [2]中国工商银行陕西省分行,西安710004
  • 相关基金：国家自然科学基金（the National Natural Science Foundation of China under Grant No.10771129）;陕西科技大学自然科学基金项目（the Natural Science Foundation of Shaanxi University of Science and Technology under Grant No.ZX07-37）.
作者： 于鹏[1], 刘凤雏, 王三五[1]
关键词： 公式真度, 二值逻辑, 广义MP问题, 三I算法, α-三I真度解, truth degree, two-value logic system, generalized modus ponens, Triple I method, α-Triple I truth degree solution
中文摘要：

基于真度理论讨论了三I推理机制在真度理论下的意义，求出了真度理论下的广义MP问题的三I解，证明了该解与其形式解是等价的解，并推广得到了广义MP问题的α-三I真度解。

英文摘要：

Based on the truth degree of proposition logic theory,the sense of Triple inference framework under the truth degree theory was disscused.The truth degree solution of generalized modus ponens was solved,and the logical equivalence of the Triple truth solution and its formal solution was proved.At the same time the α-Triple truth degree solution of generalized modus ponens was sloved.

同期刊论文项目
知识推理的计量化与随机化研究
期刊论文 62
同项目期刊论文
基于有限迁移系统的线性时态逻辑的计量化方法
迁移系统关于一类时态逻辑公式的满足度
BL代数中极大滤子的拓扑性质
经典命题逻辑中的一致结构与一致拓扑
计量逻辑学的基本思想和研究综述
经典命题逻辑中的近似推理与强近似推理
R0代数上的一致拓扑空间
计量逻辑学中的线性逻辑公式
剩余格中的Fuzzy(P)滤子的结构
计量逻辑学中的雪崩逻辑公式
匕ukasiewicz三值命题逻辑中公式的可靠真度理论
对称逻辑公式在L3^＊逻辑度量空间中的分布
具定号系数多滞量AFDE的振动性
L3^＊系统中逻辑度量空间的拓扑性质
模糊模态逻辑系统MLuk中的可达广义重言式
Lukasiewicz三值逻辑中命题的真度值之集在[0,1]上的分布
蕴涵格的正规MP滤子与素滤子
关于K的三种模糊模态逻辑
一类AFDE的振动性及其应用
网页源码抓取方法的设计与实现
逻辑方程解的性质
用模糊Galois联络对L-模糊粗糙集进行公理化刻画
D-逻辑度量空间中的相容理论
系统L^＊中极大相容理论的结构刻画和紧致性定理
基于ASP．NET的数据迁移方法
逻辑系统MTL_▽及其完备性
广义三角模和广义剩余蕴涵之间的对应关系
命题逻辑中广义MP问题的合理解
逻辑系统Gn中理论的真度概念及其应用
逻辑伪度量空间中的孤立点
命题逻辑系统Ln中公式集上的真度函数
n值标准逻辑系统中的随机化研究
模糊推理三Ⅰ约束算法的一般表示
经典推理模式的随机化研究及其应用（Ⅱ）
关于随机真度的若干注记
标准序列逻辑系统S3中公式的概率真度理论
三值Godel命题逻辑系统的随机化
一种非均匀概率空间下逻辑系统G3中命题的真度理论
关于三值R0命题逻辑系统的若干注记
模糊推理三Ⅰ算法的还原性
n值逻辑系统L_n~*中广义重言式的计量化研究
经典逻辑度量空间上的反射变换
逻辑系统Ln中的真度、发散度与相容度的分布
三值命题逻辑系统L3^＊中逻辑理论性态的拓扑刻画
MV代数的度量化研究及其在Lukasiewicz命题逻辑中的应用
命题演算系统L~*中的Boole型理论
概率逻辑学基本定理在多值命题逻辑系统中的推广
具有振动系数AFDE的振动性
正则蕴涵算子所对应的逻辑伪度量空间
逻辑系统NMG的满足性和紧致性
命题逻辑系统中理论的真度概念及其应用
三值R0命题逻辑系统中理论的随机发散度
基于支持度理论的广义MP问题的形式化解
模态R代数与模态滤子的若干性质
Tableau-based算法的改进与有限步终止定理
模糊模态逻辑中的永真式与准永真式
三值R0命题逻辑系统的随机化
基于VBS的IP地址自动配置方法
广义MP问题的α-三Ⅰ解的形式化理论
期刊信息
  • 《计算机工程与应用》
  • 北大核心期刊（2014版）
  • 主管单位:中国电子科技集团公司
  • 主办单位:华北计算技术研究所
  • 主编：怀进鹏
  • 地址：北京市海淀区北四环中路211号北京619信箱26分箱
  • 邮编：100083
  • 邮箱：ceaj@vip.163.com
  • 电话：
  • 国际标准刊号：ISSN：1002-8331
  • 国内统一刊号：ISSN：11-2127/TP
  • 邮发代号:82-605
  • 获奖情况:
  • 1. 2012年首批获得中国学术文献评价中心发布的 “...,2. 2001年获得新闻出版署“中国期刊方阵双效期刊”,3. 2008年首批入选国家科技部“中国精品科技期刊...,4.2003年-2011年连续获得工业和信息化部期刊最高...
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:97887