- 重点词汇
- expressionsn.表情( expression的名词复数 );表示;(数学)表达式;词;
- emergevi.出现,浮现;暴露;摆脱;
- modaln.<语法>情态动词;
- theart.这个;指已提到或易领会到的人或事物;指独一无二的、正常的或不言而喻的人或事物;用以泛指;与形容词连用,指事物或统称的人;用于姓氏的复数形式前,指家庭或夫妇;(指特定用途的事物)足够,恰好;每,一;当前的,本,此;(重读,表示所指的为知名或重要的人或事物)
- stilladv. 仍,仍然;更,还要;静静地;〈诗〉常,不断地;
- worldn. 世界;地球;领域;尘世;
- possibleadj.做得到的;可能的;可能存在的;最…的;合理的;
- manyadj.许多,多的;
- moredet./pron.更多;(数、量等)更大的;更多的或附加的人或事物;
- 相关例句
Criticisms of Situation Semantics on the Extensional Model Theory and the Possible World Semantics
情境语义学对外延模型论和可能世界语义学的批判
互联网摘选
它语义神经网络以概念之间的语义关系为依托,这又能很好地解决汉语语义上的模糊性和词性划分上的困难问题。
互联网摘选
给出了基于语义的几何公差分类方法及基于自由度变动的基本几何要素数学表示方法;
互联网摘选
Language, Semantics, Linguistic Representation, and Theory of Mind
语言,语义,语言表征,心理理论&从语言获得建构理论谈心理理论和语言能力的关系
互联网摘选
换句话说,对一个可检验且独立于语言的词汇语意学理论而言,这些测试提供了一个基石。
互联网摘选
在本系统中,原始的以电子文本形式存在的自然语言描述的知识经过过滤,切分语义块,分词及语法、语义分析,模式匹配,以语义网络的形式存入多媒体数据库。
互联网摘选
由于Petri网具有形式化的语义定义、直观的图形表达、严格的数学基础以及基于状态的描述等优点,被越来越广泛应用于工作流过程建模和流程优化。
互联网摘选
本文在研究OWL本体进行知识表示的机制后,阐述形式化表示及语义说明方法,并结合实例说明知识的表示。
互联网摘选
然后,基于联合请求动作,提出一种主体团队交互协议,并给出了协议的形式化语义,最后讨论了协议的实际应用。
互联网摘选
对EXPRESS建模语言的核心功能作了概述,并给出了EXPRESS数据模型的一个形式化语义描述。
互联网摘选
以往的语义查询优化工作都是利用领域知识进行查询优化,主要是靠重写查询语句为一个等价的、高效的查询来降低费用。
互联网摘选
语义查询优化的目的是使用语义知识来进行有效的查询,以提高查询效率。
互联网摘选