- 重点词汇
- computationaladj.计算的;
- classificationn.分级;类别;
- onprep. (覆盖、附着)在…上;由…支撑着;在(运输工具)上;在(某一天);就在…之后;关于(事或人);(身上)带着;为(某团体或组织)的一员;吃;(表示方向)在,向,对;在,接近(某地);根据;以…支付;通过;与…相比
- perspectiven.透镜,望远镜;观点,看法;远景,景色;洞察力;
- fromprep. (表示时间)从…;(表示原因)因为;(表示来源)来自…;(表示分离)与…分离[隔开];
- ofprep. 关于;属于…的;由…制成;
- semanticadj.<语>语义的,语义学的;
- theart.这个;指已提到或易领会到的人或事物;指独一无二的、正常的或不言而喻的人或事物;用以泛指;与形容词连用,指事物或统称的人;用于姓氏的复数形式前,指家庭或夫妇;(指特定用途的事物)足够,恰好;每,一;当前的,本,此;(重读,表示所指的为知名或重要的人或事物)
- problemn.问题;习题;
- Russianadj.俄国的,俄罗斯的;俄语的;
- semanticsn.语义学;词义学;
- 相关例句
总结了未来语义Web基础研究和应用研究的方向:语义Web的基础研究主要包括本体的发展、语义Web语言的形式语义和确信(Trust)与证据(Proof)模型的开发;
互联网摘选
巴威斯等对外延模型论语义学和可能世界语义学的批判,揭示了既有逻辑语义研究的不足,促使人们对自然语言的逻辑语义问题进行更深刻的认识和反思。
互联网摘选
因此,给出关于范畴位置移动的结构公设,构成特定的范畴类型逻辑系统,即多样模态逻辑,并给该系统的可能世界语义学的可通达关系确立相应的限制条件。
互联网摘选
建立模型是对认知表达式进行逻辑语义分析的前提,可能世界语义学为此提供了有效工具。
互联网摘选
研究主体思维状态逻辑框架KARO中的多动作承诺机制,并对其进行语义解释。
互联网摘选
This is also shown by the vagueness of KaKbp → Kap in possible world semantics.
可传递性公式KaKbp→Kap在可能世界语义学上的模糊性,也表明了这一点。
互联网摘选
然而,尽管可能世界语义学能让我们更直观地理解模态逻辑表达式,但是依然衍生出许多问题。
互联网摘选
Criticisms of Situation Semantics on the Extensional Model Theory and the Possible World Semantics
情境语义学对外延模型论和可能世界语义学的批判
互联网摘选
它语义神经网络以概念之间的语义关系为依托,这又能很好地解决汉语语义上的模糊性和词性划分上的困难问题。
互联网摘选
给出了基于语义的几何公差分类方法及基于自由度变动的基本几何要素数学表示方法;
互联网摘选
Language, Semantics, Linguistic Representation, and Theory of Mind
语言,语义,语言表征,心理理论&从语言获得建构理论谈心理理论和语言能力的关系
互联网摘选
换句话说,对一个可检验且独立于语言的词汇语意学理论而言,这些测试提供了一个基石。
互联网摘选
