Delight in Thinking

這些天在學習描述邏輯，攻讀《The Description Logic Handbook：theory, implementation and applications》，受益匪淺。 在學習過程中，有一個感想越發強烈地湧上腦海。

描述邏輯是Ron Brachman 1970年代在哈佛大學讀博士是發展起來的，他的博士論文奠定了描述邏輯的基礎。 描述邏輯和我們熟悉的情報檢索語言有很多相似之處，在上世紀70年代，情報檢索語言也是如火如荼。 現在回過頭來看，情報檢索語言和描述邏輯可以說是哥倆一對，可為什麼時隔40年，情報檢索語言已是昨日黃花，而描述邏輯卻是如日中天呢？

想來想去，發現情報檢索語言和描述邏輯看上去很相似，其實他們背後的哲學是截然不同的。 情報檢索語言的哲學是匹配，是建立在詞語匹配上的概念匹配，所以情報檢索語言強調詞彙控制，情報檢索語言本質上是一種受控語言。 而描述邏輯的哲學是推理，即試圖通過形式化的描述來建立推理規則，從形式化描述的概念中推導其內涵，隨著計算機技術的發展，推理理論和工具的完善，描述邏輯煥發著青春。

形式化描述也是建立在受控基礎上的，但是描述邏輯並不控制詞彙，而是控制規則和結構，這樣就被賦予了更為強大的描述能力，這可能是描述邏輯在網絡時代越來越有用武之地的原因吧。

上面的感想只是一個思想火花，不很嚴格也可能是完全錯誤的，寫下來供大家批評討論。