| 时态逼近关系及时态逻辑的扩充 |
| |
| 引用本文： | 钟绍春,刘大有.时态逼近关系及时态逻辑的扩充[J].软件学报,1996,7(2):119-127. |
| |
| 作者姓名： | 钟绍春 刘大有 |
| |
| 作者单位： | 吉林大学计算机系,吉林,130023;吉林大学计算机系,吉林,130023 |
| |
| 摘 要： | 本文提出了时态逼近关系，并给出了命题不确定性时态关系的一种分类，在Ｓｈｏｈａｍ的时态逻辑基础上，对命题和一阶两种情况，提出了能描述不确定性时态关系，基于时间点和（点对构成的）时间区间的时态逻辑（定性与定量相结合）．此外，还给出了在非确定性时态关系下用于描述命题类型的一些命题时态性质．
|
| 关 键 词： | 不确定性时态关系 命题时态性质 时态逻辑 |
| 修稿时间： | 1/9/1995 12:00:00 AM |
TEMPORAL APPROACHING RELATIONS AND THE DEVELOPING OF TEMPORAL LOGIC |
| |
| Zhong Shaochun and Liu Dayou.TEMPORAL APPROACHING RELATIONS AND THE DEVELOPING OF TEMPORAL LOGIC[J].Journal of Software,1996,7(2):119-127. |
| |
| Authors: | Zhong Shaochun and Liu Dayou |
| |
| Affiliation: | Department of Computer Science Jinn University Changchun 130023 |
| |
| Abstract: | 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. |
| |
| Keywords: | Uncertainty temporal relation temporal property of proposition temporallogic |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
