切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
会议论文
一种新的理论的相容度及近似推理方法
一种新的理论的相容度及近似推理方法
来源 :第六届中国不确定系统年会 | 被引量 : 0次 | 上传用户:juzhaoyang
【摘 要】
:
根据演绎定理和完备性定理,应用公式真度理论在几种常见标准完备性成立的系统中建立一种新的一般理论的相容度概念,给出了理论Γ相容,不相容及其它相关结论的充分必要条件,进
【作 者】
:
王茹
王国俊
【机 构】
:
陕西师范大学数学与信息科学学院,西安710062
【出 处】
:
第六届中国不确定系统年会
【发表日期】
:
2008年8期
【关键词】
:
演绎定理
完备性定理
极指标
相容度
真度
近似推理
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
根据演绎定理和完备性定理,应用公式真度理论在几种常见标准完备性成立的系统中建立一种新的一般理论的相容度概念,给出了理论Γ相容,不相容及其它相关结论的充分必要条件,进而将这种相容度的建立思想推广并提出了Γ推出A的程度(Exten(Γ,A))的概念,得到相应的一些充要条件。
其他文献
中国经济增长与石油消费协调发展对策建议
近年来,随着中国国民经济持续快速增长,能源特别是石油消费需求迅速增加.本文从多个角度研究了中国经济增长与石油消费量以及石油价格之间的相互影响,并对未来中国经济与石油
会议
中国经济增长
石油消费量
协调发展
石油价格
能源安全
基于信息熵的房地产投资风险评价未确知测度模型及应用
房地产投资活动受到诸多风险因素的影响,对风险预期估计的不足会导致开发商蒙受巨大的损失.本文按照未确知数学的理论和方法,并运用信息熵理论确定评价指标权重,构造了房地产
会议
房地产投资
投资风险评价
未确知测度模型
信息熵
风险预期估计
风险评价模型
关于命题独立性的一点注记
在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-模型
闭包算子
根与几种命题逻辑系统中的近似推理
基于演绎定理,公式的真度理论和公式集的根的理论,在经典(二值)逻辑系统C2,n值Lukasiewicz逻辑系统Ln,R0-模糊逻辑系统L*中讨论了根在F(S)的近似推理误差分析中的作用.同时,
会议
经典二值逻辑系统C2
n值Lukasiewicz逻辑系统Ln
R0-模糊逻辑系统L*
根
近似推理
演绎定理
C21H24CdN6O6晶体结构的测定
会议
与本文相关的学术论文