公式集相关论文
自然语言理解的核心问题在于语义理解。首先要求语义解释是形式化的，不仅人能看得懂，而且在机器上是可操作、可计算的。形式化语义研......
作者从将所有命题算子都看作内涵到内涵的算子的观点出发，提出了一般命题逻辑的概念，建立了统一的语义──邻域语义学。讨论了邻域......
数列是高中数学的重要内容，蕴涵着丰富的思想方法。因此，如果能够有效地运用数学思想方法去分析问题、解决问题，不仅能够强化同学们的......
一、互斥事件和对立事件在了解了随机事件及其概率后,我们先来了解一下事件之间的关系.其实,一个随机事件包含很多基本结果(基本事......
在“钻井泥浆的管流公式集”中,汇集了三种两参数流变模式的非牛顿液体的管流公式。这三种液体是宾汉液体、幂律液体和卡森液体。......
经常用来表征钻井泥浆流变性的数学模式有宾汉模式和幂律模式,近年采用的还有卡森模式;凡流变性规律符合这些模式的液体,分别叫做......
以文为基础,本文试图建立中介模态逻辑MK的自动推理理论。文中给出了中介模态逻辑正规系统MK的表推演系统,详细证明了该系统的可靠......
本文介绍了ｃｏｎｔｅｘｔ研究的现状，定义了一个新的ｃｏｎｔｅｘｔ逻辑ＣＬ，定义并证明了与之相关的一些概念和定理。
This article introduces the status quo of ......
定义了一种基于辩论语义的算子模糊逻辑,这种逻辑是相关的、次协调的、非单调的,能形象地刻画认知过程中的信念修正,适于在知识不......
为使概率逻辑的不确定性推理方法能应用于较大规模的知识库，本文基于一个实际专家系统知识库的开发经验，在概率逻辑公式一致性区间的......
定义了一种公理化的抽象逻辑,它以经典逻辑所具有的证明论性质及模型论性质为公理,可以用于构造抽象的开放逻辑理论,因而可以用于......
讨论了一种新的逻辑，这种逻辑允许一个智能体在有不一致性存在于其信念集的情况下进行一致性推理．首先解释了这种逻辑的语意，然后给出......
文中为多理论系统建立了一个层次的理论框架——ＭＴ．ＭＴ在几个方面推广了传统的二型一阶谓词演算：允许表示多个理论，每个理论都在一个ｃｏｎｔｅｘｔ内声明......
本文给出了一种新的概率逻辑推理的分解计算模型．若表示专家知识的概率逻辑公式集具有一定的弱相关分解特性，则可分解为多个公式子集......
作者基于信度语义提出了算子模糊逻辑模型BAOFL,本文给出了计算BAOFL中公式(集)不可满足程度的λ-TABLEAU推理方法,并证明了其可靠......
本文介绍了知识库更新的基本概念及命题知识库更新的复杂性研究现状．近年来，提出了许多方法进行命题知识库的更新，一类是基于公式的方......
开放逻辑是用于刻画知识的增长,更新及假说进化的一个引人注目的形式逻辑理论。文中描述了在开放逻辑中什么是典型的证明论问题,并......
文[1,2]给出了中介逻辑的命题演算系统MP及MP~*,文[3]给出了MP~*的语义解释并证明了MP~*在此语义解释下的可靠性、完备性定理。但......
探讨原子公式集为有限集Sn时,二值命题逻辑F（Sn）中公式集Γ的所有结论之集D（Γ）的结构.利用F（Sn）中公式在可证等价意义下的一般表示,通过......
为了计算各种反应体系的反应速度所需要的速度公式,很早以前就进行了不少研究。均匀反应体系的反应速度公式,业经美国N.B.S"Tables......
本文通过对概率逻辑推理树知识结构模型的研究，得出在树推理中对矩阵列消减起主要作用的相邻关系及其计算方法，给出了树推理模型的有......
本文通过将模态算子M引入传统语言提出了一种描述非单调逻辑的方法,并说明了这样的非单调模态逻辑都是语法一敏感的,我们还对一个......
