| |
| 表示时间知识的问题出现在计算机科学的许多领域。在这些知识不精确或相对的应用程序中，基于日期行或时间瞬间的当前表示是不够的。介绍了一种基于时间间隔的时序逻辑，以及一种基于约束传播的高效计算推理算法。该系统在表达能力和演绎引擎效率之间提供了微妙的平衡，这一点值得注意。引入了参考区间的概念，它捕获了许多域中隐含的时间层次，并可用于精确控制系统自动执行的扣除量。示例包括包含历史数据的数据库、用于建模过程和过程交互的数据库，以及当前时刻不断更新的交互式系统的数据库。 |
|
| 贡献者： |
詹姆斯·艾伦-作者
|
| 主要项目类型： |
| 技术报告 |
| 系列/报告编号： |
| UR CSD/TR86（修订版） |
| 语言： |
| 英语 |
| 主题关键词： |
| 知识表示；定理证明；时间推理；演绎；约束传播；区间表示；算法；时间间隔 |
| 赞助商-描述： |
| 海军研究办公室（ONR）-编号00014-80-C-1097 |
| 国家科学基金会（NSF）-IST-80-12418；IST-82-10564标准 |
| 首次向公众展示： |
| 10/1983 |
| 最初创建时间： |
| 10/1983 |
| 公开日期： |
| 2010年5月10日 |
| 原始出版日期： |
| 10/1983 |
| 以前发布者： |
| 罗切斯特大学。计算机科学系。 |
| 引用： |
|
| 许可授予人/授予日期： |
| 萨拉达·乔治/ 2010-05-10 14:42:44.945 (查看许可证) |
| 存款日期 |
| 2010-05-10 14:42:44.945 |
| 上次更新日期 |
| 2012-09-26 16:35:14.586719 |
| 提交人： |
| 萨拉达·乔治 |
|
