安吉洛·蒙塔纳里;恩里科·梅姆;伊曼纽尔·齐亚佩索尼;埃琳娜·拉特 处理事件演算中的时间粒度。 （英语） Zbl 0864.68101号 新一代计算机技术研究所（编辑），第五代计算机系统1992。92年FGCS国际会议。日本1992年，第2卷。阿姆斯特丹：IOS出版社。702-712 (1992). 摘要：本文提出了一种基于逻辑的知识表示和推理方法中时间粒度概念的形式化。这项工作是基于事件演算，这是一种使用一阶逻辑进行时间、事件和属性推理的形式主义，用否定作为失败。在本文中，它被扩展到包括时间粒度的概念。在表示方面，定义了时间宇宙、时间分解和粗粒度等价的基本概念。然后，它指定了如何在时间宇宙中定位事件和属性，以及如何将事件和时间分解配对。关于推理机制，本文定义了执行时间投影的两种可选方式，即向上和向下投影，这使得可以在粗粒度和细粒度之间切换。关于整个系列，请参见[Zbl 0853.00057号]. 引用于1文件 MSC公司： 68立方英尺 知识表示 关键词：时间粒度 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人，1992年：第五代计算机系统。92年FGCS国际会议。日本1992年，第2卷。阿姆斯特丹：IOS出版社。702——712（1992年；兹bl 0864.68101）