切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
会议论文
根与几种命题逻辑系统中的近似推理
根与几种命题逻辑系统中的近似推理
来源 :第六届中国不确定系统年会 | 被引量 : 0次 | 上传用户:bhkj1gjdgjsj456854
【摘 要】
:
基于演绎定理,公式的真度理论和公式集的根的理论,在经典(二值)逻辑系统C2,n值Lukasiewicz逻辑系统Ln,R0-模糊逻辑系统L*中讨论了根在F(S)的近似推理误差分析中的作用.同时,
【作 者】
:
段巧林
王国俊
【机 构】
:
陕西师范大学数学研究所,西安710062陕西师范大学数学研究所,西安710062西安交通大学基础科学研究中心,西安710049
【出 处】
:
第六届中国不确定系统年会
【发表日期】
:
2008年8期
【关键词】
:
经典二值逻辑系统C2
n值Lukasiewicz逻辑系统Ln
R0-模糊逻辑系统L*
根
近似推理
演绎定理
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于演绎定理,公式的真度理论和公式集的根的理论,在经典(二值)逻辑系统C2,n值Lukasiewicz逻辑系统Ln,R0-模糊逻辑系统L*中讨论了根在F(S)的近似推理误差分析中的作用.同时,讨论了三种近似推理的内在联系.
其他文献
单瞬时态双边生灭Q-过程的常返存在性
设Q为单瞬时态双边生灭Q-矩阵.本文得到了Q-矩阵存在常返Q过程的充要条件是z,z都正则,并给出了在z,z都正则的条件下,构造了常返Q过程,给出了单瞬时态常返双边生灭Q过程的构成
会议
矩阵
单瞬时态
转移概率
一种新的小波变换的图像融合算法
小波变换是图像融合中常用的一种方法,应用小波变换进行图像象素级的融合时,小波变换系数的选取是一个关键问题.本文提出了一种新的选取小波变换系数的方法——基于平均梯度
会议
信息融合
遥感图像
小波变换
图像融合
中国经济增长与石油消费协调发展对策建议
近年来,随着中国国民经济持续快速增长,能源特别是石油消费需求迅速增加.本文从多个角度研究了中国经济增长与石油消费量以及石油价格之间的相互影响,并对未来中国经济与石油
会议
中国经济增长
石油消费量
协调发展
石油价格
能源安全
基于信息熵的房地产投资风险评价未确知测度模型及应用
房地产投资活动受到诸多风险因素的影响,对风险预期估计的不足会导致开发商蒙受巨大的损失.本文按照未确知数学的理论和方法,并运用信息熵理论确定评价指标权重,构造了房地产
会议
房地产投资
投资风险评价
未确知测度模型
信息熵
风险预期估计
风险评价模型
关于命题独立性的一点注记
在D-逻辑度量空间中引入了命题的独立性,指出两个不含共同原子公式的公式是相互独立的,如果n个公式中任意两个公式均不含共同的原子公式,那么这n个公式不但两两独立而且相互
会议
计量逻辑学
概率逻辑学
D-真度
命题独立性
基于量子逻辑的确定型正则语言的代数性质
本文给出了基于量子逻辑的确定型正则语言的定义,证明了其在正则运算下是封闭的;并给出了基于量子逻辑的确定型正则语言的代数刻画,进一步讨论了其在更广泛的代数运算-Dl-代
会议
量子逻辑
有穷自动机
Dl-正则语言
Dl-正则代换
代数性质
基于MMs模型的维修物流网络优化设计问题研究
在竞争日益激烈的今天,售后服务成为展开差异化竞争、实现超额利润的重要手段.为此,企业纷纷建立自己的售后服务网络,为客户提供优质的售后服务,例如;产品维修、升级、配件销
会议
维修中心
遗传算法
非线性整数规划
M/M/s模型
售后服务网络
网络优化设计
SP(G+I+E+C+D+M+J)系统的联合应用
智能交通系统(ITS)是跨越人工智能和交通系统的交叉学科,因此,ITS应当反映出智能方法的最新成果在交通系统中的应用.集对分析(SPA)是一门新兴的智能数学,其主要思想是建立两
会议
集对分析
智能交通系统
灰色系统
集对控制
不确定性
基于模糊综合评价的危险废物处置中心选址
本文研究了模糊综合评价在危险废物处置中心选址中的应用.通过分析危险废物处置的各种因素,对候选地址进行了分析和评价,得到了危险废物处置中心的合理位置.
会议
危险废物处置
中心选址
候选地址
模糊综合评价
关于描述逻辑中不动点语义的讨论
文章主要讨论了描述逻辑中Tbox的最大与最小不动点语义,证明了当某一基解释J所诱导的映射为单调时,该Tbox存在最大与最小J-模型,并且该映射的不动点构成一完备格.又由完备格
会议
描述逻辑
不动点语义
Tbox
基解释
J-模型
闭包算子
其他学术论文