位置：成果数据库 > 期刊 > 期刊详情页
雪崩布尔函数的构造方法及个数估计
  • ISSN号：1002-8331
  • 期刊名称：计算机工程与应用
  • 时间：2013.3.26
  • 页码：21-24
  • 分类：TP391[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]西安石油大学理学院,西安716005
  • 相关基金：国家自然科学基金（No.61103133）; 西安石油大学青年科技项目（No.2012QN011）; 陕西省自然科学基础研究计划项目（No.2014JQ1032）
  • 相关项目：谓词逻辑与模型检验中的计量化理论
作者： 王庆平|
关键词： 粗糙逻辑度量空间, 相容性, 拓扑刻画, rough logic metric space, consistency, topological characterization
中文摘要：

有关文献将计量化方法应用于粗糙逻辑之中,建立起了用以处理近似推理问题的粗糙逻辑度量空间理论。拟借助于粗糙逻辑度量空间理论,从拓扑学的角度给出粗糙逻辑理论相容性的等价刻画。

英文摘要：

In relevant literature a quantitative approach to the study of rough logic has been presented, resulting in a kind of rough logic metric space for the approximate reasoning in rough logic. In this paper, by employing the rough logic metric space theory, the consistency of logic theories is characterized from the viewpoint of topology.

同期刊论文项目
粗糙逻辑的程度化与随机化推理模型
期刊论文 21 会议论文 2
谓词逻辑与模型检验中的计量化理论
期刊论文 53 会议论文 16 著作 1
不确定性推理的Borel型概率计量化模型
期刊论文 31 会议论文 2
同项目期刊论文
粗糙逻辑中公式的Borel型概率粗糙真度理论
粗糙逻辑中的一种数值化方法
粗糙逻辑的计量化研究
BL 代数的fantastic 滤子和normal 滤子
粗糙集理论中基于依赖空间的分布约简
R0代数中的粗糙近似算子及其在L*逻辑中的应用
BL- 代数的Obstinate滤子和ultra滤子
基于Galois联络的粗糙集公理化方法
粗糙逻辑中公式的不确定性度量：一种公理化方法
多值模态逻辑的计量化方法
计量逻辑学中的雪崩逻辑公式
粗糙逻辑中公式的Borel型概率粗糙真度
BL-代数的obstinate滤子和ultra滤子
多值Lukasiewicz逻辑公式的范式表示和计数问题
经典计量逻辑学中的仿射变换
L3^＊中逻辑公式的范式表示及对称逻辑公式的构造方法
Lukasiewicz 命题逻辑中命题的 Choquet 积分真度理论
Maximal contractions in Boolean algebras
On robustness of the full implication triple I inference method with respect to finer measurements
Weakly algebraic ideal topology of effect algebras
Quantale中的模糊性与粗糙性
双极信息的聚合与分解
L3*中逻辑公式的范式表示及对称逻辑公式的构造方法
A unified integrated method for evaluating goodness of propositions in several propositional logic s
基于有限迁移系统的线性时态逻辑的计量化方法
迁移系统关于一类时态逻辑公式的满足度
BL代数中极大滤子的拓扑性质
经典命题逻辑中的一致结构与一致拓扑
计量逻辑学的基本思想和研究综述
一类一阶逻辑公式中的公理化真度理论及其应用
经典命题逻辑中的近似推理与强近似推理
Notes on “A survey of fuzzy implication algebras and their axiomatization”
Boole代数中极大滤子的刻画与Cantor三分集
模糊全蕴涵三I算法的鲁棒性
线性时序逻辑基于DTMC 的计量化方法
平衡逻辑公式在逻辑度量空间中的分布
R0代数上的一致拓扑空间
适宜于展开模糊推理的两类模糊度量空间
计量逻辑学中的线性逻辑公式
多值模态逻辑的计量化方法
计量逻辑学中的雪崩逻辑公式
多值Lukasiewicz逻辑公式的范式表示和计数问题
线性时序逻辑基于DTMC的计量化方法
经典计量逻辑学中的仿射变换
L3^＊中逻辑公式的范式表示及对称逻辑公式的构造方法
NMG-代数中同态核的结构刻画
Stone-like representation theorems and three-valued filters in R-0- algebras (nilpotent minimum alge
R_0-代数的Stone拓扑表示定理
Generalized Bosbach and Riecan states based on relative negations in residuated lattices
R_0-代数上的滤子拓扑空间
形式系统L~*中极大相容逻辑理论的拓扑刻画
Lukasiewicz模糊命题逻辑中极大相容理论的结构和拓扑刻画
Borel型概率计量逻辑
?ukasiewicz 命题逻辑中命题的Borel 概率真度理论和极限定理
计量逻辑学中的线性逻辑公式
关于洛必达法则证明的几点补充
广义MP问题的α-三Ⅰ解的形式化理论
剩余格中的Fuzzy(P)滤子的结构
一类具有垂直传播的SIS捕食传染病模型的全局分析
The probability theories for IVFSs and IVIFSs
Generalized Bosbach and Riecan states on nucleus-based-Glivenko residuated lattices
基于n-值Lukasiewicz命题逻辑的概率计量化推理系统
Lukasiewicz命题逻辑中命题的Choquet积分真度理论
L*3中逻辑公式的范式表示及对称逻辑公式的构造方法
多值?ukasiewicz 逻辑公式的范式表示和计数问题
Borel probabilistic and quantitative logic
多值模态逻辑的计量化方法
计量逻辑学中的雪崩逻辑公式
多值Lukasiewicz逻辑公式的范式表示和计数问题
L3^＊中逻辑公式的范式表示及对称逻辑公式的构造方法
Lukasiewicz命题逻辑中命题的Borel概率真度理论和极限定理
Lukasiewicz 命题逻辑中命题的 Choquet 积分真度理论
广义MP问题的α-三Ⅰ解的形式化理论
形式系统L＊中极大相容逻辑理论的拓扑刻画
期刊信息
  • 《计算机工程与应用》
  • 北大核心期刊（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