基于修正的Kleene蕴涵的模糊描述逻辑

基于三角模的模糊描述逻辑的提出,使得模糊描述逻辑的框架更一般化,为知识处理提供了更理想的方法.在此基础上,提出基于修正的Kleene蕴涵的模糊描述逻辑,在建立该模糊描述逻辑的语法,语义与知识库形式后,进一步讨论相关的推理问题,包括这个逻辑中的可满足性问题,Tableau算法及一致性问题.

修正的Kleene系统中子代数的广义重言式理论

将修正的Kleene系统中的广义重言式理论进行推广,讨论了其序稠密子代数的广义重言式理论,并利用可达广义重言式的概念在W的序稠密子代数中给出F(S)关于┐同余的一个分划。

Kleene蕴涵算子的导出算子的n值逻辑系统I_n

考虑了Kleene蕴涵算子的导出算子的三值逻辑系统I3 和n值逻辑系统In(n >3)。首先,给出I3的真值表,证明了I3 是二值逻辑系统C2 的推广。其次,讨论了I3 中的重言式与IPC公理之间以及I3 中的准重言式与C2 中的重言式之间的关系。接着,考虑了In中的子代数。最后。

修正的Kleene系统中的子代数的广义矛盾式

将修正的Kleene系统中的广义矛盾式理论进行推广,在R0代数[0,1]的各类无限子R0代数中的广义重言式的基础上讨论了广义矛盾式理论:(1)讨论了一般子R0代数的广义矛盾式;(2)根据聚点性态的不同将无限子R0代数作了分类,并在各类无限子R0代数中讨论了广义矛盾式,进而在相应的子R0代数中给出了公式集F(S)的一种划分;(3)证明了在子R0代数E2中,L*中存在着可数多个不同的广义矛盾式.

修正的Kleene系统中的一种降级算法及其性质

通过对模糊命题演算的形式演绎系统L*及修正的Kleene逻辑系统W,W,Wk的研究,给出了修正的Kleene系统中广义矛盾式之间的一种降级算法并讨论了它的性质和应用,最后在广义矛盾式理论中讨论了广义语义HS规则和广义语义MP规则,为进一步对修正的Kleene逻辑系统的研究提供一个有益的工具.

参数Kleene系统的α-反向三Ⅰ支持算法

三Ⅰ算法是针对模糊推理的FMP及FMT模型的一种推理方法,在此基础上,提出了基于参数蕴涵算子θp模糊推理的思想,给出了在模糊推理的每一步都使用蕴涵运算θp的α-反向三Ⅰ支持算法理论,得到了α-反向三Ⅰ支持算法的计算公式,这将有助于提高模糊推理结果的可靠性.

参数Kleene系统的三Ⅰ算法与反向三Ⅰ支持算法

提出基于参数蕴涵算子θp模糊推理的思想,给出了在模糊推理的每一步都使用蕴涵运算pθ的三I算法与反向三I支持算法理论,得到了三I上确界算法、模糊取式算法(FM P)与模糊拒取式算法(FM T)的计算公式,这将有助于提高模糊推理结果的可靠性。

刑事法治理念中人文关怀的价值蕴涵——基于对《刑法修正案(八)》的分析

《刑法修正案(八)》是自1998年以来规模最大,也是最为重要的一次刑法修正。其中,对于宽严相济基本刑事政策的贯彻,推动和谐社会建设、彰显人本主义和民生观念的相关条文设计,依据现代刑事法治理念推进刑法现代化的立法尝试,以及立法技术的成熟化趋进等是本次刑法修正案的显著特点。

刑诉法《修正案(草案)》添力之法理蕴涵

2011年刑诉法《修正案(草案)》修改了96年刑事诉讼法不少条款,也增加了比较多的内容。例如,保障人权、刑事辩护、提高诉讼效率、增加人道追诉、借鉴国外法规定、特殊程序等,限于篇幅约束,文章只对其两个问题添力之法理蕴涵进行了探究。

基于蕴涵算子θ_p模糊推理的三Ⅰ与反向三Ⅰ算法的约束度分析

研究基于蕴涵算子pθ模糊推理的三Ⅰ算法与反向三Ⅰ算法的约束度理论,分析约束度的性质,得到α-三Ⅰ算法的FMP(FMT)上(下)确界计算公式与α-反向三Ⅰ算法的FMP(FMT)下(上)确界的计算公式。

关于条件句的蕴涵理论

为了刻画条件句,逻辑学家提出了许多蕴涵理论,如真值函项理论、条件概率理论、信念修正理论、可能世界语义学等。作为现代逻辑的一个分支,条件句逻辑充分利用各种蕴涵思想建立许多逻辑系统,但由于条件句的复杂性,各种蕴涵都难以刻画出所有的条件关系,因此都不能等同于自然语言中的"如果,那么"。

从相干逻辑看逻辑的可修正性

相干逻辑是现代逻辑的重要分支,它是异于经典逻辑的"非经典逻辑"。相干逻辑在批评经典蕴涵的基础上,从多个方面对经典逻辑进行了修改。总体来说,相干逻辑的修改方案是可行的和成功的。但是,相干逻辑仍然面临诸多问题,有待进一步解决和完善。

基于相似修正关系推理的焊接工艺决策

针对基于相似度的推理和合成关系推理存在的不足,本文提供一种将相似度量与贴近方向相结合,生成修正或诱导模糊关系的近似推理模式。通过引入模糊概念间贴近方向函数,构造扩展型和缩减型2类修正函数,由此导出推理模型的一般表达形式,并对几个修正算子和构造条件关系的模糊转化算子进行了分析比较。基于该推理模式构建焊接工艺决策模型,由给定熔深来确定合理的焊接规范参数,结果表明:模型可达到较高的计算精度,从而解决了近似推理中输出结果不能对输入事实的每一变化作出准确响应的问题。

θ_p型三I算法与反向三I算法支持度分析

研究了基于蕴涵算子θp模糊推理的三I算法与反向三I算法的支持度理论,分析了支持度的性质,得到了α-三I算法的FMP(FMT)计算公式与α-反向三I算法的FMP(FMT)计算公式。

和谐社会视野下我国刑法理念的更新——兼评刑法修正案(八)(草案)对和谐社会价值蕴涵的体现

刑事法治建设是构建和谐社会的重要组成部分。从法律上讲，构建和谐社会要求在运用法律规则维护社会秩序的同时，保障公民的自由和权利不受侵犯，强调刑罚宽容，在民主和法治的前提下促进社会和谐发展。因此，对传统刑法理念的更新十分必要。简言之，必须摒弃刑法万能主义、刑法工具主义、重刑主义等不合时宜的传统理念，代之以刑法谦抑主义、人权保障优先、刑罚有限主义理念。

命题公式集F(S)的基于修正的Gdel算子的十八类分划

本文利用修正的Gdel蕴涵算子研究了命题公式集F(S)中公式确定集的特征,进而以确定集为工具得到F(S)的一个十八类分划,并证明了这种分划关于非运算是同余的.最后讨论了各类关于MP运算和HS运算的封闭性.

R_0-代数[0,1]的子代数与广义重言式

本文是对修正的Kleene系统中广义重言式理论的推广,讨论了R_0-代数[0,1]的各类无限子R_0-代数中的广义重言式,证明了在子R_0-代数E_2中,中存在着可数多个不同的广义重言式。

英汉更正标记比较研究及其类型学调查

更正义是世界语言中一种普遍的语义类型,在英汉语言中呈现不同表达形式。鉴于前人研究的不足,我们借助翻译平行语料库,考察了英汉主要更正表达的翻译对应情况,并将更正义分为语义更正与元语更正两种情况分别在两种语言中展开讨论。作为多义多功能标记,更正标记在许多语言当中还可表达其他语义功能(如对比、转折、添加关系),我们就此展开了类型学的调查,证明了更正标记与其他相关关系表达的蕴涵规律。通过系统研究,我们希望对二语习得、翻译乃至世界语言的共同规律探索做出贡献。