一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理 被引量：13

1

作者 林闯 刘婷 曲扬 《计算机学报》 EI CSCD 北大核心 2001年第12期1299-1309,共11页

针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力 .时间 Petri网模型表示的引入 ,增强了扩展时段时序逻辑的描述直观性及分析能力 ,为进行线性推理提供了有... 针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力 .时间 Petri网模型表示的引入 ,增强了扩展时段时序逻辑的描述直观性及分析能力 ,为进行线性推理提供了有利的工具 .同时还提出了几种变迁间的实施推理规则 .运用这些规则可以简化复杂时序关系的 Petri网模型 ,并在线性时间复杂度内定量地得到各变迁间的时序逻辑关系 。 展开更多

关键词 点-时段时序逻辑 扩展时段时序逻辑 时间Peter网 线性推理 人工智能

在线阅读 下载PDF 职称材料

使用Petri网T－不变量求解子句的逻辑推论 被引量：8

2

作者 林闯 王鼎兴 《计算机学报》 EI CSCD 北大核心 1996年第10期762-767,共6页

本文研究了子句逻辑规则的Ｐｅｔｒｉ网模型的表示及使用Ｐｅｔｒｉ网分析方法进行逻辑推论．基于四值逻辑和冲突变迁的概念，表示了非Ｈｏｒｎ子句Ｐｅｔｒｉ网模型的构造，并使用Ｔ－不变量方法解决于句推论问题．另外，本文还显示了... 本文研究了子句逻辑规则的Ｐｅｔｒｉ网模型的表示及使用Ｐｅｔｒｉ网分析方法进行逻辑推论．基于四值逻辑和冲突变迁的概念，表示了非Ｈｏｒｎ子句Ｐｅｔｒｉ网模型的构造，并使用Ｔ－不变量方法解决于句推论问题．另外，本文还显示了向前推论和向后推论在子句Ｐｅｔｒｉ网模型中的应用． 展开更多

关键词 逻辑推论 子句 petri网 T-不变量 人工智能

在线阅读 下载PDF 职称材料

利用不动点求解子句逻辑推演的Petri网模型 被引量：5

3

作者 林闯 吴建平 《软件学报》 EI CSCD 北大核心 1999年第4期359-365,共7页

文章研究了子句逻辑推演的Ｐｅｔｒｉ网模型表示和不动点求解方法．基于四值逻辑和冲突变迁的概念，可用Ｈｏｒｎ子句的Ｐｅｔｒｉ网模型方法来构造非Ｈｏｒｎ子句的Ｐｅｔｒｉ网模型．逻辑推演的基本方法之一就是寻找逻辑赋值的不动点... 文章研究了子句逻辑推演的Ｐｅｔｒｉ网模型表示和不动点求解方法．基于四值逻辑和冲突变迁的概念，可用Ｈｏｒｎ子句的Ｐｅｔｒｉ网模型方法来构造非Ｈｏｒｎ子句的Ｐｅｔｒｉ网模型．逻辑推演的基本方法之一就是寻找逻辑赋值的不动点．该文显示了一种基于Ｐｅｔｒｉ网模型的子句逻辑不动点求解算法，比现有算法更为有效． 展开更多

关键词 逻辑推演 子句 petri网 计算机网络 人工智能

在线阅读 下载PDF 职称材料

一种新的Petri网推理方法 被引量：5

4

作者 王志坚 蔡自兴 《计算机工程与科学》 CSCD 2002年第2期102-104,共3页

提出一种新的基于Petri网的知识表达方法和逻辑推理算法 ,通过减少重复推理过程 ,充分利用推理过程中已经得到的中间结论。该算法比现有算法减少了推理步数 。

关键词 petri网 推理方法 知识表达 逻辑推理 人工神经网络

在线阅读 下载PDF 职称材料

基于直觉模糊Petri网的加权直觉模糊推理 被引量：3

5

作者 孙晓玲 王宁 《计算机工程与应用》 CSCD 2013年第4期50-53,94,共5页

利用直觉模糊集合较好地表现不确定信息的能力和Petri网的并行处理能力,构建了直觉模糊Petri网模型。给出了输入权值、变迁阈值等多种约束条件下的直觉模糊推理算法。该算法将直觉模糊推理过程转化为矩阵的运算过程可充分利用直觉模糊Pe... 利用直觉模糊集合较好地表现不确定信息的能力和Petri网的并行处理能力,构建了直觉模糊Petri网模型。给出了输入权值、变迁阈值等多种约束条件下的直觉模糊推理算法。该算法将直觉模糊推理过程转化为矩阵的运算过程可充分利用直觉模糊Petri网的并行推理能力,有效地避免同一变迁不必要地重复激发从而节省推理时间。实例分析表明所给出的直觉模糊推理算法较已有算法更加合理并且高效。 展开更多

关键词 直觉模糊集合 直觉模糊petri网 直觉模糊逻辑 模糊推理 直觉模糊产生式规则

在线阅读 下载PDF 职称材料

一种知识表达Petri网及其特性分析 被引量：1

6

作者 王志坚 蔡自兴 《郑州大学学报（理学版）》 CAS 2006年第4期83-86,共4页

根据Horn子句的特点,定义了一种新的Petri网形式———HIPN网,给出了基于HIPN网的知识表达方式和从逻辑程序到HIPN模型的转换算法,论证了HIPN网的一些重要特性.基于HIPN模型的逻辑推理过程和现有求解方法相比,可以大幅减少重复推理,有... 根据Horn子句的特点,定义了一种新的Petri网形式———HIPN网,给出了基于HIPN网的知识表达方式和从逻辑程序到HIPN模型的转换算法,论证了HIPN网的一些重要特性.基于HIPN模型的逻辑推理过程和现有求解方法相比,可以大幅减少重复推理,有效提高推理效率. 展开更多

关键词 petri网 HIPN 知识表达 逻辑推理

在线阅读 下载PDF 职称材料

基于案例推理系统的Petri网模型 被引量：1

7

作者 林闯 《计算机学报》 EI CSCD 北大核心 1994年第A00期77-81,共5页

在基于案例推理中，一个重要的问题就是如何在案例存储空间进行推演．本文中，我们提出了一个基于案例推理（ＣＢＲ）系统的Ｐｅｔｒｉ网模型，而且使用网论中的线性技术来解决基于案例的推演．

关键词 案例推理系统 petri网 人工智能

在线阅读 下载PDF 职称材料

基于直觉模糊时间Petri网的不确定性时间推理方法

8

作者 任神河 郑寇全 +1 位作者 雷英杰 王睿 《火力与指挥控制》 CSCD 北大核心 2016年第11期30-35,40,共7页

针对Petri网模型在对复杂不确定性时间信息描述和推理方面的局限性,在定义直觉模糊时间函数以及网络变迁约减规则的基础上,融合直觉模糊时序逻辑(IFTL)、直觉模糊Petri网(IFPN)以及线性逻辑推理的理论优势,构建了直觉模糊时间Petri网(IF... 针对Petri网模型在对复杂不确定性时间信息描述和推理方面的局限性,在定义直觉模糊时间函数以及网络变迁约减规则的基础上,融合直觉模糊时序逻辑(IFTL)、直觉模糊Petri网(IFPN)以及线性逻辑推理的理论优势,构建了直觉模糊时间Petri网(IFTPN)推理模型,并提出了基于IFTPN的不确定性时间推理算法,较好地解决了态势评估中冲突事件间的不确定性时间推理问题。最后,通过典型的战场想定验证了该时间推理方法的有效性和优越性。 展开更多

关键词 直觉模糊集 petri网 时序逻辑 时间推理

在线阅读 下载PDF 职称材料

推理维护系统的Petri网模型

9

作者 林闯 陆维明 《软件学报》 EI CSCD 北大核心 1994年第11期23-30,共8页

本文为推理维护系统引入一种Ｐｅｔｒｉ网模型并对有限非单调理论应用Ｐｅｔｒｉ例分析方法．本文提议的模型不但能描述推理维护系统，而且可用网论与网技术分析推理维护．对于一组给定的非单调规则我们给出一个算法可求得其外延，我们... 本文为推理维护系统引入一种Ｐｅｔｒｉ网模型并对有限非单调理论应用Ｐｅｔｒｉ例分析方法．本文提议的模型不但能描述推理维护系统，而且可用网论与网技术分析推理维护．对于一组给定的非单调规则我们给出一个算法可求得其外延，我们还给出一个算法可发现系统的不一致性．我们提出的寻找外延的算法要比现有的重构过程更有效，且它是可判定的． 展开更多

关键词 petri网 推理维护系统 非单调推理 人工智能

在线阅读 下载PDF 职称材料

模糊时间Petri网及其时间推理方法

10

作者 高梅梅 吴智铭 《计算机科学》 CSCD 北大核心 2000年第7期11-14,31,共5页

Petri网是一种用网状图形表示系统模型的方法,它能够从组织结构、控制和管理的角度,精确描述系统中事件(变迁)之间的依赖(顺序)和不依赖(并发)关系。但传统的Petri网理论其不足之处在于:它的分析方法主要是可达树分析法和线性代数描述... Petri网是一种用网状图形表示系统模型的方法,它能够从组织结构、控制和管理的角度,精确描述系统中事件(变迁)之间的依赖(顺序)和不依赖(并发)关系。但传统的Petri网理论其不足之处在于:它的分析方法主要是可达树分析法和线性代数描述法。可达树分析法是针对某一个初始标识的,一个新的初始标识就意味着需要重新构造可达状态图; 展开更多

关键词 petri网 时间推理 模糊时间

在线阅读 下载PDF 职称材料

基于模糊时间Petri网的决策融合模型及时间推理

11

作者 李瑛 汪民乐 刘卫东 《现代防御技术》 北大核心 2006年第4期78-82,共5页

针对常规导弹旅作战指挥决策过程中伴随大量随机、并发情况的特点,提出利用线性逻辑给出的模糊时间Petri网来描述作战指挥决策融合过程。通过建立相应的FTPN模型,并利用时间推理的方法来分析模糊时间Petri网的运行行为,说明其在作战指... 针对常规导弹旅作战指挥决策过程中伴随大量随机、并发情况的特点,提出利用线性逻辑给出的模糊时间Petri网来描述作战指挥决策融合过程。通过建立相应的FTPN模型,并利用时间推理的方法来分析模糊时间Petri网的运行行为,说明其在作战指挥决策融合中的应用。 展开更多

关键词 指挥决策 模糊时间petri网 线性逻辑 时间推理 决策融合

在线阅读 下载PDF 职称材料

扩展时段时序逻辑的推理机制 被引量：4

12

作者 刘婷 林闯 刘卫东 《计算机学报》 EI CSCD 北大核心 2002年第6期637-644,共8页

该文在扩展时段时序逻辑的基础上提出了一种推理机制 ,这种推理机制基于时间 Petri网模型及基本不等式规则 ,可由一组已知的扩展时段时序关系推出一些未知的扩展时段时序关系 ,对不确定时间段内发生的事件及其相互关系具有较好的描述能... 该文在扩展时段时序逻辑的基础上提出了一种推理机制 ,这种推理机制基于时间 Petri网模型及基本不等式规则 ,可由一组已知的扩展时段时序关系推出一些未知的扩展时段时序关系 ,对不确定时间段内发生的事件及其相互关系具有较好的描述能力 .这种推理机制的优势在于定性地对扩展时段之间的时序关系进行推理分析 .利用时间 Petri网模型 ,可以对复杂时序逻辑关系进行化简 ,比单纯利用不等式规则的推理更直观 ,也更简单 。 展开更多

关键词 扩展时段时序逻辑 时序关系 推理机制 时间petri网

在线阅读 下载PDF 职称材料

基于TCPN的产品协同设计过程时序逻辑推理研究 被引量：2

13

作者 郭银章 曾建潮 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2010年第10期1824-1830,共7页

针对具有动态、并发、不确定性特点的协同设计过程的设计活动模糊时间推理问题,基于时间约束Petri网理论,建立一种产品协同设计过程模型及其时间约束关系模型.通过分析协同设计过程的时间约束类型,提出了协同设计活动间的时间约束触发... 针对具有动态、并发、不确定性特点的协同设计过程的设计活动模糊时间推理问题,基于时间约束Petri网理论,建立一种产品协同设计过程模型及其时间约束关系模型.通过分析协同设计过程的时间约束类型,提出了协同设计活动间的时间约束触发规则与推理机制,以及不同触发规则下的时间运算关系;最后通过一个链式输送机协同设计过程实例,验证了文中模型的相关结果,并开发了一个基于时间约束Petri网的协同设计过程时序推理仿真系统. 展开更多

关键词 协同设计过程 时序逻辑推理 时间约束petri网 触发规则 推理机制

在线阅读 下载PDF 职称材料