resolution proof tree 中文意思是什麼
resolution proof tree
解釋
分解證明樹- resolution : n 1 決心，果斷；堅定，剛毅。2 （議會等的）決定，決議（案）；【法律】〈罕用語〉判決；（疑問等的）...
- proof : n 1 證明；證據；【法律】證件；【法律】（口頭或書面）證詞，證言。2 檢驗，考驗；驗算；檢定的品質[強...
- tree : n 特里〈姓氏〉。n 1 樹〈主要指喬木，也可指較大的灌木〉。 ★玫瑰可以稱為 bush 也可以稱為 tree 2 木...
-
It extracts process information from the proof tree by analyzing every node of resolution proof tree to extract procedure. and the partial correctness of the extracted procedure is proved
這一方法的特點是，抽取演算法的時間、空間復雜度都是線性的，並且抽取演算法本身十分簡單，易於實現。
分享友人