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

1

作者 鲁晨光 齐修远 《现代哲学》 北大核心 1989年第2期49-51,59,共4页

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

关键词 原始经验 实指定义 心理状态 心理哲学 一致性 感觉材料 逻辑可能性 客观存在 物体 色觉

在线阅读 下载PDF 职称材料

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

2

作者 黄文杰 《学术论坛》 2004年第1期24-28,共5页

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

关键词 智证结构 解释范式 形式系统 逻辑可能性

在线阅读 下载PDF 职称材料

基于可能性测度的计算树逻辑 被引量：14

3

作者 薛艳 雷红轩 李永明 《计算机工程与科学》 CSCD 北大核心 2011年第9期70-75,共6页

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

关键词 可能的Kripke结构 可能性测度 可能性计算树逻辑 一致性

在线阅读 下载PDF 职称材料

可能性缺省逻辑及其应用 被引量：5

4

作者 李爱平 吴泉源 伍赛先 《计算机工程与科学》 CSCD 2001年第4期96-99,107,共5页

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

关键词 专家系统 可能性缺省逻辑 模糊性 信息

在线阅读 下载PDF 职称材料

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

5

作者 邓辉 薛艳 +1 位作者 李亚利 李永明 《计算机科学》 CSCD 北大核心 2012年第10期258-263,共6页

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

关键词 可能的Kripke结构 可能性测度 可能性计算树逻辑PoCTL＊ 可能性互模拟 商可能性Kripke结构

在线阅读 下载PDF 职称材料

广义可能性决策过程的计算树逻辑模型检测 被引量：3

6

作者 马占有 李永明 《计算机工程与科学》 CSCD 北大核心 2015年第11期2162-2168,共7页

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

关键词 并发系统 广义可能性决策过程 广义可能性计算树逻辑 模型检测

在线阅读 下载PDF 职称材料

基于可能性逻辑的不确定性本体描述方法研究 被引量：1

7

作者 孙胜涛 吴爱芝 《小型微型计算机系统》 CSCD 北大核心 2016年第2期281-286,共6页

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

关键词 语义本体 不确定性描述 定量化度量 可能性逻辑 概率统计

在线阅读 下载PDF 职称材料

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

8

作者 马占有 李健祥 +1 位作者 李召恺 郭昊 《郑州大学学报（理学版）》 北大核心 2022年第4期34-41,共8页

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

关键词 模型检测 带成本的广义可能性决策过程 广义可能性计算树逻辑 期望成本

在线阅读 下载PDF 职称材料

广义可能性计算树逻辑和计算树逻辑的关系 被引量：1

9

作者 李丹 李永明 《计算机科学与探索》 CSCD 北大核心 2017年第10期1681-1688,共8页

广义可能性计算树逻辑(generalized possibilistic computation tree logic,GPo CTL)在不确定性模型检测中扮演着非常重要的角色,但其表达能力还尚未研究全面。为此,讨论了GPo CTL与计算树逻辑(computation tree logic,CTL)表达能力之... 广义可能性计算树逻辑(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公式α-等价的定义,并得出了一些更一般的结果。 展开更多

关键词 计算树逻辑 广义可能性计算树逻辑 区间广义可能性计算树逻辑 表达能力

在线阅读 下载PDF 职称材料

可能性扩展规则的推理和知识编译 被引量：7

10

作者 殷明浩 孙吉贵 +1 位作者 林海 吴瑕 《软件学报》 EI CSCD 北大核心 2010年第11期2826-2837,共12页

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

关键词 扩展规则 可能性逻辑 知识编译 EPPCCCL(each PAIR of possibilistic CLAUSES CONTAINS COMPLEMENTARY literals)理论

在线阅读 下载PDF 职称材料

结构化论辩理论在医疗决策中的应用研究

11

作者 崔建英 安宇辉 《学术研究》 北大核心 2025年第4期42-48,177,共8页

神经网络被广泛应用于决策支持系统,但其无法对决定(从输入到输出)给出明确解释,由此被称作人工智能的“黑盒”效应。结构化论辩理论通过论证间的支持与击败关系解释输入—输出(从前提到结论),有助于合乎伦理规范和可解释医疗决策模型... 神经网络被广泛应用于决策支持系统,但其无法对决定(从输入到输出)给出明确解释,由此被称作人工智能的“黑盒”效应。结构化论辩理论通过论证间的支持与击败关系解释输入—输出(从前提到结论),有助于合乎伦理规范和可解释医疗决策模型的设计。我们基于结构化论辩框架P-ASPIC+构建医疗决策模型MDM,将其应用于一个医疗决策案例的刻画:首先,将患者的就诊信息量化并存储到知识库;其次,构造推理框架,借助求解器TOAST计算在给定语义下的可接受论证集;最后,通过解释生成器生成文本解释辅助主体医疗决策。结构化论辩框架建构决策模型的方法,既可为决策者提供合适的选择,也可清晰阐明这些选择背后的支持理由,提高了决策的透明度和可解释性,有助于提升医疗决策的质量和信任度。 展开更多

关键词 标准可能性逻辑 医疗决策模型 结构化论辩框架

在线阅读 下载PDF 职称材料

科学逻辑研究的几个问题

12

作者 汪馥郁 《北京师范大学学报（社会科学版）》 1983年第6期8-14,共7页

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

关键词 科学逻辑 逻辑可能性 科学发现 单称命题 归纳逻辑 经验认识 个别性 非逻辑 逻辑史 逻辑框架

在线阅读 下载PDF 职称材料

命题与判断本质论析

13

作者 马养新 《人文杂志》 CSSCI 北大核心 1996年第4期32-36,共5页

命题与判断本质论析马养新陕西师范大学哲学教研室每一门科学体系，实质都是一个命题、判断或陈述句的序列，语言学、逻辑学更直接把命题、判断或语句作为研究对象。这样，命题、判断和语句，就成了各门科学的上位概念或者基本概念。如... 命题与判断本质论析马养新陕西师范大学哲学教研室每一门科学体系，实质都是一个命题、判断或陈述句的序列，语言学、逻辑学更直接把命题、判断或语句作为研究对象。这样，命题、判断和语句，就成了各门科学的上位概念或者基本概念。如何确定命题与判断的本质，对于规范各... 展开更多

关键词 可能世界 现实世界 逻辑证明 现实对象 事实真理和逻辑真理 逻辑必然性 逻辑可能性 实践检验 逻辑概念 逻辑思维

在线阅读 下载PDF 职称材料