时间逻辑（七）
g（警报→（警报U安全））。
另一个例子，参考系统中的所有计算，是：“如果在从当前状态开始的某些计算上最终启用了处理σ，那么在从那里开始的每种计算时，每当Σ启用时，直到禁用过程τ就会保持启用。 此属性可以在CTL *中正式化
◊fenabledσ→◻g（enabledσ→（enabledσudisabledτ））。
用于指定和推理关于并发系统的LTL的变化是LAMPORT（1994）动作TLA的时间逻辑。 时间逻辑在计算机科学中的其他应用包括：时间数据库，实时流程和系统，硬件验证等。在例如，可以在例如此类应用程序中找到此类应用的进一步细节。 Pnueli（1977）; 艾默生和克拉克（1982年）; Moszkowski（1983）; 盖尔顿（1987年）; 艾默生（1990）; Alur和Henzinger（1992）; Lamport（1994）; Vardi和Wolper（1994）; BOLC和SZALAS（1995）; Gabbay等人。 （2000）; Baier和Katoen（2008）; Kröger和Merz（2008年）; 费舍尔（2011）; Demri等。 （2016）。
11.2人工智能中的时间逻辑
人工智能（AI）是时间逻辑应用的主要应用之一。 通过其帮助探索的AI的重要主题包括：时间本体，空间 - 时间推理，时间数据库和约束解决，可执行的时间逻辑，时间规划，基于代理的系统中的时间推理和自然语言处理。 可以在例如各种应用中综合概述。 Vila（1994）; 盖尔顿（1995）; Fisher等人。 （2005）; 和费舍尔（2008年）。 另见逻辑和人工智能条目第4节措施的相关讨论。
在20世纪60年代后期和70年代，首先讨论了关于时间推理和AI的想法，在20世纪80年代和90年代蓬勃发展; 有关历史发展的概述，请参阅Galton（1987）; Vila（1994）; ØHRStrøm和Hasle（1995）; 和Pani和Bhattacharjee（2001年）。 在麦卡锡和海斯（1969年）的早期哲学讨论中提出了颞逻辑和AI的组合，Rescher和Urquhart（1971年，第十四）的过程和事件理论和事件和周期Hamblin理论（1972）。 20世纪80年代和90年代的开创性工作包括：McDerMott（1982）举行的时间逻辑，了解过程和计划，艾伦（1984）一般的行动和时间理论，Kowalski和Sergot（1986）的事件微积分（1986），由Shoham（1987）的Reified Temporal Logic，Ladkin（1987）的时间表示逻辑，Dean和McDerMott（1987）的时间数据库管理工作，通过Halpern引入基于间隔的时间逻辑和Shoham（1991）和Allen和Ferguson（1994）（关于行动和事件的代表），Pinto和Reiter（1995）的情况微积分，以及Lamport（1994）行动理论。
虽然它与申请有关，但AI文学的辩论也提出了有趣的哲学问题。 对于时间模型的本体论，自然地出现的哲学问题：离散和连续，基于间歇和间隔的时间模型之间的选择是一个示例。 已经开发并比较了基于即时和基于间隔的方法，参见例如，进行比较。 梵洁（1983）; 艾伦（1983）; 艾伦和海耶斯（1989年）; 艾伦和弗格森（1994年）; 盖尔顿（1090; 1995年）; Vila（2005）; 等。
此外，AI文献在不同类型的时间现象之间区分，例如流利，事件，行动和状态。 虽然流利的担心可能随着时间的推移而变化的世界的官方（例如，光线是否正在播放），事件和行动代表世界发生的事情，并导致各国之间发生变化（例如，灯光的开启，房间变为光线）。 时间发病率的理论探讨了这些现象的结构性，例如它们是否在延长一段时间内均匀（例如，如果光线从2点到4点到4点钟，我们可以推断它在3点钟吗？）。 见e.g. 盖尔顿（2005年）; Vila（2005）; 等。
一旦我们在模型中纳入了这种时间现象，我们需要指定允许我们在发生或发生时表达的逻辑语言。 在AI文献中，可以找到不同的时间资格方法。 有关概述，请参阅Reichgelt和Vila（2005）。 传统上，已经使用了一阶逻辑而不是先前样式的时间逻辑的暂时化变化。 也许最简单的一阶方法是所谓的时间争论方法（McCarthy和Hayes 1969; Shoham 1987; Vila 1994）。 这里通过增强命题和谓词与“时间戳”参数来捕获时间维度; 例如，“发布（a。之前，时间和模态，1957）”。 替代，但更密切相关的方法是雷德文逻辑（McDermott 1982;艾伦1984; Shoham 1987;见Ma和Knight 2001进行调查）。 这种方法利用重新确定元谓词，例如“真实”和“假”，但也“保持”，“发生”，“之前”，“之后”，以及“满足”，'重叠'等的间隔关系，它们被应用于一些标准逻辑语言（例如古典一阶逻辑）; 例如，“出生（出生（a。之前），1914）”。 尽管如此，模态逻辑风格方法近期重新疗程，例如， 在基于代理的时间推理（CF.Fisher和Wooldridge 2005）的背景下。
然而，哲学问题不仅是关于传统问题的选择，例如时间模型的选择以及关于哪些时间现象存在的问题以及如何被授予。 AI也提供了新的谜题。 一个着名的例子是帧问题：如果发生更改，我们如何跟踪结果不会发生变化？ 这一问题得到了广泛的探索和涉及哲学和认知科学的问题。 有关详细讨论，请参阅帧问题的条目。
11.3语言学中的时间逻辑
时态是自然语言的重要特征。 它是一个语言设备，允许人们在时间内指定事件的相对位置，通常相对于语音时间。 用几种语言，包括英语，时态变得在不同口头时态的系统中表现出来。 英语允许区分过去，现在和未来时态（'将“未来），传统上，相应的完美和渐进形式也被称为时态。
如上所述，前态逻辑的发明是通过在自然语言中使用时的使用。 Reichenbach（1947）提供了一种替代的早期逻辑方法，他提出了在时间三个点的术语方面的分析：语音时间，事件时间和参考时间，其中参考时间是一个上下文突出的时间点，直观地，捕获从中观看事件的角度。 使用参考时间的概念，Reichenbach能够区分，例如，在简单的过去（“我写了一封信”之间，并且当前完美（“我已经写了一封信”），它在先前的帐户中混淆。 随着简单的过去和现在的完美，事件时间前面先于演讲时间; 但是在前一种情况下，参考时间与事件时间一致，而在后一种情况下，参考时间是与语音时间同时的。
既不是先前的或reichenbach的框架都不能解释例如简单的过去（“我写了一封信”）和过去的渐进性（“我正在写一封信”）之间的区别。 这里的相关区分是方面而不是时态的一个，似乎呼吁基于间隔或基于事件的设置。 对于沿着这些行的账户，请参阅例如 道奇（1979）; 帕森斯（1980）; 盖尔顿（1984年）; 和van lambalgen和Hamm（2005）。
虽然Reichenbach的分析参考了对上下文突出的时间点，但是，在先前的帐户时，时态被解释为时间运算符，这些算子被解释为时刻的量词。 这提出了一般问题：是要被视为量词的自然语言中的时态，或者他们是指及时的特定点吗？ 在一个有影响力的论文中，Partee（1973）提供了对阵时态的量化治疗的以下反例：句子“我没有关闭炉子”意味着（1）较早的时间瞬间，我不会关闭炉子，也不是指（2）我没有早点瞬间关闭炉子。 第一个要求太弱，第二个太强了。 Pareee建议时态和参照代词之间的类比。 根据这一提议，力氏透视上述特定的上下文给出的点（例如，今天早上8点），预先推定到与演讲时间适当的时间关系。 随后，将量化对上下文给定的时间间隔限制（例如，今天早上）变得流行。 在这些账户上，Paree的示例句子具有直观的含义：在我关掉炉子的上下文突出的时间间隔中，没有早先的时间瞬间。 正式，这与量词和时态的参照治疗兼容; 详情请参阅Kuhn和Portner（2002）和Ogihara（2011）。 此外，可以在第7.1节中讨论的时态逻辑的混合变体中处理组合量化和参考元素的想法（参见Blackburn和Jørgensen2016）。 混合方法还允许HANS Kamp风格治疗时间分数，例如“现在”（Kamp 1971），如1968年之前的（事次1968年）所令人望未知的那样。
与时间相关的语言学中的其他相关问题涉及时间副词和连接的含义，时态和量化的相互作用，嵌入时态的解释和时态的序列，以及时态和模态的相互关系。 有关在语言学中应用时间逻辑的应用进一步讨论，请参阅。 斯莱德曼（1997）; Kuhn和Portner（2002）; Mani等人。 （2005）; Meulen（2005）; 苔藓和tiede（2007）; ogihara（2007年; 2011年）; 堤（2013年）; 以及紧张和方面的条目。
进一步阅读
有关时间逻辑的进一步提及，请参阅Venema（2001）的概述; Burgess（2009）; 和Müller（2011年），以及Rescher和Urquhart的详细参考书目（1971年）; Burgess（1984）; ØHRStrøm和Hasle（1995）; Gabbay等人。 （1994）; Fisher等人。 （2005）; Baier和Katoen（2008）; Demri等。 （2016）; 和goranko（2023）。
