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