valued logic 中文意思是什麼
valued logic
解釋
多值邏輯-
Subalgebras and generalized tautologies of many - valued logic systems
多值邏輯系統中的子代數與廣義重言式 -
It can be extended to fuzzy logic systems and some lattice - valued logic systems. 3. the study on automated reasoning a new automated reasoning method based on path searching was proposed
2 、提出一種利用神經邏輯單元動態地構造神經網路的演算法來對一些邏輯系統中的邏輯公式的真值進行計算。 -
The normal form theories can keep the intuition relationship between the complete normal form and the truth table, which only keeps in classical 2 - valued logic system. the tableau system can act as the automated reasoning system in incomplete information environments
該範式理論能夠在三值環境下依舊保留等值完全範式與真值表? ?對應的直觀關系，同時，建立的表推演系統可作為不完全信息的自動推演系統。 -
The determination of l - type function set and pseudolinear function set in partial four - valued logic
型函數集與擬線性函數集之確定 -
Multiple - valued logic is the logic that has more than two values
多值邏輯是指一切邏輯值的取值數大於2的邏輯。 -
In the study of non - classical logic, lattice - valued logic system is of extensive significance
在非經典邏輯的研究中，格值邏輯的研究具有重要而廣泛的意義。 -
Lattice - valued logic is an important kind of non - classical logic and an extension of both classical logic and fuzzy logic
格值邏輯是一種重要的非經典邏輯，它是經典邏輯和模糊邏輯的推廣。 -
Non - classical logic is the theoretical basis of many - valued logic, fuzzy reasoning and fuzzy control. fuzzy logic is the most active branch of non - classical logic
非經典邏輯是多值邏輯、模糊推理及模糊控制等的理論基礎，模糊邏輯是非經典邏輯中極具活力的一個分支。 -
Fuzzifying topological linear spaces based on continuous - valued logic
基於連續值邏輯上的不分明化拓撲線性空間 -
Three valued logic neuron model and its reasoning
三值邏輯神經元模型及推理 -
Another important problem in multiple - valued logic completeness theory is decision for sheffer functions, which reduced to determining the minimal covering of precomplete classes in multiple - valued logic
多值邏輯完備性理論中的另一重要問題是sheffer函數的判定問題，此問題可歸結為定出所有極大封閉集（準完備集）的最小覆蓋。 -
Cracking a data encryption and decryption system using multi - valued logic array
對一種基於多值邏輯陣列變換的加解密系統的破解 -
The lattice implication algebra is a theoretical basis for the theory of lattice valued logic and approximate reasoning. in 1987, alavi and others conjectured that every graph with positive size has an ascending subgraph decomposition. this conjecture is an unsolved problem in graph theory
與圖論中的其它問題一樣，對圖的升分解問題的構造式證明本質上是尋找一種解決可以抽象為圖的升分解問題的一類實際應用問題的演算法，因此，關于圖的升分解問題的研究工作對利用計算機解決這類實際問題具有現實意義。 -
Knowledge expression and its application based on multiple - valued logic
基於多值規則的知識表示及其應用 -
On the categorizing of 4 - nry simply separable relations in partial four - valued logic
部分四值邏輯中4元單純可離關系之分類 -
Some results on the properties of simply separable function set in partial k - valued logic
值邏輯中的單純可離函數集性質的一些結果 -
On the sorting of preserving binary regularly separable relation in partial four - valued logic
關于部分四值邏輯中保2元正則可離關系的分類 -
In multiple - valued logic theory, completeness theory of function sets is an important and fundamental problem, it is also the problem which must be solved in automata theory and multiple - valued logic network. the solution of this problem depends on determining all the precomplete classes in multiple - valued logic function sets
函數系的完備性判定問題是多值邏輯理論中基本而重要的問題，同時也是自動機理論，多值邏輯網路中必須解決的問題，此問題的解決依賴于定出多值邏輯函數集中的所有極大封閉集（準完備集） 。 -
In addition, by introducing three operators, judging true, judging medium and judging false, the relationship between the system mf and the classical 2 - valued logic system is discussed. based on the relationship, the resolution principles of mfm are given by taking the classical 2 - valued logic system as a tool. the resolution principles show that the resolution problems can be solved by using the theories of the classical 2 - valued logic system
此外，通過引入判真、判中和判假三個運算元給出了mf ~ m系統與經典二值邏輯系統的關系，並以經典二值邏輯系統作為工具討論了mf ~ m系統的消解理論，該消解理論能夠完全利用經典二值邏輯系統的理論方便地解決mf ~ m的消解問題。 -
The research of multiple - valued logic includes many aspects. two of its most important parts are completeness theory of function sets, decision and construction for sheffer functions
多值邏輯的研究內容有很多，函數系的完備性判定、 sheffer函數的構造與判定是其中的重要組成部分。
分享友人