機器智能-高頻問題：歸結算法

爲證實KB|=a是有效的，須要證實（KB∩！a）是不可知足的 舉例： KB=（B11<=>（P12∪P21））∩！B11 a=！P12 想要證實KB∩！a是不可知足的，即python （（（B11<=>（P12∪P21））∩！B11）∩P12）是不可知足的 解題空間： 一、轉換爲合取範式 ①（（（B11<=>（P12∪P21））∩！B11）∩P12）原式 ②（（（！B11∩（P12∪P21））∪（

>>阅读原文<<