AI人工智能 如何用邏輯編程解決問題

在本章中，我們將重點介紹邏輯編程以及它在人工智能中的作用。

我們已經(jīng)知道邏輯是對正確推理原則的研究，或者簡單地說就是研究什么是什么。 例如，如果兩個陳述是真的，那么我們可以從中推斷出任何第三個陳述。

概念 邏輯編程是兩個字，邏輯和編程的組合。 邏輯編程是一種編程模式，其中問題通過程序語句表達為事實和規(guī)則，但在形式邏輯系統(tǒng)中。 就像面向?qū)ο螅瘮?shù)式，聲明式和程序式等其他編程模式一樣，它也是編程方法的一種特殊方式。

邏輯編程使用事實和規(guī)則來解決問題。 這就是為什么他們被稱為邏輯編程的基石。 在邏輯編程中需要為每個程序指定一個目標。要理解在邏輯編程中如何解決問題，我們需要了解構(gòu)建塊 - 事實和規(guī)則 -

事實 實際上，每個邏輯程序都需要事實來處理，以達到既定目標。 事實上基本上是關(guān)于計劃和數(shù)據(jù)的真實陳述。 例如，北京是中國的首都。

規(guī)則 實際上，規(guī)則是允許我們對問題域做出結(jié)論的約束條件。 規(guī)則基本上寫成邏輯條款來表達各種事實。 例如，如果構(gòu)建游戲，那么必須定義所有規(guī)則。

規(guī)則對于解決邏輯編程中的任何問題都非常重要。 規(guī)則基本上是可以表達事實的合乎邏輯的結(jié)論。 以下是規(guī)則的語法 -

A∶? B1,B2,...,Bn

在這里，A是頭部，B1，B2，… Bn 主體。

例如 - ancestor(X，Y): - father(X，Y)。

ancestor(X，Z): - father(X，Y)，ancestor(Y，Z)。

對于每一個X和Y，如果 X 是 Y 的父親，Y 是 Z 的祖先，那么 X 是 Z 的祖先。對于每個 X 和 Y，X 是 Z 的祖先，如果 X 是 Y 和 Y 的父親是 Z 的祖先。