classical logic 中文意思是什麼
classical logic
解釋
非經典邏輯-
Toshio umezawa. on logics intermediate between intuitionistic and classical predicate logic. journal of symbolic logic, 24 ( 2 ) : 141 ? 153, june 1959
中間邏輯是一個與邏輯學相關的小作品。你可以通過編輯或修訂擴充其內容。 -
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 main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc, dfo, dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics
主要內容包括:變形傳統的演算，以更好地描述具有動態模糊性的問題;通過bnf描述了dfl程序設計語言的抽象語法;通過一個三元組< dfsc ， dfo ， dfss >給出了dfl程序設計語言的操作語義模型;給出了dfl程序設計語言的基本框架結構;給出了該操作語義模型的一些應用實例;通過hoare邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見，本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。 -
Secondly, in the theory of gl with the four rules of producing such as generator rule, generating radix rule, rule of basis space changing, developing order rule, gpl can produce all kinds of basic operation model with other logic such as classical propositional logic, three - value logic, fuzzy logic and broad sense fuzzy logic. finally, it proved that a material logic can be produce by gpl. and it shows the universality gpl can contain most logic
眾所周知，邏輯學家正是利用這些定義證明了該邏輯的全部推理規則，建立起了整個命題邏輯體系；然後我們直接利用命題泛邏輯學的生成規則，通過對廣義相關系數h的不同取值也同樣生成了這些運算模型，也就是說直接生成了這個命題邏輯；這個生成過程還揭示了各種運算模型的物理意義和使用條件，也就是說揭示了各種命題邏輯的物理意義和使用條件。 -
A comparison of mutually - inversistic logic and classical logic
互逆主義邏輯與古典邏輯比較 -
In reflection of causes of the death of classical contract law for searching a new contract pattern, starting from the essential constitution of law which comprises the elements of fact, value and logic, this thesis maintains that a sound legal system results from the collaboration of multilateral legal methodologies
為了尋找新的契約模式，反觀古典契約法死亡的病因，本文從法的本質構成（事實、價值、邏輯）出發，認為一個健全的法律制度的產生是多元的法學方法論共同作用的結果。 -
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
格值邏輯是一種重要的非經典邏輯，它是經典邏輯和模糊邏輯的推廣。 -
Understanding argument as a semantic conception or as pragmatic conception is the watershed between informal logic and classical logic
將論證理解為語義學概念還是語用學（辯證的）概念是非形式邏輯和經典邏輯的分水嶺。 -
Non - classical logic is an active research direction in the field of artificial intelligence and a logic foundation for uncertainty reasoning
非經典邏輯是人工智慧領域中十分活躍的研究方向，是不確定性推理的理論基礎。 -
Classical logic is established on the basis of a close world, and it can be used in reasoning only if all information is known
摘要經典邏輯是建立在封閉世界預設的基礎上的，但邏輯系統也可以建立在開放世界預設的基礎上。 -
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
非經典邏輯是多值邏輯、模糊推理及模糊控制等的理論基礎，模糊邏輯是非經典邏輯中極具活力的一個分支。 -
The resulting geometry of the classical logic and thinking several european, which is the origin of strict reasoning
由此產生了古典邏輯與歐幾思維幾何學，這是嚴格推理的起源。 -
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的消解問題。 -
With the deep research of complicated problem, how to deal with various uncertainties and evolution has been a critical problem for further development of ai. most researchers put forward all kinds of propositional logic to satisfy application such as classical propositional logic, three - value logic, fuzzy logic etc. in the logic the value of proposition is continuous variety
隨著對復雜性問題研究的深入，經典的二值邏輯已經不能解決現實社會中的所有問題，因此人們提出了各種「非標準邏輯」和「現代邏輯」 ，例如三值邏輯、多值邏輯、模糊邏輯和概率邏輯等。 -
The extended fuzzy description logic introduces the cut sets of fuzzy concepts and fuzzy roles as atomic concepts and atomic roles, and inherits the concept constructors and knowledge base form of classical description logics to support a new logic system for knowledge representation
擴展模糊描述邏輯引入模糊概念和模糊關系的截集形式作為原子概念和原子關系，繼承經典描述邏輯中的概念構造器和知識庫形式，建立新的知識表示邏輯體系。
分享友人