查询词典 semantical

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

Thus a kind of new syntactical and semantical systems of fuzzy predicate calculus are formed.

从而形成了模糊谓词演算一种新的语构与语义体系。

Once computers are equipped with semantics, they will be capable of solving complex semantical optimization problems.

一旦电脑配备的语义，他们将能够解决复杂的语义优化问题。

The fundamental engineering question is how can we go from today's unstructured web to one rich with semantical information?

该工程的根本问题是我们如何能去从今天的非结构化的Web一个丰富的语义信息？

This method is computationally simple, intuitive in nature, easy to implement and with higher semantical resolution.

使用标尺法进行模糊的评分，简单、直观，计算量小，更加易于实现，并且具有更高的语义分辨度。

The Appendix attempts to organize tags first by the semantical element in which the tags are often used

这里的标签组成是依标签较常应用的范围而划分

Conceptualizations, on the other hand, are the semantical counterpart of ontological theories.

概念化的另一方面是本体理论的语义副本。

What Davidson has done is to constrain the Convention-T empirically and propose semantical theory of truth for natural language.

第三部分说明了戴维森为了使塔尔斯基的约定-T能够适应日常交流中的自然语言，对它进行了改造。

Once the computer knows your preferences and has a semantical representation of it online, it can then run an algorithm to deliver you precise, personalized results.

一旦计算机知道您的喜好和有语义的代表性，它的线上，然后，可以运行的一种算法为您提供准确，个性化的结果。

It is proposed that a top-down parsing algorithm with a chart structure is integrated with a semantical database. The semantical database is obtained while the syntax ingredient is analyzed by this method.

提出了图结构自顶向下分析算法同数据库语义相结合的方法，以此来完成句子结构的分析和句法成分数据库语义的获得。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。