1) Interval temporal logic
时段时态逻辑
1.
Interval temporal logic based intrusion signatures(ISITL) is a high-abstractive formal description language for representing intrusion signatures.
ISITL(Intrusion Signatures based on Interval Temporal Logic)是一种较高抽象程度的入侵特征形式化描述语言,它对Allen的时段时态逻辑进行了实时描述的扩充,从而加强了其入侵特征的描述能力。
2) Duration calculus
时段逻辑
3) temporal logic
时态逻辑
1.
Formal description of properties of concurrency system by temporal logic;
时态逻辑形式化描述并发系统性质
2.
Automated trust negotiation based on temporal logic;
基于时态逻辑的自动信任协商模型
3.
Research on knowledge representation based on temporal logic;
基于时态逻辑的知识表示研究
4) point-interval temporal logic
点-时段时序逻辑
5) interval temporal logic
时段时序逻辑
1.
However, this satisfaction relation does not work for interval temporal logics, where the models are finite sequences.
但是,当使用时段时序逻辑(interval temporallogic)作为说明逻辑时,由于逻辑模型的有限性,使得上面的满足关系不再适用。
6) CTL temporal logic
CTL时态逻辑
补充资料:时态逻辑
时态逻辑 tense logic 非经典逻辑的分支学科。其研究对象是,把含有时态动词的语句形式化,并且把含有这种语句的推理系统化。早在古希腊时期,麦加拉-斯多阿学派在讨论模态概念时就已经涉及到时间概念,中世纪逻辑学家也探讨过时态语句。1947年H.赖兴巴赫专门对文法时态作了逻辑分析。同年,波兰逻辑学家J.洛斯建立了时态逻辑的第一个形式公理系统。英国逻辑学家A.N.普莱尔发展了洛斯的思想,于1957年建立了时态逻辑的两个系统。美国逻辑学家N.莱肖尔改进了普莱尔的工作,也于1966年建立了时态逻辑的两个系统。芬兰逻辑学家C.H.von莱特在1963年和1965年,独立于洛斯和普莱尔建立了较弱的时态逻辑系统。60年代以来,时态逻辑的成果逐渐增加,现已发展成为一门比较成熟的学科。它在对时态语句和包含时态语句的推理方面,以及在人工智能、科学哲学等方面都有很大的作用或影响。 构成时态逻辑的基本成分是时态语句。时态语句分为两种:时间上确定的语句;时间上不定的语句。时态逻辑主要研究时间上不定的语句。时态逻辑系统可以用两种方式构造:①把一组语句作为公理,这叫做语法地构造。②根据对时间相继的性质R所作的不同假定进行构造,这叫做语义地构造。 |
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条