知識編譯（knowledge compilation）是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名：知識編譯
- 外文名：knowledge compilation
- 所屬學科：計算機科學技術
- 公布時間：2018年
- 出處：《計算機科學技術名詞 》第三版
定義
泛指把不能直接由計算機處理的知識表示轉換成計算機可操作的形式。包括數據和代碼。例如處理命題邏輯知識庫時常用一種離線編譯技術：命題理論首先被編譯為一種目標語言；在實際的線上推理或查詢中，這種編譯過後的理論可以在多項式時間內完成推理或者查詢。
命題推理問題通常被認為是不易處理的。例如，命題知識庫的子句蘊含查詢為co-NP完全問題，通常被認為不存在多項式時間的求解算法。知識編譯是解決這種不易處理性問題的重要方法，目前已被套用到模型檢測、診斷、產品配置、自動規劃、資料庫和數據挖掘等多個領域。命題推理問題可從概念上分為知識庫和查詢兩部分，其中知識庫的更新頻率較低，人們通常需要對同一知識庫做多次查詢。知識編譯的主要思想是將查詢應答過程分成兩個階段：離線的編譯階段(off-line compilationphase)和線上的查詢應答階段(online query-answering phase)。在離線時將命題公式編譯為易處理的目標語言(target language)，從而能更有效地回答線上階段的查詢。離線階段的時間代價能在多次（甚至指數次）的線上查詢中通過類似於分期付款的方式補償回來。
