时态运算符可以直接用时态逻辑表达式来表示，不需要模态运算符。基本理念是将时态运算符映射为一些时间性关系，这种关系涉及到一些以当前时间为参照的指示性区间。对于下面的例子，我们假定NOW1表示当前时间。这样，可以将PAST运算符映射为一个公式，对在这之间的时间进行量化。这样，句子“John was happy”将对应为知识表达式：
ヨT1.T1 <NOW1. Happy(Jack1, T1)
同一个句子如果用简单现在时来表达，“John is happy”将映射为：
ヨT1. NOW1⊆ T1. Happy(John1, NOW1)
简单将来时的句子“John will be happy”将映射为：
ヨT1.T1 > NOW1. Happy(Jack1,T1)
值得注意的是，时态的解释是有歧义的，因为一些简单现在时的句子可以指将来，如“The flight arrives at noon”。而一些将来时的句子也可以表示现在，如“Jack will be in class by now”。这里将不考虑这些问题。
即使没有歧义，也存在一些困难的问题。例如，有两种方法来表明过去的某一个事件为真，分别对应于过去时和过去完成时。例如：
Helen saw the books.(Helen看见了这些书。)
Helen had seen the books.(Helen 已经看见过这些书了。）
这两种解释之间的区别何在？如果是孤立的句子，很难说明它们之间的区别。不过，可以将它们放到具体的上下文之中，如：
When Jack opened the door, Helen saw the books.
（当Jack打开门时，Helen看见了这些书。）
When Jack opened the door, Helen had seen the books.
（当Jack打开门时，Helen已经看见过这些书了。）
上一篇：程序语义学与问答系统
下一篇：时间和动词的体态类
微信公众号搜索“译员”关注我们，每天为您推送翻译理论和技巧，外语学习及翻译招聘信息。