semantic resolution 中文意思是什麼

semantic resolution 解釋
語義消解
  • semantic : adj. 語義（學）的。
  • resolution : n 1 決心，果斷；堅定，剛毅。2 （議會等的）決定，決議（案）；【法律】〈罕用語〉判決；（疑問等的）...
  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. Many approaches developed offer approximation solutions, including principle - based, such as purely syntactic ones, semantic and pragmatic ones, and statistics - based ones. in this paper, we put forward a modal to resolve anaphora ( including empty pronoun ) based on the characteristics of chinese. in this method, we apply some corresponding rules on the sentences after their patterns distinguished in the text, then analyze the semantic relation of the components of the sentence and form a corresponding semantic network, get rid of some candidates according to the co - constrain of the nodes in that network, put every component which refers to people into forward - looking centers, ordered by their semantic role, ascertain the hierarchy of sentences, analyze the transition types resulted by the scheme of different resolutions, finally, choice the most possible scheme of resolution according to the precedence of the types

    本文針對漢語的特點建立了一個包括零代詞在內的代詞消解模型:在語義結構文法思想的指導下，對文本中的句子模式識別后，採用相應的規則式，然後分析句中成分之間的表層語義條件並產生相應的語義網路，利用語義網路中結點間的相互約束對代詞的某些候選先行詞進行排除，並且把每句中指人的語言成分放到前向中心列表中，以它們所充當的語義成分為排序依據，確定句子的層次結構，最後依據中心理論分析每個候選先行詞對代詞的不同消解所造成的層次相鄰的句子之間的過渡類型，利用過渡類型的優先順序對代詞的候選先行詞進行擇優。
  4. 11 sudha ram, jinsoo park. semantic conflict resolution ontology scrol : an ontology for detecting and resolving data and schema level semantic conflicts. ieee trans

    然後我們使用owl語言建立關系數據庫模式的語義擴展模型esm extended semantic model ，以利用沖突分類本體sco解決語義沖突。
  5. Likewise, only if the government returns to its proper position as an outside observer and final arbitrator of disputes can the legislative policy related to esop turn itself around. above all, any resolution to the problems of china ' s esop ultimately depends on the government ' s willingness to transform itself and its current " double - identity. " through the use of a variety of analytical methods - including case analysis, semantic analyses, historical inquiry and comparative study - this dissertation discusses the relationship between government regulation policy and china ' s actual experience with the esop system

    也只有當政府回到外部觀察者和糾紛的最終裁決者的位置，有關職工持股立法政策的轉型才能完成;法律面向所有實行和有意實行職工持股的企業（無論其類型如何）提供一體的保障，通過稅收等杠桿協調由職工持股而導致的收入差距，防止貧富過于懸殊，以及監管和制約內部人控制，制止內幕交易、操縱證券市場行為等目標也才可能實現。
  6. Ontology is a conceptual description of the world, ontology will be used for ambiguity resolution and inference and semantic lexicon will be used for analyzing the clause ' s functional component. around the algorithm, we design and implement a cfm based chinese clause analyzing system. it ' s a knowledge based chinese understanding system, using world knowledge and linguistic knowledge to analyze chinese clause

    圍繞該演算法，我們設計了「基於cfm的漢語小句語義分析系統」 （ cbccus ） ；並把「中學物理教材」中力學部分作為語料，提取其中的語義模式、基元概念和世界知識，對系統的cfm 、語義詞典和ontology實例化，形成一個簡單的原型系統。
  7. 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 ）的-歸結原理，給出了計算-直接歸結式和-自歸結式的規則，並總結出具體的歸結方法。
分享友人
分享到 Line

分享到臉書