目錄
歸納邏輯編程
編輯歸納邏輯編程（ALP）是一個高級知識表示框架，可用于基于歸納推理以聲明方式解決問題。它通過允許某些謂詞未完全定義來擴展常規邏輯編程。解決問題的方法是通過推導這些可綁架謂詞上的假設（歸納假設）來解決問題。這些問題可以是需要解釋的觀察結果（如經典綁架）或要實現的目標（如常規邏輯編程）。它可以用來解決診斷、計劃、自然語言和機器學習。它也被用來將否定解釋為失敗，是一種歸納推理的形式。
非正式意義和解決問題
編輯P中的子句定義了一組不可歸納的謂詞，并由此提供了問題域的描述（或模型）。IC中的完整性約束規定了問題域的一般屬性，在解決任何問題時都需要考慮這些屬性。
問題G表示正向或負向（NAF）文字，表示需要解釋的觀察結果或期望的目標。通過計算G的?“歸納解釋”可以解決這些問題。
對問題G的歸納解釋是可誘導謂詞的一組積極的（有時甚至是消極的）地面實例。這樣，當將它們添加到邏輯程序P時，問題G和完整性約束IC都成立。因此，歸納性解釋通過添加可歸納謂詞的全部或部分定義來擴展邏輯程序P。這樣，根據P和IC中問題域的描述，歸納式解釋就構成了問題的解決方案。歸納性解釋給出的問題描述的擴展或完成提供了迄今為止尚未包含在問題解決方案中的新信息。通常通過完整性約束表示的優先于一種解決方案優于另一種解決方案的質量標準可用于選擇問題G的特定歸納解釋。
歸納邏輯編程中的計算將常規邏輯編程的后向推理（以將問題減少到子問題）與一種完整性檢查相結合，以表明歸納解釋滿足完整性約束。
內容由匿名用戶提供，本內容不代表www.gelinmeiz.com立場，內容投訴舉報請聯系www.gelinmeiz.com客服。如若轉載，請注明出處：http://www.gelinmeiz.com/111881/