摘要：當(dāng)今時(shí)代是計(jì)算機(jī)信息處理的時(shí)代",大數(shù)據(jù)"和"云計(jì)算"等思想接踵而至",計(jì)算機(jī)句法分析"和"計(jì)算機(jī)語(yǔ)義理解"等概念紛至沓來(lái)。要想計(jì)算機(jī)理解自然語(yǔ)言,就需要對(duì)自然語(yǔ)言進(jìn)行句法和語(yǔ)義的形式化分析,使自然語(yǔ)言成為一種可計(jì)算、可推演的處理對(duì)象,這就是邏輯語(yǔ)義學(xué)或語(yǔ)言邏輯的研究任務(wù)。而要形式理解語(yǔ)言,首先要對(duì)漢語(yǔ)中特定研究對(duì)象進(jìn)行研究,比如時(shí)間詞。通過(guò)CCG這個(gè)理想的邏輯工具,對(duì)漢語(yǔ)時(shí)間詞進(jìn)行分類的邏輯語(yǔ)義分析,力圖為自然語(yǔ)言語(yǔ)義理解和人機(jī)通訊等領(lǐng)域提供素材。