支持自然語(yǔ)言的任何知識(shí)表示系統(tǒng)的一個(gè)中心模塊是對(duì)動(dòng)詞和時(shí)間的處理。很多語(yǔ)言涉及時(shí)間，包括隱含在時(shí)態(tài)中的時(shí)間信息、句子的體態(tài)以及由一些時(shí)間副詞所表示的明顯的時(shí)間信息（如“for five minutes”,“yesterday”,“at 3 o'clock”,“after they had left”)等。

在邏輯形式語(yǔ)言中，有好幾種方式可以處理時(shí)間信息。一些模態(tài)運(yùn)算符可以表示時(shí)態(tài)如“PAST”， “PRES” ， “PROG”，“FUT”）和時(shí)間連詞（如“BEFORE”，“DURING”），所有謂詞都可以用時(shí)間作為其參數(shù)。要處理這些語(yǔ)言現(xiàn)象，需要進(jìn)一步擴(kuò)充一階謂詞演算以便能夠表示時(shí)間。

時(shí)間有不同的類型，例如時(shí)間點(diǎn)和時(shí)間段等。時(shí)間點(diǎn)表示的是瞬間時(shí)間，往往與世界中的變化相聯(lián)系（如燈被打開了或某人找回了丟失的鋼筆)；時(shí)間段表示事件發(fā)生的一段時(shí)間，并且有一定的持續(xù)期（如五分鐘的時(shí)間），而時(shí)間點(diǎn)則沒有。很多謂詞只能定義在時(shí)間段上，例如，考慮某謂詞斷言“John drove his car to work at a certain time”(John 在一個(gè)特定的時(shí)間開車去上班)。這個(gè)謂詞只有在一個(gè)時(shí)間段上才為真，而不是時(shí)間點(diǎn)，因?yàn)殚_車到一個(gè)地方需要一段時(shí)間。

因?yàn)樵跁r(shí)間點(diǎn)和時(shí)間段之間有不同的關(guān)系，所以需要對(duì)這兩種情況進(jìn)行區(qū)分。例如，兩個(gè)時(shí)間段可能有重疊，而時(shí)間點(diǎn)則不能重疊。另外，兩個(gè)時(shí)間段可能相接，一個(gè)結(jié)束而另一個(gè)開始。一個(gè)時(shí)間點(diǎn)或時(shí)間段也可能在另一個(gè)時(shí)間段內(nèi)部，而一個(gè)時(shí)間點(diǎn)內(nèi)則不能包括任何時(shí)間。要表達(dá)時(shí)間關(guān)系，需要下面的謂詞：

t1< t2   時(shí)間點(diǎn)/時(shí)間段t1在時(shí)間點(diǎn)/時(shí)間段t2的前面

t1:t2     時(shí)間段t1緊挨著時(shí)間段t2，或者時(shí)間點(diǎn)t1是時(shí)間段t2的開始，或者時(shí)間點(diǎn)t2是時(shí)間段t1的結(jié)束

t1?t2  時(shí)間點(diǎn)/時(shí)間段t1包含在時(shí)間段t2中

如前所述，一些謂詞只能在時(shí)間段上為真，一些謂詞只能在時(shí)間點(diǎn)上為真，也有一些謂詞在時(shí)間點(diǎn)和時(shí)間段上都為真。謂詞的分類對(duì)應(yīng)于動(dòng)詞短語(yǔ)的不同體態(tài)類。

句子所描述的命題至少分為3類，包括描述狀態(tài)（稱為狀態(tài)性命題），描述正在進(jìn)行的活動(dòng)(稱為活動(dòng)性命題），定義已經(jīng)完成的事件(稱為完成性命題）。狀態(tài)性命題描述世界的一個(gè)瞬間或時(shí)間無(wú)限延長(zhǎng)的某個(gè)屬性（如下面的句子）：

Jack is happy. (Jack 很高興。)

I believe the world is flat.（我相信世界是平的。）

狀態(tài)性命題描述的情形缺少一個(gè)準(zhǔn)確定義的結(jié)束點(diǎn)，因此不能出現(xiàn)在一些特定的語(yǔ)言上下文中。例如，不能出現(xiàn)在正在進(jìn)行的形式中：

* Jack is being happy.

* I am believing that the world is flat.

活動(dòng)性命題描述出現(xiàn)在一個(gè)時(shí)間段內(nèi)的活動(dòng)?；顒?dòng)經(jīng)常用進(jìn)行時(shí)來表達(dá)，如：

Jack is running. (Jack 在跑。)

The door was swinging to and fro. (這扇門在來回扇動(dòng)。）