resolution (logic) 中文意思是什麼

resolution (logic) 解釋
歸結原理
  • resolution : n 1 決心，果斷；堅定，剛毅。2 （議會等的）決定，決議（案）；【法律】〈罕用語〉判決；（疑問等的）...
  • logic : n. 1. 邏輯，理論學。2. 推理[方法]；邏輯性，條理性。3. 威力，壓力，強制（力）。
  1. 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一歸結原理進行了初步探討
  2. 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 ） ，並給出其具體的語義解釋和語法結構，並討論了它的一些性質，證明了該系統的可靠性和協調性。
  3. Based on the principle of resolution refutation in fl, the inferring process of first order predication logic ( fopl ) is performed and sn inference based on pn is implemented

    根據形式邏輯的歸結反演原理，本文給出了一階謂詞邏輯的petri網推理的方法，實現了語義網路的petri網推理。
  4. The frequent form representation based on logical logic relation representation enhances the resolution of three doors problems ; ( 3 ) the participants who acquire the correct experience from frequent form representation can resolve the transfer whether it is similar in content or in structure

    （ 3 ）在邏擇關系分解基礎上的頻率表徵無論對結構相似還是內容相似的遷移問題的解決都有最好的正遷移效果。
  5. Based on lattice - valued propositional logic system lp ( x ) and lattice - valued first - order logic system lf ( x ), the author studied semantic and syntax properties of generalized lattice - valued modal logic system, and probed into a - resolution principle. the specific contents are as follows : part one the study of lattice - valued modal propositional logic system and its resolution method in this part, we introduced modal operators n ( necessary ) and p ( possible ) into lattice - valued propositional logic system lp ( x ), set up a new lattice - valued modal propositional logic system lmp ( x ), studied its semantic properties and syntax structure, proved the soundness and consistence of this system. based on these work, discussed a - resolution principle of lattice - valued modal propositional logic system lmp ( x ), gave out the rules of computing a - direct resolvent and a - self resolvent, and proposed detailed resolution method

    本文在格值命題邏輯系統lp （ x ）和格值一階邏輯系統lf （ x ）的基礎上，討論了廣義格值模態邏輯系統的語義及語法性質，並對其-歸結原理做了初步探討，主要在下述三個方面取得了研究成果：第一部分：關于格值模態命題邏輯系統及其歸結方法的研究在此部分，把模態運算元n （必然）和p （可能）引入格值命題邏輯系統lp （ x ） ，建立了新的格值模態命題邏輯系統lmp （ x ） ，並研究了它的語義刻畫及語法結構，證明了在此語義解釋和語法框架下的系統仍是-可靠的和協調的；在此基礎上，進一步研究了基於格值模態命題邏輯系統lmp （ x ）的-歸結原理，給出了計算-直接歸結式和-自歸結式的規則，並總結出具體的歸結方法。
  6. In addition, by introducing three operators, judging true, judging medium and judging false, the relationship between the system mf and the classical 2 - valued logic system is discussed. based on the relationship, the resolution principles of mfm are given by taking the classical 2 - valued logic system as a tool. the resolution principles show that the resolution problems can be solved by using the theories of the classical 2 - valued logic system

    此外，通過引入判真、判中和判假三個運算元給出了mf ~ m系統與經典二值邏輯系統的關系，並以經典二值邏輯系統作為工具討論了mf ~ m系統的消解理論，該消解理論能夠完全利用經典二值邏輯系統的理論方便地解決mf ~ m的消解問題。
  7. When the selection of the routine is based instead on more complex logic, such as the state of the resolution of an l3 - to - l2 address mapping, the routine used at any time depends on external events that cannot be predicted

    當常式的選擇被替代在比較復雜的邏輯，像是決定l3 -到- l2地址映射狀態的時候，在隨時被用的常式依靠外部事件，那是不可預測的。
分享友人
分享到 Line

分享到臉書