邏輯語義分析 的英文怎麼說
中文拼音 [luóyǔyìfēnxī]
邏輯語義分析
英文
logicosemantic analysis- 邏 : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
- 輯 : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
- 語 : 語動詞[書面語] (告訴) tell; inform
- 義 : Ⅰ名詞1 (正義) justice; righteousness 2 (情誼) human ties; relationship 3 (意義) meaning; si...
- 分 : 分Ⅰ名詞1. (成分) component 2. (職責和權利的限度) what is within one's duty or rights Ⅱ同 「份」Ⅲ動詞[書面語] (料想) judge
- 析 : Ⅰ動詞1. (分開; 散開) divide; separate 2. (分析) analyse; dissect; resolve Ⅱ名詞(姓氏) a surname
- 邏輯 : logic
- 語義 : semanteme; semantics
-
The merits of the inclusion of quantitative methods based on logical empiricism for explicit definition of input errors and uncertainty, approaches to quantisation of input data, and optimisation of outputs are contrasted with soft systems approaches that incorporate more linguistic and information theory into landscape analysis
為輸入的錯誤和不確定,輸入的數據的量子化的方法和輸出的最佳化的明白定義以合乎邏輯的經驗主義為基礎的數量方法的包含的功績與將較多的語言學和傳播理論納入風景分析的軟性系統方法一起對比。The present paper deals with the logical omniscience problem in epistemic logic and the methods to resolve it and presents a kind of epistemic logic called el, which can avoid the logical omniscience, and gives its semantic rules and its axioms
摘要分析認知邏輯中的邏輯全知問題及其解決方法,提出一種可以避免邏輯全知的認知邏輯el ,並給出其語義和公理系統。This paper introduces a new methodology that uses - it knowledge structures, a specific form of kripke semantics for epistemic logic, to analyze communication protocols over hostile networks. the paper particularly focuses on automatic verification of authentication protocols. our approach is based on the actual definitions of a protocol, not on some difficult - to - establish justifications
認知邏輯的kripke語義已經被成功應用到通信協議的推理分析中例如,交替位協議alternating bit protocol的分析,及最近的對tcp的分析.因為信息交換本質上可以看成是個認知過程,用認知邏輯可以很方便地表達What needed by founding scientific systems of theories on administrative act and practicing of rule of law of administration and even practicing of rule of law is to make a deeper study of definition of administrative act and define its intension and extension according to principles and the needs of practice of rule of law, and in consideration of customs of chinese language and chinese legal culture and judicial system of organization, and also in application of logic analysis, historic analysis, prescriptive method, descriptive method, semantic analysis, case research and comparative research. through profound and scientific demonstration, the thesis defines administrative act as the act of administration organ, authorized organization and person by law, which have executive power factors, including rechtsgeschaft of administration, geschaftsahnliche handlung of administration, relakt of administration
本論文從法治原理出發,根據法治實踐的需要,在充分尊重漢語語言的表達習慣及考慮我國的法律文化及司法體制等因素的基礎上,採用歷史考察、語義分析、邏輯分析、比較分析、規范分析與實證分析等方法,經過深入的分析和科學的論證,將行政行為界定為行政機關或法律、法規授權的組織和個人具有行政職權因素的行為,包括行政法律行為、準行政法律行為和行政事實行為。This thesis firstly analyzed major techniques widely used in semantic web and also ontology theory. it then focused the researches on reasoning techniques in the context of ontology knowledge base systems
本文在分析語義web的支撐技術和本體知識庫的理論后,著重研究基於本體知識庫系統的自動推理技術,分邏輯推理和傳統的規則推理兩方面進行研究。This dissertation bases on the standpoint and methods o f marxism, using literal analysis, logical contemplate and historic approaches, etc. discussing the characters and essence, the theories, the basic tactics of english dialogue instructional approach in high school in a systematic and deep way
本研究堅持馬克思主義的立場、觀點和方法,綜合運用文獻分析、比較研究、案例研究、行動研究和邏輯思辨等方法,對中學英語對話教學的本質及特徵、立論依據、基本策略等問題進行了比較系統而深入的探討。Based on the primitive system, a logical device coordinate and its normalization function were defined to enhance the ability of device - independent, an input - output hierarchy model of application system in distributed interactive simulation was proposed, and an instance of the model was listed based on com
在研究分析已有原語系統的基礎上,通過定義邏輯設備坐標系及其中的歸一化函數強化了設備無關性,提出了一個分散式交互模擬應用系統輸入輸出層次模型,並基於com技術對該模型進行了具體實現。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描述的弱點。The article all so try to look out the problems in the fables system of the chinese teaching material, and try to investigate and research the problem, all this based on thinking of the characteristic of chinese teaching, the characteristic of the times, the logic array of the knowledge and the developing regulation of the students, and so on
本文通過對語文教材選用寓言的必要性、可行性進行分析,認識寓言對教材建設、教師教學、學生學習的重要意義,並綜合考慮時代的特點、知識邏輯序列、語文學科的特性、學生身心發展規律等諸多因素,嘗試對現行語文教材中寓言體系所存問題進行調適研究。At implementation phase, based on the design policy, we first choose the language rose as msr language, analyzing the advantage of using the language rose. then we sort the lfb in msr according to the rose language specification, and particular define these five categories of lfb in rose language. in msr, we design forty kinds of lfb in all. finally, we especially list the design and implementation scheme of some important lfb, as the gre logic function block - - checkgreheader, greencap, stripgreheader and the logic function block for distribution operation - - splitfirst
在實現階段,根據設計方針,首先選擇rose作為msr的語言使用,分析了使用rose的好處。接著我們對msr中的lfb按照rose語言規范進行分類,並在rose語言中詳細定義這五類lfb 。使用rose語言描述邏輯功能模塊。Logical semantic analysis on semantic stress in transitional complex sentences
轉折復句語意重心的邏輯語義分析The ijcai - 95 workshop on modelling context in knowledgerepresentation and reasoning, research report 95 11, laforia, 1995, pp. 145 - 156. 5 akman v, surav m. the use of situation theory in contextmodelling
接著,我們研究了句子之間的邏輯蘊涵,語義蘊涵和語用蘊涵,討論了它們的性質,並且通過實例詳細地分析了上下文中的句子的語用。Bassing on the theory of equivalent calculates, this paper utilizes the data structure and c + + program design language, to analyze the logic structure of proposition formula, designs the saving structu - re that use the broad sense menu chained list, and explored to beg for in this foundation how to carry out its basic operation, thus and further clarifying the computer implementation algorithm of the complicated equivalent calculation
本文針對等值演算理論,通過數據結構和c + +程序設計語言,分析了命題公式的邏輯結構,設計出用廣義表單鏈表的存儲結構,並在此基礎上探討了如何實現其基本操作,從而進一步闡明了復雜等值演算的計算機實現演算法。57 li l, zhong y x, guo x h. an understanding - based chinese automatic abstract system in special field. j. computer research and development, 2000, 37 : 6 - 10
中文語義分析研究在漢語語義表達框架及語義分析方法中文意合網路概念層次網路理論邏輯語義廣義配價模式等方面取得了進展。Chapter one the general theories of truth of fact. firstly, the author makes a semantic distinction between “ fact ” and “ truth ”, and points out that “ fact ” and “ truth ” are not only concepts in the ontological sense but also concepts in the epistemological sense. in the epistemological sense, “ fact ” means judgment proposition and “ truth of fact ” shows that “ fact ” is concept of judgment proposition of truth and “ truth ” is attribute of judgment of “ fact ”
在堅持以辯證唯物主義認識論為指導的前提下,運用語義分析和邏輯分析方法對案件事實真實性進行了語義上的界定和邏輯命題意義上的分析,指出案件事實是以真實性為基礎和核心的人的認識和判斷的產物。Secondly, in order to solve the problem, the article introduces semantic analysis technique, which is a kind of language processing technique in mt and provides semantic information for translation to increase the rate of translation. then logic semantics is presented in detail, which is a kind of semantic analysis technique. thirdly, applying logic semantics to witt, this thesis constructs the logic semantic framework of telegraph to obtain the logic semantics of telegraphs
針對這個問題,採用機器翻譯中合適的語言處理方法?語義分析技術,利用語義信息提高翻譯率,接著介紹了語義分析技術,詳述了邏輯語義,並用它建立了水情電報的邏輯語義模型,用來為報文作語義分析,從而結合語義信息實現了對幾種類型錯報的翻譯。This article tries to tell the difference in meaning and distinguish between right and wrong in sentences of the same structure by analysing their deep structure, grammar and also by inference
摘要通過深層結構的剖析,邏輯推理和語法分析,揭示某些結構相同的句子的正誤或意義差別。18 yang y, zhou c l. research on machine understanding - based classification of chinese metaphor. journal of chinese information processing, 2004, 18 : 31 - 36. 19 dai s x, zhou c l. computational model of metaphor and its application in metaphorical classification
對漢語隱喻計算研究的分析,按照目前研究的脈絡討論了漢語隱喻理解的分類體系的構建,漢語隱喻語句的機器分類識別研究中的隱喻語義網路分析方法以及漢語隱喻邏輯釋義研究中的兩種邏輯體系。Based on these, this paper explores a new way which combines the visual modeling language and formal method to describe software architecture through combining uml 2. 0 and xyz / adl. in this paper, the disadvantage of several main methods of software architectural description is analysed, the advantage of uml 2. 0 compared with uml 1. x in the software architecture description is analysed, the corresponding relationship between uml 2. 0 and xyz / adl in the architectural description is given and uml 2. 0 model elements which used to describe the according architectural conception are determined, then a new way to describe software architecture which combine uml 2. 0 and xyz / adl through defining the semantics of xyz / e for uml 2. 0 is composed. in order to realize this method, the formal semantics of uml 2. 0 sequence diagram and state diagram based on xyz / e are defined. in final, the arcitectural description of a simple dask manager system which uses our method is given
本文分析和比較了當前國內外常用的軟體體系結構描述方法,指出了它們各自存在的問題;分析了uml2 . 0與uml1 . x相比在軟體體系結構描述方面的優勢,確定了用uml2 . 0描述軟體體系結構概念元素所使用的相關模型元素,給出了uml2 . 0與xyz / adl在體系結構描述中的元素對應關系;提出了一種通過定義uml2 . 0相關視圖的xyz / e語義,把uml2 . 0與xyz / adl結合起來描述軟體體系結構的新方法,並分別定義了uml2 . 0的順序圖和狀態圖的xyz / e時序邏輯語義;最後通過對一個簡單的任務管理系統的體系結構進行描述,把本文提出的結合思想運用到實例系統的描述當中。We generalize the notion of information tables to ordered information tables by adding order relations on attribute values. a data analysis method is thus proposed to describe properties of ordered information tables. we define the concepts of reduct and core etc. by analyzing the attribute dependency in ordered information tables ; the thesis also proposes and formalizes the problem of mining ordering rules, designs the ordered decision logic language ( odl - language ), and gives a solution for mining ordering rules
從數據挖掘的角度考慮對象排序問題,通過引進屬性值上的有序關系,作者擴充了常見的屬性值方法,提出了有序信息表的形式化概念,進而提出了一個有序信息表上的數據分析方法,通過分析有序信息表中的屬性依賴,定義了有序信息表的約簡集和核的概念;作者還提出和形式化了有序信息表中挖掘有序規則的問題,設計了有序決策邏輯語言( odl ) ,並給出了一個挖掘有序規則的方法。分享友人