predicate logic 中文意思是什麼

predicate logic 解釋
述詞邏輯 [謂詞邏輯
  • predicate : n 1 【語法】謂語，述語。2 【邏輯學】謂項，述項，述詞，賓詞。3 本質；屬性。adj 謂語的，述語的；謂...
  • logic : n. 1. 邏輯，理論學。2. 推理[方法]；邏輯性，條理性。3. 威力，壓力，強制（力）。
  1. 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一歸結原理進行了初步探討
  2. Toshio umezawa. on logics intermediate between intuitionistic and classical predicate logic. journal of symbolic logic, 24 ( 2 ) : 141 ? 153, june 1959

    中間邏輯是一個與邏輯學相關的小作品。你可以通過編輯或修訂擴充其內容。
  3. Drs and the formula of first - order predicate logic

    與一階謂詞邏輯公式
  4. Theory of truth degree based on the finite interpretation and enumerable interpretation of fuzzy predicate logic formulas

    模糊謂詞邏輯公式的有限和可數解釋真度理論
  5. 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是一種適用於處理不完全信息的新的邏輯系統。
  6. 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

    引入了一階謂詞演算和前後斷言方法，並且自定義了一個重構可靠性證明的邏輯推理系統：重構可靠性推演系統。
  7. On predicate logic ' s application in ai

    謂詞邏輯在人工智慧中的應用
  8. A model representation method based on first order predicate logic

    一種基於一階謂詞邏輯的模型表示方法
  9. Theory of quasi - truth degrees of formulas in two - valued predicate logic

    一類二值謂詞邏輯中公式的準真度理論
  10. I believe that it ' s very useful for computer science students who learning boolean algebra and predicate logic ( like my self )

    我相信對于學習布爾代數學和謂詞邏輯的計算機科學學生（像我自己這樣的）來說它是非常有用的。
  11. 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 )

    這個程序從布爾表達式中創建真實的表格。我相信對于學習布爾代數學和謂詞邏輯的計算機科學學生（像我自己這樣的）來說它是非常有用的。
  12. 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

    然後，較詳細地討論了謂詞邏輯、語義網路、產生式規則和框架等常用的知識表示方法，重點研究了謂詞邏輯知識表示技術在電子病歷系統中應用問題。
  13. 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是在改造原有的中介邏輯系統的基礎上提出的一種新的邏輯系統，該邏輯系統特別適用於處理不完全信息，可以作為處理不完全信息的理論基礎。
  14. Deductive database makes good use of predicate logic. because it has strict, systemic, maths theory logic theory base and stronger inferring mechnism. on the basis of traditional database. it introduces design idea, structure, implemention and system model and so on

    本論文在傳統數據庫的基礎上借鑒了人工智慧中知識表示、推理機制，集思廣益，博採眾長，介紹了演繹數據庫系統設計思想，系統的結構，系統推理機制的實現以及系統模型的建模理論依據等。
  15. The effectiveness of this expert system has been proven during tests, which supplies a gap between the predicate logic and uncertain inference

    經過測試，證實了該系統的有效性，彌補了過去謂詞在不精確推理方面的缺陷。
  16. This paper develops a reasoning algorithm special for the combination of predicate presentation and fuzzy knowledge, which effectively solves the conflict between predicate logic and uncertain reasoning

    為了解決謂詞不能有效的進行不精確推理的問題，提出了針對謂詞結合模糊知識的推理演算法，建立了基於謂詞的模糊推理系統。
  17. Second, the paper introduces the modeling characteristic of uml, provides formalization definition of nine kinds of diagram in uml using predicate logic, and points out their respective functions

    其次，本文對uml的建模特性進行了分析和研究，給出了uml中九種圖的形式化定義，並指出它們各自的作用。
  18. 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組件的實現。
  19. With the tool of first order predicate logic, this paper demonstrates that there theoretically exists a winning strategy for games which have two players and end after a fixed number moves to get one ' s win and the other ' s loss

    摘要用一階謂詞邏輯的工具證明，那種有兩方參與，根據規則在有限步內能確定勝負的游戲，從理論上說，存在必勝的方法。
分享友人
分享到 Line

分享到臉書