語義解釋規則 的英文怎麼說
中文拼音 [yǔyìjiěshìguīzé]
語義解釋規則
英文
interpretive rule- 語 : 語動詞[書面語] (告訴) tell; inform
- 義 : Ⅰ名詞1 (正義) justice; righteousness 2 (情誼) human ties; relationship 3 (意義) meaning; si...
- 解 : 解動詞(解送) send under guard
- 釋 : Ⅰ動詞1 (解釋) explain; elucidate 2 (消除) clear up; dispel 3 (放開; 放下) let go; be reliev...
- 規 : Ⅰ名詞1 (畫圓形的工具) instrument for drawing circles 2 (規則; 成例) rule; regulation 3 [機械...
- 則 : Ⅰ名詞1 (規范) standard; norm; criterion 2 (規則) regulation; rule; law 3 (姓氏) a surname Ⅱ...
- 語義 : semanteme; semantics
- 解釋 : explain; expound; interpret; explicate; elucidate; tale
- 規則 : 1. (規定的制度或章程) rule; regulation; ordination; prescribed procedure; rope 2. (整齊) regular
-
To paraphrase netrexx inventor mike cowlishaw, netrexx is a programming language derived from both rexx and the java language : its rules of syntax closely follow those of rexx while its semantics are closer to those of the java language
Netrexx的發明人mike cowlishaw對它的解釋是: netrexx是從rexx和java語言這兩者發展而來的編程語言,它的語法規則幾乎完全遵循rexx的語法規則,而它的語義則更接近於java語言的語義。Unless the terms or context of this contract otherwise provide, this contract shall be interpreted in accordance with, and each of the terms used herein shall have the meaning ascribed to it in schedule a
除本合同條款另有約定或上下文另有所指,本合同的解釋規則及本合同中所有相關用語的定義見附錄一。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描述的弱點。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 )的-歸結原理,給出了計算-直接歸結式和-自歸結式的規則,並總結出具體的歸結方法。Introduce searching engine technology of " event inspection " and define the modular description language in respect of its intrusion patterns, as well develop the corresponding rules parser
採用了「事件檢測」引擎技術,並定義了一套入侵特徵模式描述語言及相應的規則語法解釋器。Chapter ii elucidates the rules of interpretation which the judicial interpretation of the wto shall follow, examines the specific application of customary rules of interpretation of public international law in the judicial interpretation of the wto, and examines respectively the specific application of the interpretative elements, methods and principles including the term ' s ordinary meaning, context, subsequent agreements, subsequent practice, relevant rules of international law, object and purpose, effective interpretation, good faith, the preparatory work of the treaties, the circumstances of its conclusion and the special rules for interpretation of treaties authenticated in two or more languages in the practice of the judicial interpretation of the wto and makes relevant comments on these specific applications
第二章闡述了wto司法解釋應遵循的解釋規則,考察了wto司法解釋對國際公法解釋習慣規則的具體應用,並分別就wto司法解釋實踐對用語通常意義、上下文、嗣後協定和嗣後慣例、國際法有關規則、目的和宗旨、有效解釋、善意解釋、準備資料和締約情況以及對不同語言作準的條約解釋的特殊規則等解釋因素、方法和原則的具體應用作了考察,並對這些具體應用作出了相應評述。The principle of contract interpretation should accord the rule of contract language ; equity, efficiency and safety, etc, thus come to the objectivism of contract interpretation
合同語言的公平、效率和安全等內在價值,則規定了合同解釋必須遵循這種價值基礎;而合同語言的內在秩序也只有在合同解釋的客觀主義中才能夠得到最好的說明。The sentences in the book are those whose specific meanings cannot be found in ordinary dictionaries, whose actual meanings are different from their literal meanings and whose grammar cannot be explained with ordinary rules
本書針對外國人漢語學習特點,收錄了大量在一般工具書中難于查到確切含義,字面意思與實際含義有所區別,無法用一般性的語法規則解釋的常見句式,具有很強的實用性。分享友人