知識表示之一——謂詞邏輯標記法

　　謂詞邏輯標記法是指各種基於形式邏輯（formal Logic）的知識表示方式，利用邏輯公式描述對象、性質、狀況和關係，例如“宇宙飛船在軌道上”可以描述成：In(spaceship,orbit)。它是人工智慧領域中使用最早和最廣泛的知識表示方法之一。其根本目的在於把教學中的邏輯論證符號化，能夠採用屬性演繹的方法，證明一個新語句是從哪裡已知正確的語句推匯出來的，那麼也就能夠斷定這個新語句也是正確的。

 

　　在這種方法中，知識庫可以看成一組邏輯公式的集合，知識庫的修改是增加或刪除邏輯公式。使用邏輯法表示知識，需要將以自然語言描述的知識通過引入謂詞、函數來加以形式描述，獲得有關的邏輯公式，進而以機器內部代碼錶示。在邏輯法表示下可採用歸結法或其它方法進行準確的推理。

 

　　謂詞邏輯標記法建立在形式邏輯的基礎上，具有下列優點：

• 謂詞邏輯標記法對如何由簡單說明構造複雜事物的方法有明確、統一的規定，並且有效地分離了知識和處理知識的程式，結構清晰；
• 謂詞邏輯與資料庫，特別是與關聯式資料庫有密切的關係；
• 一階謂詞邏輯具有完備的邏輯推理演算法；
• 邏輯推理可以保證知識庫中新舊知識在邏輯上的一致性和演繹所得結論的正確性；
• 邏輯推理作為一種形式推理方法，不依賴於任何具體領域，具有較大的通用性。

 

　　但是，謂詞邏輯標記法也存在著下列缺點：

• 難於表示過程和啟發學習法知識；
• 由於缺乏組織原則，使得知識庫難於管理；
• 由於弱證明過程，當事實的數目增大時，在證明過程中可能產生組合爆炸；
• 表示的內容與推理過程的分離，推理按形式邏輯進行，內容所包含的大量資訊被拋棄，這樣使得處理過程加長、工作效率低。

　　謂詞邏輯適合表示事物的狀態、屬性、概念等事實性的知識，以及事物間確定的因果關係，但是不能表示不確定性知識，以及推理效率很低。