时态逻辑的比较与分析

对时态逻辑的两种重要形式———线性时态逻辑与分支时态逻辑进行了比较和分析,指出它们各自的特点及适用范围。     

时态逻辑的比较与分析

对时态逻辑的两种重要形式－线性时态逻辑与分支时态逻辑进行了比较和分析,指出它们各自的特点及适用范围。     

Fuzzy拓扑线性空间的再定义

Fuzzy拓扑线性空间的概念首先是由Katsaras和Llu引进的,但后来始终未被有关作者(也包括Katsaras本人)所沿用,主要原因在于他们定义的Fuzzy拓扑线性空间不具有Fuzzy拓扑的“平移不变性”,从而使研究无法深入。为此,我们[3-5]曾先后给出了Fuzzy拓扑线性空间的另外两种定义,並以蒲保明和刘应明所引进的Fuzzy点的邻域系为工具,对这两种定义下的Fuzzy拓扑线性空间理论作了初步讨论。     

带等词的一阶时态逻辑系统

在文献[1]里,我们已建立了一种新的逻辑系统——一阶时态逻辑,并介绍了它在程序理论中应用的基本方法.在程序理论和数学中使用的一阶时态逻辑应该是带有等词的.为此,本文对带等词的一阶时态逻辑系统进行深入的考察,从获得的结果可以证实:带等词的一阶时态逻辑具有古典逻辑和普通时态逻辑两方面的演算功能.这也为今后开展程序语言语义学的研究提供了一个有效的工具.     

英语的"时态教学"应形象化

英语“时态”教学学生较难理解,令人头痛。但如果把无形的时态放在有形的数轴上表示,那就容易多了。要表示“时态”,得先弄清与时态有关的时间,即现在时间、过去时间和将来时间。“现在时间”就是包括说话时在内的时间,如:thisyear,thismonth ,thisweek ,today……,我们说话都包含在上述时间里,故为现在时间。也可以把现在时间缩为一点,如我们在1 0点1 1分1 2秒说话,那么这一时间就为现在时间。反之说话之前的时间为“过去时间”。掌握了这样的时间概念,就可以根据时态的用法在数轴上来讲解了。一般现在时。用法1 表示经常性或习惯性的动作…     

英语动词时态形式的语用功能

“时态”和“时间”是两个容易混淆的概念。过去的英语语法书过度地强调了动词时态形式的时问范畴，很多外语学习者认为：过去时态表示“过去”，而现在时态表示“现在”。从语用学角度分析动词现在时态形式和过去时态形式的不同语用功能，以期对其有一个新的认识。     

职业教育英语时态坐标教学法

谓语动词的时态变化是学生学习的难点,但如能把握其“时间”这个要素,就能提高学习运用时态的成效。引进数学的“坐标”,把“时态”里的时间放在“坐标”图上,变抽象思维为形象思维,便于学生理解各种时态在“时间”这个领域里的差异,使其充分理解各时态的用法精髓。     

模糊交互时态逻辑及其语义结构

Alur等人建立的交互时态逻辑（ATL ＊）是一种重要的多Agent合作逻辑,它对计算树逻辑（CTL ＊）进行了合作算子拓展,然而它缺乏对不确定时态信息的刻画。通过考察模糊时态事件和模糊时态状态、描述相对时间来改进并发博弈结构,并给出模糊并发博弈结构;把模糊并发博弈结构的若干要件从相对时间域到绝对时间域进行映射,给出已映射模糊并发博弈结构;建立了模糊交互时态逻辑（FATL ＊）,给出其语法,在已映射模糊并发博弈结构下给出其语义;阐述了FATL ＊的表达力比ATL ＊强。     

程序算子与逻辑算子的统一——一阶时态逻辑(关系逻辑)

一阶时态逻辑(又称关系逻辑)同时具有一阶谓词逻辑、时态逻辑、Hoare逻辑、动态逻辑以及模态逻辑的演算功能。在一阶时态逻辑中,程序算子与逻辑算子被统一地看成一个关系算子。这样做之后,我们就实现了多种程序逻辑与普通的逻辑(古典的与非古典的)的统一。我们也能使用一阶时态逻辑,为各种研究领域建立一些特定的形式系统。总之,一阶时态逻辑是上述各种现代逻辑的一个汇合。     

一阶时态逻辑系统及其在程序中的一个应用

随着程序科学研究的不断深入,用于研究的工具也不断改进.从最初使用古典逻辑、普通的模态逻辑,直到现在已经有人使用了时态逻辑.各种新的时态算子的不断涌现,使得对每一种新开拓的时态逻辑系统都必须证明其完全性定理.此外,现今的时态逻辑主要还是“命题形式”的,怎样把它推广到一般的谓词形式的时态逻辑,也有必要进行研究.特别,以往在程序中使用时态逻辑的时候,仅仅是用时态逻辑来描述程序的一些性质,而没能把程序与时态逻辑放到一个公理化的形式系统里加以讨论. 在本文里,我们力图把已知的一类很大的逻辑,统一在一个称为一阶时态逻辑的公理系统里加以研究.在对这个谓词演算的一阶时态逻辑系统进行深入研究之后,我们就可     

一些Fuzzy逻辑函数最简式唯一性的探讨

通过对一些Fuzzy逻辑函数化简的讨论,得出Fuzzy逻辑函数化简唯一性的普遍规律,其中提出了“不唯一规则”     

基于时间区间关系的时态模糊描述逻辑研究

针对传统的模糊描述逻辑对随时间变化的不精确知识缺乏表达能力,运用时态逻辑,结合模糊计算,提出了基于时间区间关系的时态模糊描述逻辑—TFDL(IntervalAllen).引入Allen区间关系用于表示时间区间关系,并给出了TFDL(IntervalAllen)的语法和语义.该逻辑形成的系统增强了不精确知识的时态关系的表达能力.     

基于子结构逻辑的不确定性语义时态查询技术研究

为解决不确定性语义时态查询及其计算资源配置的优化问题,使用子结构逻辑对时态演算机制进行了完善并构建了查询中间件原型. 基于构造性逻辑语义,构建了中间件演算流程,将时态属性映射为类型语义,使针对时间属性的运算从句法演算中剥离,在保证表达能力的前提下,仅进行语义计算,加速并优化了查询演算流程.实验结果表明:该方法与中间件原型可行、高效,具有共性,为时态信息处理提供理论与技术支撑.     

Fuzzy拓朴群

D.H.Foster 在[1]中定义的 Fuzzy 拓朴群,由于没有利用邻域的概念,因此工作不易深入。本文仍利用 Chang 的 Fuzzy 拓朴的定义,并利用蒲保明和刘应明[3]所引进的 Fuzzy 点及其邻域的概念,重新定义 Fuzzy 拓朴群,从而建立了单位邻域基的平移定理,并讨论了 Fuzzy 拓朴群的子群、商群与 Fuzzy 子群、Fuzzy 商群的性质。一、群上的 F-集和 F-点本文中均设 G 为群,F(X)为分明集 X 上的 Fuzzy 集全体,“Fuzzy”一词以后均简记为“F—”.     

物质存在的时空条件和事物演化的数学模型

根据空间、时间和物质运动的不可分离性，给出了物质“存在”的数学模型．指出空间非空性和时间非负是物质存在的充要条件．探讨了在时间进程中时态演化的规律，引入异位点集合和同位点集后，推导了地物动态变化的数学模型．论证了制图区域的动态特点和演化的逻辑必然性．     

广义Fuzzy代数

提要:本文把广义Fuzzy“与”算子和(1)中t—范数,广义Fuzzy“或”算子与本文引进的t′—范数统一起来。用t—范数和t′—范数作为广义Fuzzy算子,扩充了(2)中广义算子的定义,并讨论了它们的代数结构。§1.广义Fuzzy算子我们把闭单位区间记作I=[0,1]。定义1.1.一个三角范数(简记为t—范数)是从闭的单位正方形I×I到闭单位区     

基于时态逻辑的知识表示研究

讨论模态逻辑和时态逻辑,定义时态逻辑的四个时态算子,探讨了对象模型,提出了时态逻辑对象模型,研究了对象知识表示,给出了基于时态逻辑的知识表示模型和一个对象知识案例,结果表明时态对象模型可以有效地表达知识.     

时态形式的“距离”含义

杰弗里·利奇和简·斯瓦特维克所著的《英语交际语法》[1]中非常明确地论述了时间与时态、体态之间的关系,即对态与体态表示由动词描述的动作和过去、现在或者将来时间的关系．由此,英语语法中对动词形式所表现的时态和体态紧密地和时间建立起联系．本文拟从“距离”（distace）这一新的视角,深入探讨动词时与体所描述的时间之外的含义．1动词形式中的时态与体态《英语交际语法》中是这样定义时态和体态的：“时（tense）与体（aspect）表示由动词描述的动作和过去、现在或将来时间（time）的关系．”在定义中,时间就象方程式中的参数,…     

广义Fuzzy运算下的代数结构

在[2]、[4]、[5]中,分别讨论了广义Fuzzy运算的若干性质和用处。在[2]、[6]—[8]中分别介绍并讨论了若干广义Fuzzy运算。本文把[2]的广义Fuzzy“与”算子与[1]的t—范数统一起来:广义Fuzzy“或”算子与本文引进的t′—范数统一起来;用t—范数和t′—范数作为广义Fuzzy算子,讨论了它们的代数结构—我们称这种新的代数结构为次De—Morgen软代数。     

实时系统的一种定量时态逻辑描述方法

针对Ｍａｎｎａ－Ｐｎｕｅｉｌ命题线性时态逻辑（ＰＬＴＬ）在描述实时性方面的不足，本文扩充ＰＬＴＬ，引入物理时间因子，提出一种用于实时系统的定量时态逻辑，并给出一个实例－监视器计时网（ＷＩＮ）的定量时态逻辑描述。