位置：立项数据库 > 立项详情页
知识推理的计量化与随机化研究
  • 项目名称：知识推理的计量化与随机化研究
  • 项目类别：面上项目
  • 批准号：10771129
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：王国俊
  • 依托单位：陕西师范大学
  • 批准年度：2007
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 62
  • 0
  • 0
  • 0
  • 0
期刊论文
基于有限迁移系统的线性时态逻辑的计量化方法
迁移系统关于一类时态逻辑公式的满足度
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值标准逻辑系统中的随机化研究
广义MP问题的三I真度解
模糊推理三Ⅰ约束算法的一般表示
经典推理模式的随机化研究及其应用（Ⅱ）
关于随机真度的若干注记
标准序列逻辑系统S3中公式的概率真度理论
三值Godel命题逻辑系统的随机化
一种非均匀概率空间下逻辑系统G3中命题的真度理论
关于三值R0命题逻辑系统的若干注记
模糊推理三Ⅰ算法的还原性
n值逻辑系统L_n~*中广义重言式的计量化研究
经典逻辑度量空间上的反射变换
逻辑系统Ln中的真度、发散度与相容度的分布
三值命题逻辑系统L3^＊中逻辑理论性态的拓扑刻画
MV代数的度量化研究及其在Lukasiewicz命题逻辑中的应用
命题演算系统L~*中的Boole型理论
概率逻辑学基本定理在多值命题逻辑系统中的推广
具有振动系数AFDE的振动性
正则蕴涵算子所对应的逻辑伪度量空间
逻辑系统NMG的满足性和紧致性
命题逻辑系统中理论的真度概念及其应用
三值R0命题逻辑系统中理论的随机发散度
基于支持度理论的广义MP问题的形式化解
模态R代数与模态滤子的若干性质
Tableau-based算法的改进与有限步终止定理
模糊模态逻辑中的永真式与准永真式
三值R0命题逻辑系统的随机化
基于VBS的IP地址自动配置方法
广义MP问题的α-三Ⅰ解的形式化理论
王国俊的项目
第五届信息科学联合会议
拓扑分子格中的紧性理论
拓扑结构理论的代数化研究
计算拓扑与几何的数学结构