论文部分内容阅读
文章主要讨论了描述逻辑中Tbox的最大与最小不动点语义,证明了当某一基解释J所诱导的映射为单调时,该Tbox存在最大与最小J-模型,并且该映射的不动点构成一完备格.又由完备格而引出关于不动点的闭包算子及闭包系统的一些知识,最后讨论了最大与最小模型存在与否问题.
关于描述逻辑中不动点语义的讨论
【摘 要】
：
文章主要讨论了描述逻辑中Tbox的最大与最小不动点语义,证明了当某一基解释J所诱导的映射为单调时,该Tbox存在最大与最小J-模型,并且该映射的不动点构成一完备格.又由完备格
【机 构】
：
陕西师范大学数学研究所,西安710062陕西师范大学数学研究所,西安710062西安交通大学基础科学研究中心,西安710049
【出 处】
：
第六届中国不确定系统年会
【发表日期】
：
2008年8期
其他文献
团队建设对企业的发展有着深远的影响,随着信息技术的高速发展,团队组成形式有了更大的灵活性和流动性.作为解决团队的全球化和流动性问题的新型设计模式和协作方式,虚拟团队
设Q为单瞬时态双边生灭Q-矩阵.本文得到了Q-矩阵存在常返Q过程的充要条件是z,z都正则,并给出了在z,z都正则的条件下,构造了常返Q过程,给出了单瞬时态常返双边生灭Q过程的构成
小波变换是图像融合中常用的一种方法,应用小波变换进行图像象素级的融合时,小波变换系数的选取是一个关键问题.本文提出了一种新的选取小波变换系数的方法——基于平均梯度
近年来,随着中国国民经济持续快速增长,能源特别是石油消费需求迅速增加.本文从多个角度研究了中国经济增长与石油消费量以及石油价格之间的相互影响,并对未来中国经济与石油
房地产投资活动受到诸多风险因素的影响,对风险预期估计的不足会导致开发商蒙受巨大的损失.本文按照未确知数学的理论和方法,并运用信息熵理论确定评价指标权重,构造了房地产
在D-逻辑度量空间中引入了命题的独立性,指出两个不含共同原子公式的公式是相互独立的,如果n个公式中任意两个公式均不含共同的原子公式,那么这n个公式不但两两独立而且相互
本文给出了基于量子逻辑的确定型正则语言的定义,证明了其在正则运算下是封闭的;并给出了基于量子逻辑的确定型正则语言的代数刻画,进一步讨论了其在更广泛的代数运算-Dl-代
在竞争日益激烈的今天,售后服务成为展开差异化竞争、实现超额利润的重要手段.为此,企业纷纷建立自己的售后服务网络,为客户提供优质的售后服务,例如;产品维修、升级、配件销
智能交通系统(ITS)是跨越人工智能和交通系统的交叉学科,因此,ITS应当反映出智能方法的最新成果在交通系统中的应用.集对分析(SPA)是一门新兴的智能数学,其主要思想是建立两
本文研究了模糊综合评价在危险废物处置中心选址中的应用.通过分析危险废物处置的各种因素,对候选地址进行了分析和评价,得到了危险废物处置中心的合理位置.