时间化逻辑与时粒度的自动机
摘要：时域粒度的概念已在文献中提出了合适的扩展，以捕捉时间粒度的概念。本文提供了向下无界分层结构的单调二阶理论，这些结构是由最粗颗粒和无限数量的更细的颗粒组成的可无限细分结构，以及向上无界分层结构，这些结构由最细颗粒和无限数量的更粗颗粒组成，并具有完整和基本可判定的时间逻辑对应关系。 我们通过两个步骤得到这样的结果。首先，我们定义了一类组合自动机，称为时态化自动机，可以证明时态化自动机是时态化逻辑的自动机论对应物，并且相关属性，如布尔运算的封闭性、可判定性和相对于时间逻辑的表达等价性，从组件自动机转移到时态化自动机。然后，我们利用时态化逻辑和自动机之间的对应关系，将寻找给定时间粒度理论的时间逻辑对应物的任务简化为寻找时态化自动机对应物的更容易的任务。
作者：M. Franceschet and A. Montanari
论文ID：cs/0311022
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23