resolution proof procedure 中文意思是什麼
resolution proof procedure
解釋
消解證明過程- resolution : n 1 決心，果斷；堅定，剛毅。2 （議會等的）決定，決議（案）；【法律】〈罕用語〉判決；（疑問等的）...
- proof : n 1 證明；證據；【法律】證件；【法律】（口頭或書面）證詞，證言。2 檢驗，考驗；驗算；檢定的品質[強...
- procedure : n. 1. 工序，過程，步驟。2. 程序，手續；方法；訴訟程序；（議會的）議事程序。3. 行為，行動，傳統的做法；（外交、軍隊等的）禮儀，禮節。4. 〈罕用語〉進行。
-
But there are many limitations in their methods because the methods are not based on analysis of resolution proof procedure
但由於他們的方法都不是從分析歸結證明過程出發的，所以他們的方法存在許多局限性。 -
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
這一方法的特點是，抽取演算法的時間、空間復雜度都是線性的，並且抽取演算法本身十分簡單，易於實現。
分享友人