邏輯謂語 的英文怎麼說
中文拼音 [luówèiyǔ]
邏輯謂語
英文
logical predicate-
The english absolute construction is a kind of absolute construction with logical subject - predicate relation. its concept, composition, grammatical functions and some problems are discussed and analyzed in this article
摘要獨立主格結構是一種具有邏輯主謂關系的獨立結構。本文就其概念、構成、語法功能以及使用須注意的一些問題進行介紹和分析。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一歸結原理進行了初步探討Abstract : for a precise dataflow analysis within the framework of the computation function model, the logical relationship of branch conditions is represented as the coverage relationship of regions. in this paper, the authors discuss how to represent, compute and propagate the region, region of the conditional reference. meanwhile, the methods of resolving the nondeterminism caused by conditional branch statements are also presented in order to get more precise dataflow information
文摘:用計算函數模型進行精確的數據流分析，條件謂詞之間的邏輯關系被轉化為空間區域之間的覆蓋關系.該文討論在各種常見的程序構造下如何表示、計算和傳遞區域、區域，並在數據流分析過程中，利用區域、區域之間的覆蓋關系消除條件分支語句帶來的不確定性，以得到更精確的數據流信息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網推理。Then discusses common knowledge representation method such as predicate logic, semantic network, production rule, frame etc. and probes into the application of predicate logic in epr system
然後，較詳細地討論了謂詞邏輯、語義網路、產生式規則和框架等常用的知識表示方法，重點研究了謂詞邏輯知識表示技術在電子病歷系統中應用問題。But at the time i became speechless, didn ' t know where to start, and couldn ' t find suitable words to describe what i saw, what i knew … seemed that the most beautiful languages couldn ' t describe the beautiful and special landscape ; after a period of time, when i could partially dictated it, but couldn ' t express it in writing, because it is half similar with publicly recognized logic, i even worried about that would cause unnecessary misunderstanding, when i cautiously wrote down some so - called essays, the people listening to my story seemed half understand, they just felt fresh, described by the academic term is “ quite creative ”
但那時候，我卻張口舌，不知道從那兒說起，竟然找不到合適的詞匯描繪我看到的、知道的… …好象再美的語言也不能描述這個美麗奇特的景色；當我經過一段時間，能夠部分口述它的時候，卻也很難用文字邏輯地表達出來，因為它和現實公認的我所知道的邏輯既相同也不同，我甚至很擔心引起不必要的誤會；等我小心翼翼地寫出一些所謂的論文一類的東西的時候，聽我講「故事」的人們好象似明白又不明白，他們都覺得新鮮，用學術界的說法是「很有新意」 。This dissertation is devoted to some key issues of semantic web and to kms ( knowledge management system ) in the context of semantic web. the author ' s contributions of presented in this thesis include : defining the ontology semantics for description primitives of logical formula and relational axioms markup languages are employed to describe the objects and resources in a web environment. in order to represent knowledge, logical formula, relational axioms and rules, there is a need for primitives specifying prepositional formula, predictive formula and horn clause, and relations between properties and relational axiomx
本文對web語義化過程中部分關鍵問題和基於語義化web的kms進行了研究，主要的創新性工作包括：定義了邏輯公式及關系公理描述原語的ontology語義： web環境中用標記語言描述對象和資源，為了在語義化web上表示知識、邏輯公式、關系公理和規則，需要定義描述命題邏輯公式、謂詞邏輯公式、 horn邏輯的邏輯原語以及描述屬性之間關系的關系原語。This paper described the essential theory of expert system, and many kinds of knowledge expression, such as producing rule, semantic network frame, predicate logic, and knowledge expression in home. and it recommended many kinds of reasoning technology, such as positive chain, inverse chain, uncertainty reasoning. it depicted principle, essential character of com and realization of com
本文介紹了專家系統的基本理論，和產生式、語義網路、框架、謂詞邏輯等多種知識表達方式以及國內所採用的農業知識表達方式，並描述了正向鏈、反向鏈、不確定性等多種推理技術，還闡述了com原理及其基本特性，以及com組件的實現。In the age of barbarism when everything was ruled by divine right, civil subject at law, including natural person and deities, actually was in a situation where natural persons subjected to duties. when deities were excluded from category of civil subject in civil law, civil subject emerged in hierarchy in times during which supremacy of state power was maintained over a long period of time. according to inherent and inextricable one held, civil subject enjoyed has rights and carried out his commitments
正文分為五個部分：第一部分為民事主體認定標準的反思：對我國法學界就民事主體確認標準問題上的兩種傳統做法（即「通常定義」標準和權利能力、行為能力或責任能力標準）進行了評析，認為「通常定義」用語不準確，且存在邏輯上不符合事實的弊端；且法律上所謂能力，是指在法的世界中作為法的主體進行活動，所應具備的地位或資格。分享友人