resolution theorem proving 中文意思是什麼
resolution theorem proving
解釋
歸結定理證明消解式定理證明- resolution : n 1 決心，果斷；堅定，剛毅。2 （議會等的）決定，決議（案）；【法律】〈罕用語〉判決；（疑問等的）...
- theorem : n. 1. （能證明的）一般原理，公理，定律，法則。2. 【數學】定理。
- proving : 檢驗的
-
In proposbonal calculus, the processing ofresoluhon pdriciple have combination explosion naturally so, how to eltw combinaion explosion in the processing of resolution ( genetal showed computationaily hard problem ) is an in1portan subject in automated theorem proving
命題邏輯系統中的歸結原理本質上存在組合問題，因此，如何避免組合問題（通常以計算復雜性的形式出現）是自動推理研究中的一個重要課題。 -
In this paper, we do two things. first, for theorem proving problem such like ( vx ) ( 3y ) p ( x, y ), we present a method for extracting procedure from the proofs generated by the resolution principle
） y ） p （ x ， y ）的定理證明問題，本文從分析歸結證明樹中的每個節點入手，提取歸結證明的過程信息，生成一個程序。
分享友人