共查询到18条相似文献,搜索用时 46 毫秒
1.
中介逻辑的命题演算系统(MP^*)的一些特征 总被引:2,自引:0,他引:2
本文证明了MP~*中的完全析取范式定理及其两个推论。文中也给出了判别Γ(?)A在MP~*中是否成立的算法。由此MP~*是可判定的。文中推论2说明了MP~*与经典逻辑的命题演算系统(P~*)的关系。 相似文献
2.
中介逻辑命题演算扩张系统MP^*的完备性 总被引:1,自引:0,他引:1
中介命题演算扩张系统MP~*,是在中介命题演算系统MP中增加了一条命题的原始联结词“(?)”而构成的。因此,关于MP~*的完备性,只需在MP的完备性结果上继续讨论。根据原始联结词(?)的意义,在MP的赋值定义中,对命题形式补充如下定义: 相似文献
3.
本文基于中介逻辑建立了一种中介时序逻辑系统MTL(Medium Temporal Logic),文中着重讨论了MTL的形式系统并给出了它的语义解释,证明了MTL系统的可靠性。最后对MTL系统和经典时序命题逻辑系统进行了对比,指出经典时序命题逻辑系统是MTL的子系统。 相似文献
4.
5.
6.
7.
突发公共事件本身的不确定性以及紧急状态下信息采集的时空局限性,要求数字化预案对不确定事件进行有效地表达.基于中介逻辑,研究了不确定事件的有效表示及不确定程度的度量,采用区间代数方法对不确定事件进行了表示,建立了一维和n维情形下不确定事件的不确定程度的度量模型.在此基础上,利用中介逻辑对数字化预案中应急响应规则进行表达,对具体算例进行了分析,初步验证了该模型的有效性. 相似文献
8.
9.
10.
基础模糊命题演算系统BL*是一个和基础命题演算系统BL相对独立的命题演算系统。命题演算系统L*是系统BL*的扩张,但不是系统BL的扩张。通过对系统BL*及其它模糊命题演算系统的研究,本文对BL*系统进行了修正,进一步改进了BL*系统中的公理体系。 相似文献
11.
12.
基础L*系统的一种扩张——Lukasiewicz系统 总被引:11,自引:1,他引:11
研究模糊命题演算的形式演绎系统 L *和 Lukasiewicz命题演算系统 Lu,提出基础系统L *—— BL *系统 ,证明 BL *系统的一种扩张与 Lukasiewicz系统之间的等价性 ,从而为 L *系统和BL *系统提供了一个应用实例。 相似文献
13.
14.
15.
基于命题逻辑公式之间相似度的概念,在经典命题逻辑系统中提出了两种近似推理模式,得到了它们的一些基本性质。讨论了这两种推理模式与经典推理模式之间的关系。此外,当理论Γ有限时,本文分别给出Γ在α程度上近似推出公式A和理论Σ的充要条件。最后,我们给出公式A与有限理论Γ的结论集D(Γ)之间距离的计算公式。 相似文献
16.
17.
模糊Horn子句逻辑形式系统 总被引:1,自引:0,他引:1
简要回顾逻辑推理的发展历史,指出了经典数理逻辑中存在的一些问题。作者为每个传统的Horn子句赋予一个蕴涵强度f∈(0,1],从而得到模糊Horn子句及其Herbrand解释。进而,对传统Horn子句逻辑的语法和语义进行了拓展,建立了一个基于模糊Horn子句有限集合的逻辑推理系统,并证明了该系统的正确性和完备性。 相似文献
18.
建立一种基于FI-代数的模糊命题演算的形式演绎系统.并讨论了该系统语义的完备性。其目的在于使通常的众多模糊推理系统能够纳入该逻辑系统之中.以便在一个更加广泛的代数和逻辑框架下来研究模糊推理的逻辑基础问题。 相似文献