摘要
本文提出了时态逼近关系，并给出了命题不确定性时态关系的一种分类，在Ｓｈｏｈａｍ的时态逻辑基础上，对命题和一阶两种情况，提出了能描述不确定性时态关系，基于时间点和（点对构成的）时间区间的时态逻辑（定性与定量相结合）．此外，还给出了在非确定性时态关系下用于描述命题类型的一些命题时态性质．
In this paper, the authors propose a temporal approaching relation and give a sort of temporal relations of propositions, based on Shoham's temporal logic, they propose a temporal logic which can describe uncertainty relation and is based on time--point and time--interval in proposition and first order case. Finally, they give some properties of temporal proposition under uncertainty relations.
出处
《软件学报》
EI
CSCD
北大核心
1996年第2期119-127,共9页
Journal of Software
关键词
不确定性
时态逻辑
时态逼近关系
人工智能
Uncertainty temporal relation,temporal property of proposition,temporallogic.
