邏輯的語義 的英文怎麼說
中文拼音 [luódeyǔyì]
邏輯的語義
英文
semantics of logic- 邏 : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
- 輯 : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
- 的 : 4次方是 The fourth power of 2 is direction
- 語 : 語動詞[書面語] (告訴) tell; inform
- 義 : Ⅰ名詞1 (正義) justice; righteousness 2 (情誼) human ties; relationship 3 (意義) meaning; si...
- 邏輯 : logic
- 語義 : semanteme; semantics
-
In my opinion, the strategy of pera ' s rhetoric of science aims to, through the rhetorical context, save and rebuild the rationality and achieve the inner unity of rational reason and rhetorical persuasion and breaks thoroughly the rigid bounds both between the logical demonstration and the argumentative persuasion and between the static norms and the dynamic exchange evaluation. at the same time, it also provides a way in which some dilemmas such as formal logical presuppositions and irrationalism can be solved, gives the specific strategically psychological direction and much broader room for language creation to bring a fresh motive power for the development of contemporary philosophy of science
本文認為,佩拉所倡導的科學修辭學戰略的目的在於,通過修辭學語境空間來拯救或重塑理性,以達到理性的「理由」和修辭學的「有理由」的內在統一,從而徹底打破邏輯證明力與論述說服力、靜態規范標準和動態交流評價之間的僵化界限;同時,也為走出形式邏輯的預設和非理性主義困境提供了一條出路,並從科學論述的境遇、選擇、辯護中,給出戰略性的心理定向和更廣闊的語言創造的可能空間,為當代科學哲學的發展注入新的活力。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 semantics and generalized tautology of fuzzy temporal logic
模糊時序邏輯的語義及其廣義重言式The semantics of this logic are given in terms of a general model of multi - agent system, closely related to the interpreted systems of epistemic logic
該邏輯的語義是以一般的多agent系統模型給出的,並且與認知邏輯的解釋系統密切相關。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的分析.因為信息交換本質上可以看成是個認知過程,用認知邏輯可以很方便地表達About theorem, the paper introduces the syntax of ideal, also the first time uses concept of honest ideal to define secrecy goal of protocol and utilizes honest ideal logic to specify secrecy property. at the same time, this paper corrects one not so perfect lemma proving in a literature written by f " abrega, herzog and guttman
在理論上,本文引入了理想的語義,並首次使用了理想的概念對安全協議的秘密性進行嚴格的定義,同時使用理想的命題邏輯公式表示安全協議的秘密性;另外,本文修正了f ' abrega 、 herzog和guttman三人文獻中的一個引理的證明,原有的證明是不完善的。Through the intensional interpretation, first - order language gets more close to the semantics of natural language, and is truly neutral to all kinds of subject matter
比之於外延語義的解釋,內涵語義的解釋使一階語言更接近於自然語言的語義,而且也使一階邏輯對各種題材真正保持了邏輯的中立性。Methods based on the semantic theory of nonclassical logic
方法非經典數理邏輯的語義理論。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 ) ,並給出其具體的語義解釋和語法結構,並討論了它的一些性質,證明了該系統的可靠性和協調性。Because of the powerful drive of the technological culture, logistic power forming the absolute power of language, chinese education gets into imitating and pursing science language, namely, chinese education is deeply governed by rationalistism. that is the essential sticking point of chinese education in theory and practice, this article distructures and animadverts it
本文是圍繞對長期以來制約語文教育理論與實踐的一個根本癥結? ?由於科技文化的強勢推動,邏輯的權利構成了語言的絕對權利,因此語文教學就陷入了對科學語言範式的追求和模仿之中,也即深受理性主義的絕對支配的解構與批判而展開論述的。Based on the principle of resolution refutation in fl, the inferring process of first order predication logic ( fopl ) is performed and sn inference based on pn is implemented
根據形式邏輯的歸結反演原理,本文給出了一階謂詞邏輯的petri網推理的方法,實現了語義網路的petri網推理。We shall see how a speech channel be conveyed as a series of amplitude values, each value being represented as a sequence of 8 binary digits
被省略的邏輯主語多數情況下指的是主句的主語或逗號前整個句子的含義,點也有少數列外。具體情況以後結合課文講解。Moreover criminal definition of the unit adjusting, in the illegal action definition of unit the logical subject, the unit seeies the benefit, unit entire volition, the problems such as unit duties of member and so on have been carried on the detailed directions
並對單位犯罪的定義、單位不法行為定義中之邏輯主語、單位謀取利益、單位整體意志、單位成員的職務性等問題進行了詳細的說明。The author has made extensions on logical and relational primitives based on some influential techniques, like rdfs ( resource description framework schema ) and oil ( ontology inference / interchange layer ), so as to enable knowledge, rules and axioms to be syntactically seriliazed with ordinary xml
本文基於rdfs 、 oil等有影響的技術對這些邏輯原語和關系原語進行了擴展定義,這樣,從語法上採用通用的xml 、從語義上採用這些定義的原語,就可以描述知識、規則和公理。In general, comparisons on string columns without blank padding comparison semantics need to be evaluated locally, unless the query compiler is able to find functions to enforce similar logic remotely
通常,不具備空白填充比較語義的字元串列上的比較需要在本地計算,除非查詢編譯器能夠發現在遠程強制類似邏輯的函數。Understanding argument as a semantic conception or as pragmatic conception is the watershed between informal logic and classical logic
將論證理解為語義學概念還是語用學(辯證的)概念是非形式邏輯和經典邏輯的分水嶺。The syntax rules and semantic constrains are described in detail ; the semantic of this logic are given in terms of a general model of multi - agent system, closely related to the interpreted systems of modal logic
文中詳細描述了語法規定和語義約束,該邏輯的語義是以一般的多agent系統模型給出的,並且與模態邏輯的解釋系統密切相關。Ross ' paradox and the semantic theory of denotic logic
羅斯悖論與標準道義邏輯的語義理論The definitions of syntax structure, semantic interpretation, knowledge base form and reasoning problems based on satisfiability are given for the extended fuzzy description logic
定義了擴展模糊描述邏輯的語法結構、語義解釋、知識庫形式以及基於可滿足性的推理問題。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描述的弱點。分享友人