邏輯謂詞 的英文怎麼說
中文拼音 [luówèicí]
邏輯謂詞
英文
open sentence- 邏 : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
- 輯 : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
- 謂 : Ⅰ動詞1. (說) say 2. (稱呼; 叫做) call; name Ⅱ名詞1. (意義) meaning; sense 2. (姓氏) a surname
- 詞 : 名詞1 (說話或詩歌、文章、戲劇中的語句) speech; statement; lines of play 2 (一種韻文形式 起於唐...
- 邏輯 : logic
-
The simple sentences in news titles have such patterns as subject - predicate structure, modifier - keyword structure, verb - object structure, parataxis structure, structure with consecutive predicates, appositive structure, and single - word structure. subject - predicate structure is the major one in simple sentence. the logical relations between clauses of main titles that are complex sentences, or between shoulder titles and main titles, or between main titles and subtitles are : parataxis, continuity, illustration, causality, transition, progression, purpose, hypothesis, condition, and so on
新聞標題單句一般由主謂、偏正、動賓、並列、連謂、同位、獨詞等結構形式構成,其中主謂結構是新聞標題單句的主要結構形式;新聞標題復句中,主題復句各分句之間、引題與主題之間、主題與副題之間、引題與主題與副題之間存在著並列、順承、解說、因果、遞進、轉折、目的、條件、假設等邏輯關系。Intermixed with any number of boolean logic predicates,
根據cfengine規則,字符集是混雜了任意數目布爾邏輯謂詞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
文摘:用計算函數模型進行精確的數據流分析,條件謂詞之間的邏輯關系被轉化為空間區域之間的覆蓋關系.該文討論在各種常見的程序構造下如何表示、計算和傳遞區域、區域,並在數據流分析過程中,利用區域、區域之間的覆蓋關系消除條件分支語句帶來的不確定性,以得到更精確的數據流信息Drs and the formula of first - order predicate logic
與一階謂詞邏輯公式Theory of truth degree based on the finite interpretation and enumerable interpretation of fuzzy predicate logic formulas
模糊謂詞邏輯公式的有限和可數解釋真度理論Theory of truth degree of first - order fuzzy predicate logics formulas based on the finite interpretation and enumerable interpretation and its application
一階模糊謂詞邏輯公式的有限解釋真度和可數解釋真度的理論及其應用However, in search of the relevant data, the cost of generating additional tuples produced by logic program to which magic transformation is applied increases with the arity of idb ( intensional database ) predicates increasing
但是隨著遞歸idb ( intensionaldatabase )謂詞的項的個數增大,經魔集轉換的邏輯程序為尋找與查詢相關數據而產生附加元組的開銷也會增大。In this paper, the original extended relational model has been improved by adopting mfm in the research of incomplete information database
本文將三值邏輯謂詞演算系統mf ~ m應用在不完全信息數據庫的研究中,對原有的擴充關系模型做了改進。The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm are new logic systems. they are fit for dealing with incomplete information
中介邏輯命題演算系統mp ~ m和中介邏輯謂詞演算系統mf ~ m是一種適用於處理不完全信息的新的邏輯系統。This paper introduces first - order predicate calculus and assertion method from precondition to postcondition into the research of refactoring. and a logic deduction system is put forward in this paper : refactoring reliability deduction system
引入了一階謂詞演算和前後斷言方法,並且自定義了一個重構可靠性證明的邏輯推理系統:重構可靠性推演系統。On predicate logic ' s application in ai
謂詞邏輯在人工智慧中的應用A model representation method based on first order predicate logic
一種基於一階謂詞邏輯的模型表示方法Theory of quasi - truth degrees of formulas in two - valued predicate logic
一類二值謂詞邏輯中公式的準真度理論I believe that it ' s very useful for computer science students who learning boolean algebra and predicate logic ( like my self )
我相信對于學習布爾代數學和謂詞邏輯的計算機科學學生(像我自己這樣的)來說它是非常有用的。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網推理。This program creates truth tables from boolean expressions. i believe that it ' s very useful for computer science students who learning boolean algebra and predicate logic ( like my self )
這個程序從布爾表達式中創建真實的表格。我相信對于學習布爾代數學和謂詞邏輯的計算機科學學生(像我自己這樣的)來說它是非常有用的。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
然後,較詳細地討論了謂詞邏輯、語義網路、產生式規則和框架等常用的知識表示方法,重點研究了謂詞邏輯知識表示技術在電子病歷系統中應用問題。The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm is a new logic system modified from the existing medium logic system. this system is fit for dealing with incomplete information. it can act as the theory foundation for dealing with incomplete information
中介邏輯命題演算系統mpm和中介邏輯謂詞演算系統mfm是在改造原有的中介邏輯系統的基礎上提出的一種新的邏輯系統,該邏輯系統特別適用於處理不完全信息,可以作為處理不完全信息的理論基礎。Deductive database is introduction to knowledge and inferring mechnism in artificial intelligece in traditional database. studying it needs very strict theory model as background. relation model and datalog model can describe world
演繹數據庫是人工智慧中的知識及其推理機制在傳統數據庫中的引入,對它的研究需要有非常嚴謹的理論模型為背景,它用關系模型(描述事實)和datalog模型(描述規則)來描述世界,演繹數據庫中主要採用一階謂詞邏輯表示。分享友人