語義判定問題 的英文怎麼說
中文拼音 [yǔyìpàndìngwèntí]
語義判定問題
英文
semantical decision problem- 語 : 語動詞[書面語] (告訴) tell; inform
- 義 : Ⅰ名詞1 (正義) justice; righteousness 2 (情誼) human ties; relationship 3 (意義) meaning; si...
- 判 : Ⅰ動詞1 (分開; 分辨) distinguish; discriminate 2 (評定) judge; decide 3 (判決) sentence; con...
- 定 : Ⅰ形容詞1 (平靜; 穩定) calm; stable 2 (已經確定的; 不改變的) fixed; settled; established Ⅱ動詞...
- 問 : Ⅰ動詞1 (請人解答) ask; inquire 2 (詢問; 慰問) question; ask about [after]; inquire about [aft...
- 題 : Ⅰ名詞1. (題目) subject; title; topic; problem 2. (姓氏) a surname Ⅱ動詞(寫上) inscribe; write
- 語義 : semanteme; semantics
- 判定 : judge; decide; vote; determine; predicate; decision; criterion; judging; deciding; determining
- 問題 : 1 (需回答的題目) question; problem 2 (需研究解決的矛盾等) problem; matter 3 (事故或意外) tr...
-
Fundamenta informaticae, 2004, 62 : 1 - 23. 10 kleine b " uing h, lettmann h. propositional logic : deduction and algorithms, cambridge university press, 1999. 11 hilbert d, ackermann w. principles of mathematical logic
2提出了一個演算法把ctl在有界語義下滿足性的檢測規約到一個qbf quantified boolean formulas問題的滿足性的判定上,同時證明了演算法的正確性。Now, icent system can analyze sentences with the context knowledge in ccm. icent has three sub - systems to process temporal information, subject ellipsis and the definiteness of chinese noun phrase. it can deal with the problems of english verb tense generation, subject ellipsis generation and the definite article generation in chinese - english machine translation
原有系統主要以單句為對象進行句法分析和語義分析,擴充后的icent系統可對漢語句子進行上下文分析,其上下文分析分為三個子系統:時間信息分析子系統、主語省略處理子系統和名詞短語定指判定子系統,主要解決英語動詞時態的生成、省略主語的確定和定冠詞的添加等問題。
分享友人