SEMANTIC INTERPRETATION OF PREDICATE CALCULUS SYSTEM OF MEDIUM LOGIC ME~* AND ITS SOUNDNESS AND COMPLETENESS

Ⅰ. INTRODUCTIONThis note presents the semantic interpretation of predicate calculus system withequality symbol "=" of medium logic M E~* and its Soundness, Completeness, and Compact Theorem. In view of the characteristic of M E~*, when we construct

中介谓词逻辑系统的λ-归结

给出中介逻辑谓词演算系统MF的一种无穷值语义解释,即无穷值的λ解释,将λ-归结方法引入到MF中,讨论了MF的λ-归结原理,并证明了它的完备性.

中介谓词逻辑一种改进的语义解释及λ-归结

潘给出的中介谓词逻辑系统MF的无穷值语义解释,不同于MF的其他任何语义解释。但在该无穷值语义解释下,"当Afuz时～A真"这种情况并未得到反映,并且该解释在模糊知识推理中必须作适当的修改才能更符合客观思维。给出了中介谓词逻辑系统MF一种真值域为(0,1-λ)∪(1-λ,λ)∪(λ,1)(λ∈(0.5,1))的无穷值语义解释,重新定义了MF的文字,提出了一种新的MF的λ-归结原理,证明了其完备性。该解释进一步表明用中介逻辑作为模糊知识的表示与推理的工具是可行的。

地震技术识别与描述超薄储层的潜力与局限

自20世纪80年代中期以来,石油工业广泛使用地质、测井、地震数据多学科综合方法对储层进行描述,取得重大进展。近年来,利用地震勘探技术解决开发问题成为研究的热点,但许多正在使用的方法未经严格论证,因此,开展开发地震技术基础研究十分必要。提出了几个重要课题:①介质不均质尺度;②地质地球物理模型;③地震数据对层序体的分辨能力;④储层目标地震信号的频率选择;⑤开发地震高分辨率技术;⑥高分辨率地震解释思路;⑦储层表征与描述的局限性。探讨了开发地震技术研究尺度与分辨率的关系。讨论了储层目标的检测与拾取方法的基础。

基于中介逻辑的模糊推理算法

中介逻辑系统完整地反映了知识中的矛盾和对立等否定关系。针对具体处理模糊知识的需要,本文首先改进了中介无穷值语义模型,对其进行了语义描述;在此基础上扩展了Zadeh提出的近似推理方法即CRI算法,给出了基于中介逻辑思想的一种更为具体的算法,并通过一具体的例子进行了说明分析。

中介逻辑ML的一种模型

中介逻辑ML是一种新的且已形式化的逻辑系统。本文根据该理论的直观背景及实际意义,研究它的语义解释,即给出赋值的数学定义,从而得到这种形式系统的一种模型,为研究这种理论的完备性与可靠性奠定了基础。

A Three-valued Extension of ECWA

ＡＴｈｒｅｅ－ｖａｌｕｅｄＥｘｔｅｎｓｉｏｎｏｆＥＣＷＡ￥ＨｅＪｉａ；ＱｉｕＹｕｈｕｉ（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒｓｃｉｅｎｃｅ，ＳｏｕｔｈｗｅｓｔＣｈｉｎａＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，Ｃｈｏｎｇｑｉｎｇ６３０７１５）Ａｂｓｔｒａ...