English translation for "语义解释"
|
- semantic interpretation
Related Translations:
变换语义: transformational calculustransformational semantics 语义消解: semantic resolution 合成语义: compositional semantic 语义前提: semantic presupposition 语义信息: semantic information 语义区别: semantic differential 形式语义: formal definitionformal semantics of programming languages
- Example Sentences:
| 1. | Focus - sensitive constructions and the interpretation of focus
对焦点敏感的结构及焦点的语义解释上 | | 2. | Interpreting the implicit meaning of
隐现的语义解释 | | 3. | A comparison on the semantic interpretation and formalization of generic sentences
概称句的语义解释及形式化比较研究 | | 4. | Naturally , we expect the semantic interpretation and operation to be constant across such providers
我们自然期望在这样的提供者之间语义解释和操作都能保持一致。 | | 5. | The definitions of syntax structure , semantic interpretation , knowledge base form and reasoning problems based on satisfiability are given for the extended fuzzy description logic
定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题。 | | 6. | 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规范的抽象层次，增强了其可读性简明性。 | | 7. | In this paper , through the research of the mental model of agent and the analyses of a few kinds of " belief - desire - intention " ( bdi ) model of agent from the logical view , we explain the agent theoretically . on the base of analyzing the organ structure of agent , we put forward the kernel agent concept . the kernel concept abstracted from common properties of agent , contribute to construct agent and multi - agent system . we have also studied the kqml ( knowledge query and manipulation language ) and communication mechanism of agent , and bring forth the ontology researching will become the emphasis in construction of abstract knowledge exchanging between the agents . at last , we construct a multi - agent system , which exchange kqml message by a mobile agent , by the development tools of agelt and jkqml
当前，对agent和多agent系统的研究正在掀起热潮，是当今计算机科学技术领域、信息工程领域和网络与通信领域十分活跃的前沿研究方向之一。本文通过对agent心智模型的研究，从逻辑学的角度分析并总结了几种agent “信念?愿望?意图” （ bdi ）模型，在理论上对agent进行了解释。总结了现有逻辑模型存在的问题,提出去掉规则n形成的一种非正规模态逻辑的语义上的新的解释，解决了“逻辑全知”问题和由此带来的问题，避免了一般非正规模态逻辑系统语义解释对agent的bdi描述的弱点。 | | 8. | 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 ) ，并给出其具体的语义解释和语法结构，并讨论了它的一些性质，证明了该系统的可靠性和协调性。 | | 9. | Based on lattice - valued propositional logic system lp ( x ) and lattice - valued first - order logic system lf ( x ) , the author studied semantic and syntax properties of generalized lattice - valued modal logic system , and probed into a - resolution principle . the specific contents are as follows : part one the study of lattice - valued modal propositional logic system and its resolution method in this part , we introduced modal operators n ( necessary ) and p ( possible ) into lattice - valued propositional logic system lp ( x ) , set up a new lattice - valued modal propositional logic system lmp ( x ) , studied its semantic properties and syntax structure , proved the soundness and consistence of this system . based on these work , discussed a - resolution principle of lattice - valued modal propositional logic system lmp ( x ) , gave out the rules of computing a - direct resolvent and a - self resolvent , and proposed detailed resolution method
本文在格值命题逻辑系统lp ( x )和格值一阶逻辑系统lf ( x )的基础上，讨论了广义格值模态逻辑系统的语义及语法性质，并对其-归结原理做了初步探讨，主要在下述三个方面取得了研究成果：第一部分：关于格值模态命题逻辑系统及其归结方法的研究在此部分，把模态算子n (必然)和p (可能)引入格值命题逻辑系统lp ( x ) ，建立了新的格值模态命题逻辑系统lmp ( x ) ，并研究了它的语义刻画及语法结构，证明了在此语义解释和语法框架下的系统仍是-可靠的和协调的；在此基础上，进一步研究了基于格值模态命题逻辑系统lmp ( x )的-归结原理，给出了计算-直接归结式和-自归结式的规则，并总结出具体的归结方法。 | | 10. | The primary contributions of this thesis include : having studied the rough set theory carefully , the thesis finds the relationship between rough set and such abstract theories as modal logic , fuzzy set , algebra system and interval - set algebra , i . e . , rough set provides a well defined semantical interpretation to these abstract theories , which enables us to better understand them . secondly , rough set builds an inter - relationship among these dependent theories and connects them together
完成的工作和取得的创新性成果在于：经过对粗糙集理论的深入研究，作者找到了粗糙集与模态逻辑、模糊集、代数系统和区间集代数等抽象理论之间的关系，一是粗糙集可以为抽象理论提供语义解释，从而使我们能更好地理解掌握这些抽象理论；二是粗糙集建立了各个独立的抽象理论之间的内在关系，使彼此独立的抽象理论联系在了一起。 |
- Similar Words：
- "语义检验" English translation, "语义角色" English translation, "语义节点" English translation, "语义结构" English translation, "语义结构学" English translation, "语义解释的层次规则" English translation, "语义解释功能" English translation, "语义解释规则" English translation, "语义解释规则5" English translation, "语义解释函数" English translation
|
|
|
