- 签证留学 |
- 笔译 |
- 口译
- 求职 |
- 日/韩语 |
- 德语
时态运算符可以直接用时态逻辑表达式来表示,不需要模态运算符。基本理念是将时态运算符映射为一些时间性关系,这种关系涉及到一些以当前时间为参照的指示性区间。对于下面的例子,我们假定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已经看见过这些书了。)