soundness theorem 中文意思是什麼
soundness theorem
解釋
可靠性定理-
Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part, we introduced quantifiers and predicate into lmp ( x ), put up lattice - valued modal first - order logic system lmf ( x ), and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. moreover, in order to judge the satisfiability of formula, defined skolem standard type and h - interpretation. based on these work, made a primary discussion of a - resolution principle based on lmf ( x )
第三部分：關于格值模態一階邏輯系統及其歸結原理的研究第n頁西南交通大學博士研究生學位論文這一部分主要是在格值模態命題邏輯系統lmp隊）中引進量詞和謂詞，建立格值模態一階邏輯系統lmf （廣並給出其語又解釋和語法結構，證明了系統的可靠性和協調性；另外，為了判斷公式的可滿足性，定義了格值模態一階公式的skolem標準型和體解釋；在此基礎上，對基於系統lmf （ ）的a一歸結原理進行了初步探討 -
Part two the study of lattice - valued tense propositional logic system and its resolution method the main work of this part is to introduce four tense operators e ( ever ), f ( will ), h ( ever always ) and g ( will always ) into lp ( x ), put up lattice - valued tense propositional logic system ltp ( x ) which takes time axis as language circumstance, gave detailed semantic interpretation and syntax structure, and discussed some properties of it, then proved soundness theorem and consistence theorem. furthermore, studied ( a, t ) - resolution principle which is related to time, gave some rules of computing tense resolvent, and put forward the method of tense resolution
第二部分：關于格值時態命題邏輯系統及其歸結方法的研究此部分的主要工作是在格值命題邏輯系統lp （ x ）中引進時態運算元e （曾經） 、 f （將會）及其對偶運算元h （曾經總是） 、 g （將會總是） ，提出了以時軸為語境的格值時態命題邏輯系統ltp （ x ） ，並給出其具體的語義解釋和語法結構，並討論了它的一些性質，證明了該系統的可靠性和協調性。 -
This paper discusses the system mpm and mfm, constructs the normal form theories of mpm and its tableau system. the soundness and completeness theorem of the tableau system are also given
本文建立了mp ~ m系統的範式理論，構造了其表推演系統，並證明了其可靠性和完備性。 -
Study on lattice - valued logic system a lattice - valued propositional logic system lp ( x ) based on lattice implication algebra is proposed. the syntax and semantics of lp ( x ) are discussed. the soundness theorem is proved
四、格值邏輯系統的研究建立了基於格蘊涵代數的格值命題邏輯系統l試x ） ，並討論了它的語法和語義問題，證明了可靠性定理。 -
In this thesis, the author just discusses horn clause sets, and gives how to transform horn clause set into neural network. go a step further, the author discusses how to get the learning algorithm of neural network that is equivalence with resolution principle, and proves completeness theorem and soundness theorem of the algorithm for resolution
本文將所討論的子句集限制在horn子句集上，給出了horn子句集轉化為一個神經網路模型的方法，進j一步，對如何構造該神經網路的學習演算法來體現歸結過程進行了討論，並證明了此學習演算法用於歸結原理的可靠性和完備性。
分享友人