英语人>词典>汉英 : 句子演算 的英文翻译,例句
句子演算 的英文翻译、例句

句子演算

词组短语
sentential calculus
更多网络例句与句子演算相关的网络例句 [注:此内容来源于网络,仅供参考]

Prepositional logic: also known as prepositional calculus or sentential calculus, is the study of the truth conditions for propositions: how the truth of a composite proposition is determined by the truth value of its constituent propositions and the connections between them.

命题逻辑:也叫命题演算或句子演算,研究命题的真值条件:复合命题真值是如何由成分命题真值及成分命题之间的关系决定的。

Prepositional logic 命题逻辑:---- also known as prepositional calculus or sentential calculus,is the study of the truth conditions for propositions:how the truth of a composite propositions and the connection between them.

也叫命题演算或句子演算,研究命题的真值条件复合命题真值是如何由成分命题真值及成分命题之间的关系决定的。

First, the character clustering algorithm regards the character as our features and then it can cluster these sentences of our target words to the correct group without any other resources. The average precision is 66.1%. Second, in the concept clustering algorithm of the aggregate computing, we use HowNet as the knowledge base of our feature words and obtain the concepts of these words. We cluster the sentences which have the same or similar concepts of the feature words into the same group. And then we can complement some lacks of the character clustering algorithm. The average precision is 72.3%. Third, regarding the concept clustering algorithm of the sememe distance, we use the sememe distance to compute its concept similarity. It improved similarity measure of the concept clustering algorithm of the aggregate computing. It achieves 81% average precision and gets better cluster quality.

词形分群演算法不受语料资源限制,能将词形相似且词义相近的词汇所属的句子分到同一群,经过人工验证,得到了66.1%的平均正确率;基於集合计算的概念分群演算法使用了知网做为撷取特徵词汇的知识库,透过知网取得词汇的概念,将具相同或相似概念的特徵词汇所属的句子分成同一群,补足词形分群演算法的不足,得到72.3%的平均正确率;基於义原距离的概念分群演算法则利用义原间的距离计算特徵概念的相似度,进一步改善了基於集合计算的概念分群演算法在相似度衡量的问题,得到81%的平均正确率,达到更好的分群效果。

更多网络解释与句子演算相关的网络解释 [注:此内容来源于网络,仅供参考]

sentential calculus:語句演算

sentential anaphora 句子照應 | sentential calculus 語句演算 | sentential conjunction 句子連接

sentential calculus:句演算

"句子合成程式","sentence synthesizing program,SSP" | "句演算","sentential calculus" | "句型","sentential form"

sentential form:句型,句型

sentential calculus 句子演算,句子演算 | sentential form 句型,句型 | senter tap 設定能

decidable:可决定的

形式系统:这个列举演算法称为语言的产生规格.语言相关的说明(Cont'd)若一语言的所有字串经由产生句子之演算法有限个步骤处理后都能决定是否合法,则此语言称为可决定的(decidable).英文太含糊而且易导致定义不明确,