簡單地說就是把議題的知識架構人工語言化然後計算出每個主張是否合理、或者必須基於什麼信念的系統