共查询到20条相似文献,搜索用时 656 毫秒
1.
2.
张师超 《广西师范大学学报(自然科学版)》1997,15(1):8-12
定义了基于间断区间的时态的逻辑的公理,分离规则,证明等概念,特别,讨论了区间分离后的时态关系确定问题以及公理的完备性。 相似文献
3.
讨论模态逻辑和时态逻辑,定义时态逻辑的四个时态算子,探讨了对象模型,提出了时态逻辑对象模型,研究了对象知识表示,给出了基于时态逻辑的知识表示模型和一个对象知识案例,结果表明时态对象模型可以有效地表达知识. 相似文献
4.
定义了间断区间时态逻辑中的一些基本概念:真值联结、公理、分离原则、证明、定律,这些概念与传统逻辑中相应的概念有较大的差异。 相似文献
5.
张广泉 《重庆师范学院学报》1999,16(2):1-4
针对Manna-Pnueil命题线性时态逻辑(PLTL)在描述实时性方面的不足,本文扩充PLTL,引入物理时间因子,提出一种用于实时系统的定量时态逻辑,并给出一个实例-监视器计时网(WIN)的定量时态逻辑描述。 相似文献
6.
7.
针对传统的模糊描述逻辑对随时间变化的不精确知识缺乏表达能力,运用时态逻辑,结合模糊计算,提出了基于时间区间关系的时态模糊描述逻辑—TFDL(IntervalAllen).引入Allen区间关系用于表示时间区间关系,并给出了TFDL(IntervalAllen)的语法和语义.该逻辑形成的系统增强了不精确知识的时态关系的表达能力. 相似文献
8.
为解决不确定性语义时态查询及其计算资源配置的优化问题,使用子结构逻辑对时态演算机制进行了完善并构建了查询中间件原型. 基于构造性逻辑语义,构建了中间件演算流程,将时态属性映射为类型语义,使针对时间属性的运算从句法演算中剥离,在保证表达能力的前提下,仅进行语义计算,加速并优化了查询演算流程.实验结果表明:该方法与中间件原型可行、高效,具有共性,为时态信息处理提供理论与技术支撑. 相似文献
9.
软件体系结构:概念,风格与描述语言 总被引:8,自引:2,他引:6
张广泉 《重庆师范学院学报》2000,17(3):1-5,27
概述了软件体系结构的基本定义,分类与描述语言;介绍了一种基于时态逻辑语言XYZ/E的可视化体系结构描述语言XYZ/ADL,它可同时描述软件体系结构的静态与动态行为;最后提出了进一步的工作。 相似文献
10.
为了从多时间序列之间发现的定性的时态相关模式可而更全面的理解和把握系统的演化特性,提出了一种基于时态逻辑的多时间序列挖掘模型.它首先将多时间序列转化为多事件序列,然后将预处理后的多事件序列利用区间时态逻辑(ITL)关系子集来定义多事件序列中事件间的时态相关模式.其次进行多状态序列融合和局部时态观测序列的生成,之后采用频繁模式挖掘算法发现多时间序列的频繁时序模式.该模型有助于解决时间序列挖掘所面临的若干挑战和难题,有助于扩展现有时间序列挖掘系统的功能,从而指导时间序列等复杂类型数据的知识发现过程.实验结果表明了该模型及算法的有效性和优越性. 相似文献
11.
并发系统性质描述的一种形式化方法 总被引:2,自引:2,他引:0
张广泉 《重庆师范学院学报》1998,15(1):11-14
给出并系统性质的一种形式化描述方法-时态逻辑方法,其时间模型是离散和和线性的。 相似文献
12.
多智能体协同的认知规范模型检测算法 总被引:1,自引:0,他引:1
在Wooldridge提出的利用不变式特征的方法来模型检测时态认知逻辑的基础上,研究多智能体协同逻辑ATEL(Alternating Temporal Epistemic Logic)中认知算子的模型检测算法,包括多层的认知算子,分布式认知算子和公共知识算子等等。研究结果表明,加入认知算子后的ATEL的在增加系统描述能力的同时并没有明显增加其计算复杂性。 相似文献
13.
基于情境的文本中的时间信息分析 总被引:3,自引:2,他引:3
情境用来描述文本中具体的动态和静态事件,时间是其重要因素·为了分析文本中的时间信息,本文首先给出了一个基于情境的文本理解的模型,并在时态逻辑的基础上,提出了文本的时间信息分析方法,它是将事物发展变化的时间顺序作为理解文本的一条重要线索·其主要工作包括:讨论了时间的概念、时间的类型和时间单位的转换机制;分析了命题间的时间关系、对象行为间的时间关系以及事件状态与时间过程的关系;并给出了所使用的时态逻辑 相似文献
14.
提出了一种基于时态逻辑的抽象对象语义描述方法,采用这种方法,可以在说明对象的同时对其行为加以时态限制,从而在语义层次上规约了并行对象系统的行为。在此方法上,还可以进一步对系统进行形式化的验证。 相似文献
15.
16.
本文提出了模糊初值的概念,通过映射贴近度到模糊初值空间,我们给出了模糊时态逻辑中的一种新的推理方法。 相似文献
17.
模糊交互时态逻辑及其语义结构 总被引:1,自引:0,他引:1
Alur等人建立的交互时态逻辑(ATL *)是一种重要的多Agent合作逻辑,它对计算树逻辑(CTL *)进行了合作算子拓展,然而它缺乏对不确定时态信息的刻画。通过考察模糊时态事件和模糊时态状态、描述相对时间来改进并发博弈结构,并给出模糊并发博弈结构;把模糊并发博弈结构的若干要件从相对时间域到绝对时间域进行映射,给出已映射模糊并发博弈结构;建立了模糊交互时态逻辑(FATL *),给出其语法,在已映射模糊并发博弈结构下给出其语义;阐述了FATL *的表达力比ATL *强。 相似文献
18.
交互时态信念逻辑及其模型检测 总被引:2,自引:0,他引:2
交互时态认知逻辑(ATEL)是对交互时态逻辑(ATL)的扩展,但是它只刻画了知识,没有探讨信念的刻画问题.给出广义并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种信念算子,在广义并发博弈结构下给出其语义,建立了交互时态信念逻辑(ATBL).给出一个多项式时间模型检测算法,并证明了ATBL的模型检测复杂度为PTIME-complete;给出并证明了ATBL的若干良好性质,比较了相关工作.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具. 相似文献
19.
20.
可视化软件体系结构描述工具XYZ/ADL的设计与实现 总被引:1,自引:1,他引:0
在时态逻辑语言XYZ/E的基础上,建立一种以可视化图形表示的软件体系结构描述工具XYZ/ADL,它采用组件、连接件及交互端等基本设计单元,可同时描述软件体系结构的静态与动态行为,该语言能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡,从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来. 相似文献