However, though the Possible World Semantics makes us understanding of modal expressions more intuitively, many problems emerge still.

  • 然而,尽管可能世界语义学能让我们更直观地理解模态逻辑表达式,但是依然衍生出许多问题。
  • 来源:互联网摘选更新时间:2025-01-20 12:45:25

  • 重点词汇
  • expressionsn.表情( expression的名词复数 );表示;(数学)表达式;词;
  • emergevi.出现,浮现;暴露;摆脱;
  • modaln.<语法>情态动词;
  • theart.这个;指已提到或易领会到的人或事物;指独一无二的、正常的或不言而喻的人或事物;用以泛指;与形容词连用,指事物或统称的人;用于姓氏的复数形式前,指家庭或夫妇;(指特定用途的事物)足够,恰好;每,一;当前的,本,此;(重读,表示所指的为知名或重要的人或事物)
  • stilladv. 仍,仍然;更,还要;静静地;〈诗〉常,不断地;
  • worldn. 世界;地球;领域;尘世;
  • possibleadj.做得到的;可能的;可能存在的;最…的;合理的;
  • manyadj.许多,多的;
  • moredet./pron.更多;(数、量等)更大的;更多的或附加的人或事物;
  • 相关例句
1、

Criticisms of Situation Semantics on the Extensional Model Theory and the Possible World Semantics

情境语义学对外延模型论和可能世界语义学的批判

互联网摘选

2、

Meanwhile, the neuron is connected according to semantic relation between the concept, which is very good to solve the difficult problems that the fuzzy on semantic and the differentiation of morphology.

它语义神经网络以概念之间的语义关系为依托,这又能很好地解决汉语语义上的模糊性和词性划分上的困难问题。

互联网摘选

3、

Semantic generalization and differentiation leads to Affix and relationships before and after changes in composition and structure, on the contrary, structural changes in semantic false cause, and then to affix generated.

语义的泛化和分化导致词缀与前后成分结构关系发生变化,反之,结构改变引起语义虚化,从而词缀产生。

互联网摘选

5、

The Semantic Differentiation, Structure and Features of Argots

论隐喻的语义识别、语义结构和特征

互联网摘选

6、

Semantic Differentiation and Analysis of the Concept of Music

关于音乐概念的语义学辨析

互联网摘选

7、

In this study, a new classification method of tolerances according to semantics and mathematical representation of basic geometric elements based on DOF is given.

给出了基于语义的几何公差分类方法及基于自由度变动的基本几何要素数学表示方法;

互联网摘选

8、

Language, Semantics, Linguistic Representation, and Theory of Mind

语言,语义,语言表征,心理理论&从语言获得建构理论谈心理理论和语言能力的关系

互联网摘选

9、

Data Transformation with Semantics

基于语义的数据格式转换

互联网摘选

10、

In other words, these linguistic tests for lexical semantic relations provide a building block for a verifiable and language independent theory of lexical semantics.

换句话说,对一个可检验且独立于语言的词汇语意学理论而言,这些测试提供了一个基石。

互联网摘选

11、

A Model-Theoretic Semantics for XML

一种XML的模型论语义

互联网摘选

12、

The original knowledge which is described in natural language in electronic text is disposed by filtrating, semantic block segmenting, word segmenting, syntax and semantic analyzing, pattern matching. In the end it is expressed in the semantic network and storaged in the multimedia knowledge database.

在本系统中,原始的以电子文本形式存在的自然语言描述的知识经过过滤,切分语义块,分词及语法、语义分析,模式匹配,以语义网络的形式存入多媒体数据库。

互联网摘选

13、

A semantic processor based on the semantic pattern matching method

一个基于语义模式匹配方法的语义处理器

互联网摘选

14、

With the advantages of formal semantic definition, visually graphical expression, firm mathematical foundation and description based on state, the Petri net is applied to model and optimize the workflow process more and more.

由于Petri网具有形式化的语义定义、直观的图形表达、严格的数学基础以及基于状态的描述等优点,被越来越广泛应用于工作流过程建模和流程优化。

互联网摘选

15、

Firstly the method of knowledge representation by OWL ontologies is researched, then the formal and semantic description is introduced, and finally knowledge is represented by an instance.

本文在研究OWL本体进行知识表示的机制后,阐述形式化表示及语义说明方法,并结合实例说明知识的表示。

互联网摘选

16、

Some properties of the joint-request are also discussed. Based on the defined action, a teamwork protocol with a formal semantic description is proposed and its application is demonstrated finally.

然后,基于联合请求动作,提出一种主体团队交互协议,并给出了协议的形式化语义,最后讨论了协议的实际应用。

互联网摘选

17、

The primary contents are summarized as follows: An overview of the key functions of the EXPRESS modelling language as well as a formal semantic description of the EXPRESS data model is introduced.

对EXPRESS建模语言的核心功能作了概述,并给出了EXPRESS数据模型的一个形式化语义描述。

互联网摘选

18、
19、

All the works of semantic query optimization before are to decrease the cost by rewriting the query sentence to an equivalent and more efficient one.

以往的语义查询优化工作都是利用领域知识进行查询优化,主要是靠重写查询语句为一个等价的、高效的查询来降低费用。

互联网摘选

20、

The purpose of semantic query optimization is to improve the effeciency of the query by using the semantic knowledge for the efficient query.

语义查询优化的目的是使用语义知识来进行有效的查询,以提高查询效率。

互联网摘选

  • 今日热词
  • 热门搜索

单词帝英语词典(dict.dancidi.com)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:(如需回复请填写联系方式)
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈