基于可能性逻辑的不确定性本体描述方法研究

本体作为语义Web体系架构的基础组件,在知识形式化描述、语义理解和分析、信息智能化检索等方面发挥着重要的作用.然而由于本体描述逻辑的局限性,只能表达处理确定性和完备性的知识,限制了本体的实际应用效果和适应性.本文则关注于该类问题的解决,尝试利用非经典逻辑对本体描述机制进行改进和完善,提出一种基于可能性逻辑和概率统计的不确定性语义关系定量化描述方法,该方法将知识描述中的主观判断和推理决策中的客观统计相结合,从可能性和必然性两个方面来综合表达本体语义关联的不确定性程度,力图提高本体在知识表达和语义分析上对各类不确定性因素的理解和处理能力,并通过案例分析和实验对比验证了该方法的有效性和可行性.

基于可能性逻辑的结构化论辩理论P-ASPIC+

抽象论辩框架(AF)是定性分析非单调常识推理的经典理论,基于AF关注论证结构化研究的一类论辩理论ASPIC+无法显化处理论辩理论中的不确定、不完全知识。本文基于可能性逻辑,提出结构化论辩理论P-ASPIC+,该理论满足良性论证系统的合理性公设条件,可量化处理论证中的不确定性知识,拓展ASPIC+的定性推理能力,避免利用概率理论量化AF理论所导致的概率分布不一致、不完全,以及论证概率解释不清等问题。

基于可能性测度的计算树逻辑

首先,提出了可能的Kripke结构的定义,建立了可能的Kripke结构的可能性测度空间,并分析了可能的Kripke结构的一系列性质,即任一路径转移的可能性可由其初始状态的可能性分布与各转移的可能性取下确界而得到;依据可能的Kripke结构所定义的可能性测度具有其合理性等等。其次,给出了可能性计算树逻辑(PoCTL)的概念,讨论了两个PoCTL状态公式以及PoCTL与经典计算树逻辑(CTL)公式的等价性。最后,证明了PoCTL公式有与CTL*公式中"一致性"相对应的公式。

基于可能性测度的计算树逻辑CTL~＊与可能性互模拟

提出了基于可能性测度的计算树逻辑CTL*(PoCTL*)的概念。给出了在可能的Kripke结构中可能性互模拟的定义并对其性质进行了详细的探讨。对商可能性Kripke结构及其相关构造进行了特别的研究。

可能性缺省逻辑及其应用

本文分析了 Yager用可能性理论框架来表示缺省知识的形式化方法 ,并测试了三类不同的应用方案。得到的结果与 Reiter的缺省逻辑得到的结果相比较 ,表明只在具有严格约束的缺省逻辑下 ,Yager的形式化方法才与 Reiter的缺省逻辑具有一定的相关性。我们指出了它们在一般缺省理论下的不匹配处 。

广义可能性决策过程的计算树逻辑模型检测

模型检测作为一种形式化验证技术,已被广泛应用于各种并发系统的正确性验证。针对具有非确定性选择和广义可能性分布的并发系统,引入广义可能性决策过程作为此类系统的模型;给出描述其性质的规范语言广义可能性计算树逻辑的概念;研究此类系统的广义可能性计算树逻辑模型检测问题。结论表明,其模型检测算法的时间复杂度也为多项式时间。所获得的结果扩大了广义可能性测度在模型检测中的应用范围。

关于蔡元培“以美育代宗教”的思想及其逻辑可能性

蔡元培百年前提出"以美育代宗教说",学界主要从论域错位、美育不是信仰等方面对该说提出质疑。本文认为,蔡元培将宗教与美育均视为广义的情感教育,二者之间不存在论域错位。我们从张世英"万有相通"的哲学思想和关于美的神圣性观点以及其他学者的相关论述,结合中国传统文化特点,可以看到"以美育代宗教"的逻辑可能性。

由颠倒色觉的逻辑可能性澄清实指定义

石里克在《意义和证实》一文中写道:“没有一种理解意义的办法不需要最终涉及实指定义,这就是说,显然全都要涉及‘经验’或‘证实的可能性’。”“通过实指定义,可证实性就同第一种意义的经验(指感觉材料——笔者注)联系起来了。”什么是实指定义?实指定义就是用指明某些词的实际用法的行动解释这些词。

广义可能性计算树逻辑模型检测中的成本分析

为解决广义可能性计算树逻辑模型检测中的成本问题,提出了带成本的广义可能性计算树逻辑模型检测方法。首先,引入带成本的广义可能性决策过程模型,该模型不仅能刻画系统的非确定选择和可能性转移,还能定量刻画系统的能耗、开销等成本。其次,在带成本的广义可能性决策过程模型下,给出了带成本的广义可能性计算树逻辑的语法及语义。然后,在已有文献基础上给出了第k步瞬时期望成本算子、前k步累积期望成本算子以及可达期望成本算子的模型检测算法。最后,通过一个实例说明了该模型检测算法的实际应用。

论佛教作为对世界的解释范式的逻辑可能性——一种元佛教研究的思路

对佛教作为解释范式的逻辑可能性的研究具有在先性和基础性地位,这是佛教存在的合法性和解释的有效性的前提。作者运用元研究的理论视界,从智证结构、解释范式、形式系统三个维度对佛教作为一种解释范式的可能性、必然性、能行性及相关性问题分别进行了论证。

广义可能性计算树逻辑和计算树逻辑的关系

广义可能性计算树逻辑(generalized possibilistic computation tree logic,GPo CTL)在不确定性模型检测中扮演着非常重要的角色,但其表达能力还尚未研究全面。为此,讨论了GPo CTL与计算树逻辑(computation tree logic,CTL)表达能力之间的关系。首先定义了区间广义可能性计算树逻辑(interval generalized pos-sibilistic computation tree logic,IGPo CTL),并给出了IGPo CTL公式和CTL公式等价的定义。然后证明了CTL是IGPo CTL的一个真子类,因为IGPo CTL是GPo CTL的一种简单分明化形式,则CTL可看作GPo CTL的一个真子类。此外,还给出了IGPo CTL公式和CTL公式α-等价的定义,并得出了一些更一般的结果。

可能性扩展规则的推理和知识编译

在扩展规则的基础上提出了可能性扩展规则.给出了基于可能性扩展规则的可能性逻辑推理方法,利用互补因子的概念来估价推理问题的复杂度.扩展了经典逻辑的蕴含可控制类和可满足可控制类的定义,提出了可能性蕴含可控制类、不一致性程度计算可控制类的概念.在可能性扩展规则的基础上提出了EPPCCCL(each pair of possibilistic clauses contains complementary literals)理论,并证明了该理论是在最优化形式蕴含可控制类和不一致性程度计算可控制类中的,可以作为可能性知识编译的目标语言.

从隐喻角度探究“飞马”的逻辑可能性

隐喻有其独特的工作机制,它使事物的类属关系或分类空间不再僵化和固定不变,使无法经验和不可言说的事物显示出新的可能与意义。从隐喻的角度来分析"飞马"一词,通过解释"飞马"中"飞"的隐喻意义,不仅可以让"飞马"一词摆脱所谓的空名或空指称短语的指摘,还可以使其内在的逻辑可能性得到合理的解释。

论康德对先验自由可能性的证明——以“第三个二律背反”为中心

康德在“第三个二律背反”中主张自由与自然因果决定论是相容的,本文在这一框架内考察康德对先验自由可能性的证明。通行的解释不区分逻辑的与实在的可能性,笼统地认为康德证明了先验自由的可能性。这种做法不能准确地展示出康德在理论哲学领域对自由所做的证明工作,也不能凸显出这种证明在康德的整个哲学体系中的基础性地位。在解决第三个二律背反的过程中,康德所成功地证明的只是无矛盾地思维先验自由的可能性,即逻辑的可能性。这种证明既是解决理性自身冲突的需要,也是确立道德法则的需要。在思辨领域,康德对先验自由逻辑的可能性的证明是凭借先验观念论而实现的。先验自由实在的可能性,只有在道德实践领域诉诸对道德法则的意识才能够得到证明。

科学逻辑研究的几个问题

科学逻辑是一个较新的研究领域。虽然国外已有不少学者对此作了有益的探讨，并且取得了较显著的成绩，但在我们国内，以往尚未有很多同志涉足这个领域。其中某些方面基本上还处于空白状态。近几年，我国研究此问题的同志有所增加。研究内容也在向广度和深度发展。今年三月在北京师范大学召开的科学逻辑讨论会，就是一个有力的证明。

基于决策过程的广义可能性计算树逻辑模型检测

本文研究了广义可能性计算树逻辑模型检测算法及其在系统验证中的应用,特别是在非确定性系统验证中的应用.首先引入作为系统模型的广义可能性决策过程和描述系统属性的广义可能性计算树逻辑,然后给出基于广义可能性决策过程的广义可能性计算树逻辑模型检测算法.该算法最大的优点是利用决策过程中的调度,将模型检测问题转换为多项式时间内模糊矩阵的运算或模糊矩阵不动点的计算.最后通过一个实例说明了广义可能性计算树逻辑模型检测在非确定性系统中的应用.

埃弗斯谈“模糊实在的逻辑可能性”

瑞典女哲学家埃弗斯(K.Evers)博士于1992年5月8日在中国社会科学院哲学所就“模糊实在的逻辑可能性”问题发表了演讲.埃弗斯说,对于“世界会是模糊的吗?”这个问题,经典的分析哲学家肯定竭力否定,他们不会承认世界上存在模糊的要素,也不承认任何模糊的边界或区分.但是,现在大量的科学家和哲学家已放弃了这种实在是由分离确定的部分组成,或者彼此光滑连接形成统一体的观点.一系列的证据表明,模糊实在的逻辑可能性是成立的,也就是说,反对模糊实在的主要逻辑证据即,(1)语词表达;(2)自我同一性;(3)莱布尼茨的同一性定理皆不能作为证据.因此,我们应该在某种程度上容许模糊实在的存在.

论知识的启蒙作用

知识启蒙作用是知识所具有的一种重要伦理精神。从元伦理学出发对知识启蒙的可能性作出逻辑的、发生学的和修辞哲学的分析 ,可以揭示知识启蒙的逻辑 -修辞模式 ,古希腊自然哲学和近代启蒙运动展示了知识启蒙的历史文化模式。现代知识社会中知识启蒙作用之萎缩的原因 。

生存在艺术中的诉求——尼采审美思想简析

伴随着现代性的负面效应,审美主义的救赎承诺为人世摆脱生存的苦痛开启了一条不同于传统形而上学的可能性路径。而在审美主义自身的发展转变路径中,尼采的影响是不容忽视的。本文从为何"艺术拯救人生"与何为"艺术拯救人生"两个方面论述了尼采的审美思想,并且在此基础上简要解析了"艺术拯救人生"在中国当下社会语境中延展的逻辑可能性。

受贿案中被告人翻供之证据审查和认定

一、检视受贿案中的被告人翻供问题客观地讲，翻供是一个中性词，它是相对于原供而言的，是对原供的推翻。因此，其逻辑可能性是：犯罪嫌疑人、被告人原先的供述为真，后来的供述为假；或者原先的供述为假，后来的供述为真；又或者前后的供述均为假。翻供作为跌宕起伏的诉讼抗争中的一个插曲在受贿案中表现得尤为突出，