Chinese translation for "semantic interpretation"
|
- 语义解释
Related Translations:
- Example Sentences:
| 1. | Cultural psychological analysis of camel xiangzi and semantic interpretation
的文化心理分析与语义诠释 | | 2. | A comparison on the semantic interpretation and formalization of generic sentences
概称句的语义解释及形式化比较研究 | | 3. | Naturally , we expect the semantic interpretation and operation to be constant across such providers
我们自然期望在这样的提供者之间语义解释和操作都能保持一致。 | | 4. | The definitions of syntax structure , semantic interpretation , knowledge base form and reasoning problems based on satisfiability are given for the extended fuzzy description logic
定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题。 | | 5. | By such a formalization , a general framework is proposed for integration of graphical uml statechart diagrams and formal rsl specifications , which forms the continuation of the previous work on formalization of uml class diagrams in rsl . this allows the definition of uml semantic interpretations that are precise and unambiguous , and also enhancing the readability , conciseness and abstraction of the resulting rsl specification
通过这一形式化提出了一种对图形化的uml状态机视图模型的形式化和rsl规范进行集成的框架，这一工作是对uml类图在rsl中形式化的继续，使得人们可以对uml的非形式化模型给出一种精确无二义性的语义解释，同时也提高了rsl规范的抽象层次，增强了其可读性简明性。 | | 6. | Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part , we introduced quantifiers and predicate into lmp ( x ) , put up lattice - valued modal first - order logic system lmf ( x ) , and gave its semantic interpretation and syntax structure , proved soundness theorem and consistence theorem . moreover , in order to judge the satisfiability of formula , defined skolem standard type and h - interpretation . based on these work , made a primary discussion of a - resolution principle based on lmf ( x )
第三部分：关于格值模态一阶逻辑系统及其归结原理的研究第n页西南交通大学博士研究生学位论文这一部分主要是在格值模态命题逻辑系统lmp队）中引进量词和谓词，建立格值模态一阶逻辑系统lmf （广并给出其语又解释和语法结构，证明了系统的可靠性和协调性；另外，为了判断公式的可满足性，定义了格值模态一阶公式的skolem标准型和体解释；在此基础上，对基于系统lmf （ ）的a一归结原理进行了初步探讨 | | 7. | Part two the study of lattice - valued tense propositional logic system and its resolution method the main work of this part is to introduce four tense operators e ( ever ) , f ( will ) , h ( ever always ) and g ( will always ) into lp ( x ) , put up lattice - valued tense propositional logic system ltp ( x ) which takes time axis as language circumstance , gave detailed semantic interpretation and syntax structure , and discussed some properties of it , then proved soundness theorem and consistence theorem . furthermore , studied ( a , t ) - resolution principle which is related to time , gave some rules of computing tense resolvent , and put forward the method of tense resolution
第二部分：关于格值时态命题逻辑系统及其归结方法的研究此部分的主要工作是在格值命题逻辑系统lp ( x )中引进时态算子e (曾经) 、 f (将会)及其对偶算子h (曾经总是) 、 g (将会总是) ，提出了以时轴为语境的格值时态命题逻辑系统ltp ( x ) ，并给出其具体的语义解释和语法结构，并讨论了它的一些性质，证明了该系统的可靠性和协调性。 |
- Similar Words：
- "semantic information function" Chinese translation, "semantic information processing" Chinese translation, "semantic information retrieval" Chinese translation, "semantic information retriever" Chinese translation, "semantic intention" Chinese translation, "semantic interpretation function" Chinese translation, "semantic interpretative rules" Chinese translation, "semantic knowledge" Chinese translation, "semantic language" Chinese translation, "semantic layer" Chinese translation
|
|
|
