时序规则表达法及其的应用.docVIP

时序规则表达法及其的应用 　　[摘要]时序逻辑在许多领域如人工智能、形式化方法、自动控制中都有成功的应用。有效的实现系统控制在很大程度上取决于良好的系统状态表达法，时序规则表达法是综合基于时间点、区间、事件的时序逻辑的新方法。该方法可以简单、直观、有效的表达系统状态并可进行推理。将它应用于乙烯裂解炉温度控制系统中，可以获得很好的效果。 　　[关键词]时序逻辑 系统状态 时序规则 　　中图分类号：O29 文献标识码：A 文章编号：1671-7597（2009）0110127-02 　　 　　一、引言 　　 　　在标准逻辑中所讨论的命题是与时间无关的，既不涉及时态变化，也不涉及特定的参照空间，这些命题的真假是不受时间限制的[2]。与时态变化有关的命题及其推理用一般的标准逻辑是无法处理的。这也就是时序逻辑所要研究的。早在1960年，Quine就指出这类与时间相关的陈述应该用与时间无关的形式表达出来并用多序的谓词逻辑来进行推理。而Strason从另一个方面认为以上的现象预示着形式逻辑自身存在着限制性。上述是两种较消极的观点。第三种想法则更为积极，它主张将形式逻辑进行扩展，使得其能够解决该类问题。这种扩展的方法就是时序逻辑，它是处理与时间有关的推理问题的一类逻辑[5]。在时序逻辑中，相同句子在不同时刻有不同的值。在过去某时刻为真的句子可能现在不为真，现在为假的句子到将来某时刻可能为真。为了处理这种情况，可在任一命题前加上时序算子F，P，G，H就构成命题的时序语言lt。Lt的时序算子的直觉解释如下： 　　FA：A在将来某时刻为真； PA：A在过去某时刻为真； 　　GA：A在将来永远为真；HA：A在过去永远为真。 　　在此基础上，引进一个时序框架tf：tf=（T，R，h）是一个三元组，其中：T是非空的时间点集合；R是时序优先关系；h是一个函数：h：T×lt的原子子句――1，0 　　Lt是扩充的命题演算语言，其语义可通过对函数h的赋值来解释，见[1]。根据对时序优先关系R的限制的不同，可得到各种不同的时序逻辑。如果不对R做任何的限制，则称此时的时序逻辑系统为极小系统，E.J.Lemmon将其命名为Kt，而其他时序逻辑系统都是Kt的扩充。如线性时序逻辑、分枝时态逻辑等。在这里将不作详细的介绍。 　　从对时间的表示来看，有基于时间点的时序逻辑；基于区间的时序逻辑，基于事件的时序逻辑。基于时间点的时序逻辑以McDermott为代表，他于1982年提出了一种时序逻辑，该逻辑的时序优先关系是及物的、左线性的、时间可以向两边无限延伸的、稠密的和连续的。他运用了带变量的多序的一阶谓词逻辑定义了“时间”、“状态”、“事实”、“事件”。而Allen的时序逻辑是基于区间的，他于1981年把两个时间点之间的一个时间区间，定义为时间原语[1]（time atomic），并规定了两个时间区间的十三种不同关系。为了进行时序推理，他定义了五种区间之间的时序关系[1]。近年来，随着软件工程、人工智能的产生和发展，人们逐渐认识到时序逻辑对计算机科学的重要影响，1977年A.Pnueli首次将时态逻辑引入计算机科学。 　　目前计算机科学家已开发多种时态逻辑（语言），如Z.Manna和A.Pnueli 　　的PLTL、Chandy和Misrs的UNITY、唐稚松的XYZ/E、A.Lamprot的TLA、Emersom和Clarke的CTL/CTL^等，它们随时间结、时态算子的选择而异[6]。时序逻辑在系统控制领域的应用也十分广泛，这里所应用的时序逻辑即为基于系统状态的时序逻辑，该逻辑是将时序逻辑应用于系统状态控制中，通过对系统状态变量的时序描述和推理达到对系统状态的实时控制。下面将讨论如何将时序逻辑应用于系统状态控制。 　　 　　二、基于系统状态的时序逻辑 　　 　　（一）关于系统状态的定义 　　一个系统状态是过程或对象内部状态的反映，可通过系统状态变量在某段时间（时刻）的取值或改变来表征。这可用BNF（巴克斯范式）详细描述，参见[1]。下面的实例说明了该描述方法。如：用V50表示第50号传感器的输出电压，V30表示第30号传感器的输出电压，则如下式子表达的含义分别为： 　　 　　由此可见，利用这种范式可以很好地将系统的状态进行表达。 　　（二）系统状态结构的定义 　　一个系统状态结构是一个代数系统E（V，A）[1]。上述基于系统状态的时序逻辑本质上是嵌入了时间因素的一阶谓词，是基于点的、基于区间的、基于时间的三种时序逻辑表示方法的综合运用。它允许把反映动态系统状态的运算表达式及其相关时间作为变量嵌入时序谓词，而时序谓词又可直接作为产生式规则的前件，因此可以简洁、直观的表达复杂的时变领域知识。对于上述的例子，如果嵌入时间因素，则变为