邏輯蘊涵 的英文怎麼說

中文拼音 [luóyùnhán]
邏輯蘊涵 英文
logical entailment
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 蘊 : 動詞[書面語] （包含） accumulate; hold in store; contain
  • 涵 : Ⅰ動 （包含; 包容） contain Ⅱ名詞（涵洞） culvert
  • 邏輯 : logic
  • 蘊涵 : 1. （包含） contain2. [數學] [邏輯學] implication
  1. It was well known that rq t - norm which rq implication operator residuated to was left - continuous. in fact, any left - continuous t - norm has its own residuum - implication operator. and many - valued system could be obtained from implication operator

    事實上，任一左連續t -模都可確定一個與之伴隨的蘊涵運算元，並且，不同的蘊涵運算元就可以構建不同的多值邏輯系統。
  2. Based on the production of other researchers such as professor xu yang and professor qin keyun, this paper discusses the structure and properties of lattice implication algebra, tautologies in some lattice - valued systems, automated reasoning methods, lattice - valued prepositional logic system

    本文的工作是在徐揚教授、秦克雲教授等研究成果的基礎上，對格蘊涵代數的性質、結構、格值命題邏輯系統中的重言式、自動推理方法、格值命題邏輯系統等進行了一些研究。
  3. In this article, according to the theory of logic algebra inequality, the notion of inequality in lattice implication algebra was introduced, three typical basic unary lattice implication algebra inequalities in lattice implication algebra l were investigated, and some properties and corollaries were obtained

    摘要針對邏輯代數中的不等關系提出格蘊涵代數不等式的概念，討論了格蘊涵代數中3類最基本的一元格蘊涵不等式，得到一些性質及推論。
  4. Characteristics, recognition and engineering extracting methods of the notations are analyzed with an example of steel bars quality, tracking and shape recognition methods of steel bars lines are introduced at the same time

    結合鋼筋量工程量統計，分析了這些標注的特點、識別方法和所蘊涵的工程量信息的獲取方法，並採用模糊邏輯對建築結構圖中鋼筋線跟蹤和鋼筋形狀的識別進行了研究。
  5. The properties of the implication in universal logics

    泛邏輯學的蘊涵性質
  6. Some other conditions which the implicative operator of a implication algebra should satisfied in a logic system are given. the relations between mv - algebra and distributive implication algebra, implication algebra with condition ( s ) are gained. some equivalent theories about implication algebra and mv - algebra are proved

    對于偏序集上蘊涵代數中的蘊涵運算元引入了一些邏輯條件，得到了偏序集上具有不同條件的蘊涵代數與mv -代數之間的關系，給出了偏序集上蘊涵代數與mv代數之間的幾個等價定理。
  7. Difference from other algebraic structures which are introduced for some logic system, implication algebra is a abstraction of one logic connective, i. e. implicative operator, and other operators in it are all introduced by implicative operator. the main results of this paper is given as the following : 1

    特別值得提出的是，與其它為研究邏輯系統而引入的代數結構不同，蘊涵代數是對一個邏輯聯結詞，即蘊涵運算元（蘊涵邏輯聯結詞）抽象而得到的，其它運算元均是由蘊涵運算元誘導而得到。
  8. The logical meanings and modern value of the theory of systems change

    制度變遷理論的邏輯蘊涵及現代價值
  9. In this paper, firstly by the use of the relations between fuzzy points and fuzzy sets and implication operators of fuzzy logic, definitions of (, a ) - fuzzy topology and r - fuzzy topology are given

    首先通過使用模糊點、模糊集和模糊邏輯蘊涵三者之間的關系，我們給出了（ （ ? ） ， （ ? ） ） -模糊拓撲和r -模糊拓撲的概念。
  10. The ijcai - 95 workshop on modelling context in knowledgerepresentation and reasoning, research report 95 11, laforia, 1995, pp. 145 - 156. 5 akman v, surav m. the use of situation theory in contextmodelling

    接著，我們研究了句子之間的邏輯蘊涵，語義蘊涵和語用蘊涵，討論了它們的性質，並且通過實例詳細地分析了上下文中的句子的語用。
  11. In this paper, a context isconsidered as some structure in the real world. a sentence fromsome logical language is conceptualized as a concept, whose intentis a set of sentences implied semantically by the sentence, and whoseextent is a set of contexts in which the sentence describes a part of the contexts. in terms of tools and theories of concepts, astrictly defined theory is given to study the pragmatics ofsentences in contexts in information systems, which cannot bederived from the sentences by using logical reasoning methods

    句子j的邏輯蘊涵li j是在使得j成立的所有的信息系統的所有上下文中都成立的句子的集合;給定信息系統k和句子j ， j的語義蘊涵si j是在使得j成立的k中所有上下文中都成立的句子的集合j的語用蘊涵pi j是在使得j g成立的k中所有上下文中都成立的句子的集合，其中g是l中的句子的集合，這些句子動態地參與了從j推出其語用蘊涵的過程。
  12. Syntactic system of lattice - valued propositional logic based on finite lattice implication algebra

    基於有限格蘊涵代數的格值命題邏輯語法系統
  13. Again in 1999, based on rq implication operator prof. wang proposed triple - i method of fuzzy reasoning, which is more reasonable than the cri method that was proposed by zadeh and now is widely applied in control field

    1999年又基於只。蘊涵運算元提出了模糊推理的全蘊涵三i演算法，這是比zadeh提出的如今在控制領域中廣泛應用的cri方法更為合理，邏輯基礎更強的推理演算法。
  14. In 1997, based on rq implication operator professor wang guojun proposed revised kleene system. again in 1998, professor wang proposed the concept of generalized tautology and discussed the classes of generalized tautologies deeply in revised kleene system

    1997年，王國俊教授基於蘊涵運算元r _ 0提出了修正的kleene系統，又於1998年引入了廣義重言式的概念，對修正的kleene系統中的廣義重言式類進行了深刻而細致的討論，建立了廣義重言式理論，為模糊邏輯提出了新的研究方向。
  15. Semantic system of lattice - valued propositional logic based on finite lattice implication algebra

    基於有限格蘊涵代數的格值命題邏輯語義系統
  16. Study on lattice - valued logic system a lattice - valued propositional logic system lp ( x ) based on lattice implication algebra is proposed. the syntax and semantics of lp ( x ) are discussed. the soundness theorem is proved

    四、格值邏輯系統的研究建立了基於格蘊涵代數的格值命題邏輯系統l試x ） ，並討論了它的語法和語義問題，證明了可靠性定理。
  17. Fuzzy logic is studied with algebraic tools in this paper. a kind of algebraic abstract of fuzzy logic, implication algebra on a partial ordered set, is given. the relations between implication algebra and other algebraic structures, such as mv - algebra and heyting algebra etc., and the filter and the structure of implication algebra on a partial ordered set are studied

    本文的目的是使用代數工具對模糊邏輯進行研究，給出模糊邏輯的一類代數抽象，即偏序集上的蘊涵代數，研究偏序集上蘊涵代數與其它代數結構，如mv -代數， heyting代數之間的關系，以及偏序集上蘊涵代數的濾子與其結構等。
  18. Conclusion using the regular fuzzy implication is very important to construct logical system

    結論正則蘊涵運算元對于建立完備的邏輯系統至關重要。
  19. Lattice implication algebra is an algebraic system combinating lattice with implication algebra. it is first defined by professor xu yang in order to study lattice - valued logic

    格蘊涵代數是徐揚教授為研究格值邏輯把格與蘊涵代數相結合提出的一個代數系統。
  20. The concept of basic implication algebra and implication algebra on a partial ordered set are obtained by studying the conditions which the implicative operator in a logic system should be satisfied. then the basic properties with different conditions and the characterizes of implication algebra are given. the iff conditions of a ( basic ) implication algebra to be regular are discussed

    基於對邏輯系統中蘊涵運算元應滿足條件的分析，引進了偏序集上基礎蘊涵代數和偏序集上蘊涵代數的概念，得到了其在不同條件下的基本性質，給出了（基礎）蘊涵代數的特徵刻畫，以及偏序集上（基礎）蘊涵代數成為正則的充分必要條件。
分享友人
分享到 Line

分享到臉書