階邏輯 的英文怎麼說
中文拼音 [jiēluó]
階邏輯
英文
order logic-
First - order logic provides ilp with a uniform and very expressive means of representation : the background knowledge and the examples, as well as the mined rules, can all be represented as formulas in a clausal language. so we can use naturally background knowledge in the mining process
一階邏輯為ilp提供了一致的和非常有表達力的表示手段:背景知識、例子以及挖掘到的知識都可表示為子句語言的公式,所以在挖掘過程中可非常自然地利用背景知識。We first present a number of desiderata for an xml - based query language, and based on this criterion, we introduce the syntax of a simple core ian - guage for semistructured data and then describe four extensions that have resulted in working prototypes. second, we present the algorithm for computing the result of a regular expression on data graph with cycles, the first - order interpretation of querying language for semistructured data, and explore structural recursion and bisimulation in semistructured data and propose an efficient and systematic way to computing a bisimulation between the two graphs. we also proposed and implemented a web querying system with database features
基於這些準則,對一個簡單的半結構數據查詢核心語言的語法提出了兩方面擴充;給出了計算數據圖中正規表達式的演算法;對半結構數據查詢語言的一階邏輯描述、結構遞歸和數據圖的雙態模擬( bisimulation )等問題進行了研究,提出了一種判定數據圖的bisimulation演算法;在xml數據查詢語言研究的基礎上,設計並實現了一種具有數據庫查詢特性的web查詢系統原型。R. cori & d. lascar : mathematical logic ? a course with exercises, part i. oxford university press, 2001
陳慕澤余俊偉:數理邏輯基礎? ?一階邏輯與一階理論,中國人民大學出版社2003 。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一歸結原理進行了初步探討Proving several theorems in first order logic based on back - and - forth method
向前向後法證明一階邏輯的幾個定理An algebraic proof of completeness theorem of first - order logic
一階邏輯完備性定理的代數證明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
比之於外延語義的解釋,內涵語義的解釋使一階語言更接近於自然語言的語義,而且也使一階邏輯對各種題材真正保持了邏輯的中立性。But besides being characterized by the extensional semantics, first - order logic can be characterized soundly and completely by such an intensional semantics that includes nothing but the property entities
相對于這一外延語義,一階邏輯還可為其中只含屬性實體而不含個體對象的內涵語義一致且完備地刻畫。Then a simple e - dealing system is devised to show the thoughts of the protocol. in order to formalize and verify the protocol, bzl logic model is built, which based on first - order logic and introduces many - sorted, dynamic and non - monotony logic
為了形式化驗證數字現金的安全性,本文在經典一階邏輯的基礎上,吸取了多類邏輯、動態邏輯和非單調邏輯的思想,提出了bzl邏輯模型。It may be said that the way by which for explaining existential issue is preferably successful
可以說,利用一階邏輯解釋存在問題的方法是比較成功的。( 3 ) it is well known that the determinant problem in classic proposition logic is a np complete problem, and the first order logic is a half determinant one. so both the analysis of computing complexity and the realization of it are the most important fields
( 3 )眾所周知,經典命題邏輯中的判定問題是np完全問題,而一階邏輯是半可判定問題,關于非經典邏輯特別是非單調邏輯的計算復雜性分析和演算法實現是一個重要的研究領域。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 )的-歸結原理,給出了計算-直接歸結式和-自歸結式的規則,並總結出具體的歸結方法。First - order rule mining technique based on first - order logic is often called as inductive logic programming ( ilp )
基於一階邏輯的一階規則挖掘技術常被稱作歸納邏輯程序設計( ilp ) 。14 gallo g, mishra b. efficient algorithms and bounds for wu - ritt characteristic sets. effective methods in algebraic geometry, progress in mathematics, 1991, : 119 - 142. 15 gao x s, chou s c. a zero structure theorem for differential parametric systems
本文簡要介紹了代數方程組的特徵列方法及其在幾何定理機器證明發現與含參數代數方程求解中的應用,進一步給出了基於特徵列方法代數閉域上的一階邏輯公式的判定演算法。Generating sat instances from first - order formulas
由一階邏輯公式得到命題邏輯可滿足性問題實例An axiomatics for first - order logic
經典一階邏輯的希爾伯特型系統Second - order logic
高階邏輯First - order logic
二階邏輯The aim we establish the logic frame bofl ( boolean operator fuzzy logic ) is to solve the innate limitation of the first - order logic
布爾運算元模糊邏輯(簡稱bofl )就是為了試圖解決一階邏輯的這些局限性而建立的邏輯框架。Huang zhuo ( computer software & theory ) directed by zhang jian the algorithms and tools to solve first - order logic model searching ( folms ) problem with finite domain size are studied in this thesis. the satisfiability ( sat ) problem in the prepositional logic and folms are classic problems of computer science, which are important in theory and have wide applications in a lot of real - world problems
命題邏輯可滿足性( sat )問題和有限論域一階邏輯模型搜索( folms )問題是計算機理論科學中的經典問題,不僅在理論上有著重要的地位,而且在許多實際問題中得到了廣泛的應用。分享友人