期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
10
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
可能性扩展规则的推理和知识编译
被引量：
7
1
作者
殷明浩
孙吉贵
+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
职称材料
基于可能性逻辑的不确定性本体描述方法研究
被引量：
1
2
作者
孙胜涛
吴爱芝
《小型微型计算机系统》
CSCD
北大核心
2016年第2期281-286,共6页
本体作为语义Web体系架构的基础组件,在知识形式化描述、语义理解和分析、信息智能化检索等方面发挥着重要的作用.然而由于本体描述逻辑的局限性,只能表达处理确定性和完备性的知识,限制了本体的实际应用效果和适应性.本文则关注于该类...
本体作为语义Web体系架构的基础组件,在知识形式化描述、语义理解和分析、信息智能化检索等方面发挥着重要的作用.然而由于本体描述逻辑的局限性,只能表达处理确定性和完备性的知识,限制了本体的实际应用效果和适应性.本文则关注于该类问题的解决,尝试利用非经典逻辑对本体描述机制进行改进和完善,提出一种基于可能性逻辑和概率统计的不确定性语义关系定量化描述方法,该方法将知识描述中的主观判断和推理决策中的客观统计相结合,从可能性和必然性两个方面来综合表达本体语义关联的不确定性程度,力图提高本体在知识表达和语义分析上对各类不确定性因素的理解和处理能力,并通过案例分析和实验对比验证了该方法的有效性和可行性.
展开更多
关键词
语义本体
不确定
性
描述
定量化度量
可能性
逻辑
概率统计
下载PDF
职称材料
基于可能性逻辑的结构化论辩理论P-ASPIC+
3
作者
崔建英
《逻辑学研究》
CSSCI
2022年第1期14-32,共19页
抽象论辩框架(AF)是定性分析非单调常识推理的经典理论,基于AF关注论证结构化研究的一类论辩理论ASPIC+无法显化处理论辩理论中的不确定、不完全知识。本文基于可能性逻辑,提出结构化论辩理论P-ASPIC+,该理论满足良性论证系统的合理性...
抽象论辩框架(AF)是定性分析非单调常识推理的经典理论,基于AF关注论证结构化研究的一类论辩理论ASPIC+无法显化处理论辩理论中的不确定、不完全知识。本文基于可能性逻辑,提出结构化论辩理论P-ASPIC+,该理论满足良性论证系统的合理性公设条件,可量化处理论证中的不确定性知识,拓展ASPIC+的定性推理能力,避免利用概率理论量化AF理论所导致的概率分布不一致、不完全,以及论证概率解释不清等问题。
展开更多
关键词
可能性
逻辑
ASPIC+
抽象论辩框架
下载PDF
职称材料
可能性缺省逻辑及其应用
被引量：
5
4
作者
李爱平
吴泉源
伍赛先
《计算机工程与科学》
CSCD
2001年第4期96-99,107,共5页
本文分析了 Yager用可能性理论框架来表示缺省知识的形式化方法 ,并测试了三类不同的应用方案。得到的结果与 Reiter的缺省逻辑得到的结果相比较 ,表明只在具有严格约束的缺省逻辑下 ,Yager的形式化方法才与 Reiter的缺省逻辑具有一定...
本文分析了 Yager用可能性理论框架来表示缺省知识的形式化方法 ,并测试了三类不同的应用方案。得到的结果与 Reiter的缺省逻辑得到的结果相比较 ,表明只在具有严格约束的缺省逻辑下 ,Yager的形式化方法才与 Reiter的缺省逻辑具有一定的相关性。我们指出了它们在一般缺省理论下的不匹配处 。
展开更多
关键词
专家系统
可能性
缺省
逻辑
模糊
性
信息
下载PDF
职称材料
基于可能性测度的计算树逻辑
被引量：
14
5
作者
薛艳
雷红轩
李永明
《计算机工程与科学》
CSCD
北大核心
2011年第9期70-75,共6页
首先,提出了可能的Kripke结构的定义,建立了可能的Kripke结构的可能性测度空间,并分析了可能的Kripke结构的一系列性质,即任一路径转移的可能性可由其初始状态的可能性分布与各转移的可能性取下确界而得到;依据可能的Kripke结构所定义...
首先,提出了可能的Kripke结构的定义,建立了可能的Kripke结构的可能性测度空间,并分析了可能的Kripke结构的一系列性质,即任一路径转移的可能性可由其初始状态的可能性分布与各转移的可能性取下确界而得到;依据可能的Kripke结构所定义的可能性测度具有其合理性等等。其次,给出了可能性计算树逻辑(PoCTL)的概念,讨论了两个PoCTL状态公式以及PoCTL与经典计算树逻辑(CTL)公式的等价性。最后,证明了PoCTL公式有与CTL*公式中"一致性"相对应的公式。
展开更多
关键词
可能
的Kripke结构
可能性
测度
可能性
计算树
逻辑
一致
性
下载PDF
职称材料
基于可能性测度的计算树逻辑CTL~＊与可能性互模拟
被引量：
11
6
作者
邓辉
薛艳
+1 位作者
李亚利
李永明
《计算机科学》
CSCD
北大核心
2012年第10期258-263,共6页
提出了基于可能性测度的计算树逻辑CTL*(PoCTL*)的概念。给出了在可能的Kripke结构中可能性互模拟的定义并对其性质进行了详细的探讨。对商可能性Kripke结构及其相关构造进行了特别的研究。
关键词
可能
的Kripke结构
可能性
测度
可能性
计算树
逻辑
PoCTL＊
可能性
互模拟
商
可能性
Kripke结构
下载PDF
职称材料
基于决策过程的广义可能性计算树逻辑模型检测
被引量：
12
7
作者
马占有
李永明
《中国科学：信息科学》
CSCD
北大核心
2016年第11期1591-1607,共17页
本文研究了广义可能性计算树逻辑模型检测算法及其在系统验证中的应用,特别是在非确定性系统验证中的应用.首先引入作为系统模型的广义可能性决策过程和描述系统属性的广义可能性计算树逻辑,然后给出基于广义可能性决策过程的广义可能...
本文研究了广义可能性计算树逻辑模型检测算法及其在系统验证中的应用,特别是在非确定性系统验证中的应用.首先引入作为系统模型的广义可能性决策过程和描述系统属性的广义可能性计算树逻辑,然后给出基于广义可能性决策过程的广义可能性计算树逻辑模型检测算法.该算法最大的优点是利用决策过程中的调度,将模型检测问题转换为多项式时间内模糊矩阵的运算或模糊矩阵不动点的计算.最后通过一个实例说明了广义可能性计算树逻辑模型检测在非确定性系统中的应用.
展开更多
关键词
非确定
性
系统
广义
可能性
决策过程
调度
广义
可能性
计算树
逻辑
模型检测
原文传递
广义可能性决策过程的计算树逻辑模型检测
被引量：
3
8
作者
马占有
李永明
《计算机工程与科学》
CSCD
北大核心
2015年第11期2162-2168,共7页
模型检测作为一种形式化验证技术,已被广泛应用于各种并发系统的正确性验证。针对具有非确定性选择和广义可能性分布的并发系统,引入广义可能性决策过程作为此类系统的模型;给出描述其性质的规范语言广义可能性计算树逻辑的概念;研究此...
模型检测作为一种形式化验证技术,已被广泛应用于各种并发系统的正确性验证。针对具有非确定性选择和广义可能性分布的并发系统,引入广义可能性决策过程作为此类系统的模型;给出描述其性质的规范语言广义可能性计算树逻辑的概念;研究此类系统的广义可能性计算树逻辑模型检测问题。结论表明,其模型检测算法的时间复杂度也为多项式时间。所获得的结果扩大了广义可能性测度在模型检测中的应用范围。
展开更多
关键词
并发系统
广义
可能性
决策过程
广义
可能性
计算树
逻辑
模型检测
下载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
职称材料
广义可能性计算树逻辑模型检测中的成本分析
10
作者
马占有
李健祥
+1 位作者
李召恺
郭昊
《郑州大学学报（理学版）》
北大核心
2022年第4期34-41,共8页
为解决广义可能性计算树逻辑模型检测中的成本问题,提出了带成本的广义可能性计算树逻辑模型检测方法。首先,引入带成本的广义可能性决策过程模型,该模型不仅能刻画系统的非确定选择和可能性转移,还能定量刻画系统的能耗、开销等成本。...
为解决广义可能性计算树逻辑模型检测中的成本问题,提出了带成本的广义可能性计算树逻辑模型检测方法。首先,引入带成本的广义可能性决策过程模型,该模型不仅能刻画系统的非确定选择和可能性转移,还能定量刻画系统的能耗、开销等成本。其次,在带成本的广义可能性决策过程模型下,给出了带成本的广义可能性计算树逻辑的语法及语义。然后,在已有文献基础上给出了第k步瞬时期望成本算子、前k步累积期望成本算子以及可达期望成本算子的模型检测算法。最后,通过一个实例说明了该模型检测算法的实际应用。
展开更多
关键词
模型检测
带成本的广义
可能性
决策过程
广义
可能性
计算树
逻辑
期望成本
下载PDF
职称材料
题名
可能性扩展规则的推理和知识编译
被引量：
7
1
作者
殷明浩
孙吉贵
林海
吴瑕
机构
东北师范大学计算机学院
吉林大学计算机科学与技术学院
吉林大学符号计算与知识工程教育部重点实验室
出处
《软件学报》
EI
CSCD
北大核心
2010年第11期2826-2837,共12页
基金
国家自然科学基金Nos.60573067
60803102~~
文摘
在扩展规则的基础上提出了可能性扩展规则.给出了基于可能性扩展规则的可能性逻辑推理方法,利用互补因子的概念来估价推理问题的复杂度.扩展了经典逻辑的蕴含可控制类和可满足可控制类的定义,提出了可能性蕴含可控制类、不一致性程度计算可控制类的概念.在可能性扩展规则的基础上提出了EPPCCCL(each pair of possibilistic clauses contains complementary literals)理论,并证明了该理论是在最优化形式蕴含可控制类和不一致性程度计算可控制类中的,可以作为可能性知识编译的目标语言.
关键词
扩展规则
可能性
逻辑
知识编译
EPPCCCL(each
PAIR
of
possibilistic
CLAUSES
CONTAINS
COMPLEMENTARY
literals)理论
Keywords
extension rule； possibilistic logic； knowledge compilation； EPPCCCL（each pair of possibilistic clauses contains complementary literals） theory；
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
基于可能性逻辑的不确定性本体描述方法研究
被引量：
1
2
作者
孙胜涛
吴爱芝
机构
燕山大学信息科学与工程学院
中国科学院遥感与数字地球研究所对地观测与数字地球科学中心
燕山大学车辆与能源学院
出处
《小型微型计算机系统》
CSCD
北大核心
2016年第2期281-286,共6页
基金
国家自然科学青年基金项目(61303130)资助
文摘
本体作为语义Web体系架构的基础组件,在知识形式化描述、语义理解和分析、信息智能化检索等方面发挥着重要的作用.然而由于本体描述逻辑的局限性,只能表达处理确定性和完备性的知识,限制了本体的实际应用效果和适应性.本文则关注于该类问题的解决,尝试利用非经典逻辑对本体描述机制进行改进和完善,提出一种基于可能性逻辑和概率统计的不确定性语义关系定量化描述方法,该方法将知识描述中的主观判断和推理决策中的客观统计相结合,从可能性和必然性两个方面来综合表达本体语义关联的不确定性程度,力图提高本体在知识表达和语义分析上对各类不确定性因素的理解和处理能力,并通过案例分析和实验对比验证了该方法的有效性和可行性.
关键词
语义本体
不确定
性
描述
定量化度量
可能性
逻辑
概率统计
Keywords
semantic ontology
uncertain description
quantitative measurement
possibilistic logic
probabilistic statistics
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于可能性逻辑的结构化论辩理论P-ASPIC+
3
作者
崔建英
机构
中山大学逻辑与认知研究所
中山大学哲学系
出处
《逻辑学研究》
CSSCI
2022年第1期14-32,共19页
基金
国家社科基金重大项目(NO.19ZDA042)
广东省哲学社会科学规划项目(NO.GD19CZX03)的研究成果。
文摘
抽象论辩框架(AF)是定性分析非单调常识推理的经典理论,基于AF关注论证结构化研究的一类论辩理论ASPIC+无法显化处理论辩理论中的不确定、不完全知识。本文基于可能性逻辑,提出结构化论辩理论P-ASPIC+,该理论满足良性论证系统的合理性公设条件,可量化处理论证中的不确定性知识,拓展ASPIC+的定性推理能力,避免利用概率理论量化AF理论所导致的概率分布不一致、不完全,以及论证概率解释不清等问题。
关键词
可能性
逻辑
ASPIC+
抽象论辩框架
分类号
B81 [哲学宗教—逻辑学]
下载PDF
职称材料
题名
可能性缺省逻辑及其应用
被引量：
5
4
作者
李爱平
吴泉源
伍赛先
机构
国防科技大学计算机学院
出处
《计算机工程与科学》
CSCD
2001年第4期96-99,107,共5页
基金
国家 8 6 3计划资助项目 (86 3 -3 0 6 -ZD-0 5 -0 1-1)
文摘
本文分析了 Yager用可能性理论框架来表示缺省知识的形式化方法 ,并测试了三类不同的应用方案。得到的结果与 Reiter的缺省逻辑得到的结果相比较 ,表明只在具有严格约束的缺省逻辑下 ,Yager的形式化方法才与 Reiter的缺省逻辑具有一定的相关性。我们指出了它们在一般缺省理论下的不匹配处 。
关键词
专家系统
可能性
缺省
逻辑
模糊
性
信息
Keywords
default logic
possibility theory
default reason
fixed point
分类号
TP182 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
基于可能性测度的计算树逻辑
被引量：
14
5
作者
薛艳
雷红轩
李永明
机构
陕西师范大学计算机科学学院
内江师范学院数学与信息科学学院
出处
《计算机工程与科学》
CSCD
北大核心
2011年第9期70-75,共6页
文摘
首先,提出了可能的Kripke结构的定义,建立了可能的Kripke结构的可能性测度空间,并分析了可能的Kripke结构的一系列性质,即任一路径转移的可能性可由其初始状态的可能性分布与各转移的可能性取下确界而得到;依据可能的Kripke结构所定义的可能性测度具有其合理性等等。其次,给出了可能性计算树逻辑(PoCTL)的概念,讨论了两个PoCTL状态公式以及PoCTL与经典计算树逻辑(CTL)公式的等价性。最后,证明了PoCTL公式有与CTL*公式中"一致性"相对应的公式。
关键词
可能
的Kripke结构
可能性
测度
可能性
计算树
逻辑
一致
性
Keywords
possibilistic Kripke structure
possibility measure
possibility computation tree logic
per-sistence property
分类号
TP301.2 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
基于可能性测度的计算树逻辑CTL~＊与可能性互模拟
被引量：
11
6
作者
邓辉
薛艳
李亚利
李永明
机构
陕西师范大学计算机科学学院
出处
《计算机科学》
CSCD
北大核心
2012年第10期258-263,共6页
基金
国家自然科学基金(60873119)
中央高校基本科研费(GK201001003)资助
文摘
提出了基于可能性测度的计算树逻辑CTL*(PoCTL*)的概念。给出了在可能的Kripke结构中可能性互模拟的定义并对其性质进行了详细的探讨。对商可能性Kripke结构及其相关构造进行了特别的研究。
关键词
可能
的Kripke结构
可能性
测度
可能性
计算树
逻辑
PoCTL＊
可能性
互模拟
商
可能性
Kripke结构
Keywords
Possibilistic Kripke structure
Possibility measure
Possibilistic computation tree logic PoCTL＊
Possibilistic bisimulation
Quotient possibilistic Kripke structure
分类号
TP301.2 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
基于决策过程的广义可能性计算树逻辑模型检测
被引量：
12
7
作者
马占有
李永明
机构
陕西师范大学计算机科学学院
北方民族大学计算机科学与工程学院
出处
《中国科学：信息科学》
CSCD
北大核心
2016年第11期1591-1607,共17页
基金
国家自然科学基金(批准号:11271237
61228305
+2 种基金
61462001)
高等学校博士学科点专项科研基金(批准号:20130202110001
20130202120002)
文摘
本文研究了广义可能性计算树逻辑模型检测算法及其在系统验证中的应用,特别是在非确定性系统验证中的应用.首先引入作为系统模型的广义可能性决策过程和描述系统属性的广义可能性计算树逻辑,然后给出基于广义可能性决策过程的广义可能性计算树逻辑模型检测算法.该算法最大的优点是利用决策过程中的调度,将模型检测问题转换为多项式时间内模糊矩阵的运算或模糊矩阵不动点的计算.最后通过一个实例说明了广义可能性计算树逻辑模型检测在非确定性系统中的应用.
关键词
非确定
性
系统
广义
可能性
决策过程
调度
广义
可能性
计算树
逻辑
模型检测
Keywords
nondeterministic system
generalized possibilistic decision process
scheduler
generalized possibilistic computation tree logic
model checking
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
原文传递
题名
广义可能性决策过程的计算树逻辑模型检测
被引量：
3
8
作者
马占有
李永明
机构
陕西师范大学计算机科学学院
北方民族大学计算机科学与工程学院
出处
《计算机工程与科学》
CSCD
北大核心
2015年第11期2162-2168,共7页
基金
国家自然科学基金资助项目(11271237
61228305
+1 种基金
61462001)
北方民族大学资助项目(2014XB213)
文摘
模型检测作为一种形式化验证技术,已被广泛应用于各种并发系统的正确性验证。针对具有非确定性选择和广义可能性分布的并发系统,引入广义可能性决策过程作为此类系统的模型;给出描述其性质的规范语言广义可能性计算树逻辑的概念;研究此类系统的广义可能性计算树逻辑模型检测问题。结论表明,其模型检测算法的时间复杂度也为多项式时间。所获得的结果扩大了广义可能性测度在模型检测中的应用范围。
关键词
并发系统
广义
可能性
决策过程
广义
可能性
计算树
逻辑
模型检测
Keywords
concurrent systems
generalized possibilistic decision process
generalized possibilistic computation tree logic （GPCTL）
model checking
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
广义可能性计算树逻辑和计算树逻辑的关系
被引量：
1
9
作者
李丹
李永明
机构
陕西师范大学计算机科学学院
出处
《计算机科学与探索》
CSCD
北大核心
2017年第10期1681-1688,共8页
基金
国家自然科学基金Nos.11271237
61228305~~
文摘
广义可能性计算树逻辑(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公式α-等价的定义,并得出了一些更一般的结果。
关键词
计算树
逻辑
广义
可能性
计算树
逻辑
区间广义
可能性
计算树
逻辑
表达能力
Keywords
computation tree logic
generalized possibilistic computation tree logic
interval generalized possibilistic computation tree logic
expressiveness
分类号
TP301.2 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
广义可能性计算树逻辑模型检测中的成本分析
10
作者
马占有
李健祥
李召恺
郭昊
机构
北方民族大学计算机科学与工程学院
出处
《郑州大学学报（理学版）》
北大核心
2022年第4期34-41,共8页
基金
国家自然科学基金项目(61962001)
宁夏自然科学基金项目(2018AAC03127)
北方民族大学引进人员科研项目(2020KYQD14)。
文摘
为解决广义可能性计算树逻辑模型检测中的成本问题,提出了带成本的广义可能性计算树逻辑模型检测方法。首先,引入带成本的广义可能性决策过程模型,该模型不仅能刻画系统的非确定选择和可能性转移,还能定量刻画系统的能耗、开销等成本。其次,在带成本的广义可能性决策过程模型下,给出了带成本的广义可能性计算树逻辑的语法及语义。然后,在已有文献基础上给出了第k步瞬时期望成本算子、前k步累积期望成本算子以及可达期望成本算子的模型检测算法。最后,通过一个实例说明了该模型检测算法的实际应用。
关键词
模型检测
带成本的广义
可能性
决策过程
广义
可能性
计算树
逻辑
期望成本
Keywords
model checking
CGPDP
generalized possibilistic computation tree logic
expected cost
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
可能性扩展规则的推理和知识编译
殷明浩
孙吉贵
林海
吴瑕
《软件学报》
EI
CSCD
北大核心
2010
7
下载PDF
职称材料
2
基于可能性逻辑的不确定性本体描述方法研究
孙胜涛
吴爱芝
《小型微型计算机系统》
CSCD
北大核心
2016
1
下载PDF
职称材料
3
基于可能性逻辑的结构化论辩理论P-ASPIC+
崔建英
《逻辑学研究》
CSSCI
2022
0
下载PDF
职称材料
4
可能性缺省逻辑及其应用
李爱平
吴泉源
伍赛先
《计算机工程与科学》
CSCD
2001
5
下载PDF
职称材料
5
基于可能性测度的计算树逻辑
薛艳
雷红轩
李永明
《计算机工程与科学》
CSCD
北大核心
2011
14
下载PDF
职称材料
6
基于可能性测度的计算树逻辑CTL~＊与可能性互模拟
邓辉
薛艳
李亚利
李永明
《计算机科学》
CSCD
北大核心
2012
11
下载PDF
职称材料
7
基于决策过程的广义可能性计算树逻辑模型检测
马占有
李永明
《中国科学：信息科学》
CSCD
北大核心
2016
12
原文传递
8
广义可能性决策过程的计算树逻辑模型检测
马占有
李永明
《计算机工程与科学》
CSCD
北大核心
2015
3
下载PDF
职称材料
9
广义可能性计算树逻辑和计算树逻辑的关系
李丹
李永明
《计算机科学与探索》
CSCD
北大核心
2017
1
下载PDF
职称材料
10
广义可能性计算树逻辑模型检测中的成本分析
马占有
李健祥
李召恺
郭昊
《郑州大学学报（理学版）》
北大核心
2022
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
