AI - Logic

運用場景

  • Action planning
  • SQL
  • Debug
  • Game

Logic運用的2個方面

  • Satisfiability:保證(或尋找)結果符合最終的期望值的
  • Valid:保證所有答案最終爲T,只要有1個爲F的都不符合(即 Not Valid)

Logic Rules

這裏寫圖片描述
這裏寫圖片描述

Satisfiability

兩個算法

DPLL SAT (GSAT)
XXX Complete Method
XXX 確保最後答案,Truth Table / Backtracking Search
x x x 改進:可以根據Contradict內容省略Variables來簡化公式
XXX Incomplete Method
XXX 不確保最終答案,Local Search

Valide

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章