關(guān)于我們
書單推薦
新書推薦
|
基于時(shí)序邏輯的Resolution自動(dòng)定理證明方法 時(shí)序邏輯是人工智能和計(jì)算機(jī)科學(xué)領(lǐng)域中的重要建模工具。隨著時(shí)序邏輯的廣泛使用,應(yīng)用時(shí)序邏輯來對(duì)復(fù)雜系統(tǒng)進(jìn)行推理和驗(yàn)證的算法也應(yīng)運(yùn)而生。其中成功的方法之一就是Resolution算法,這也是本書的主題。
你還可能感興趣
我要評(píng)論
|