模糊逻辑是处理部分真实概念的布林運算扩展。经典逻辑坚持所有事物（陈述）都可以用二元项（0或1，黑或白，是或否）来表达，而模糊逻辑用真实度替代了布尔真值。这些陈述表示实际上接近于日常人们的问题和語意陈述，因为“真实”和结果在多数时候是部分（非二元）的和/或不精确的（不准确的，不清晰的，模糊的）。...

模糊控制系统是基于模糊逻辑的控制系统。模糊逻辑将模拟输入分析为[0, 1]间连续取值的逻辑变量，不同于经典逻辑和数位逻辑只取离散值0、1（分别对应假、真）。該機制的輸入是透過模糊化將原本0和1的資料變成0到1之間的數值，相對於原本的非零即一的二分法較接近人類的思維。在推論的過程中資料為模糊的，但透過解模糊化的步驟，可使得輸出為精確值。...

多值逻辑 三值逻辑 模糊逻辑 概率逻辑 亚结构逻辑（子结构逻辑） 线性逻辑 相干逻辑 非单调逻辑 缺省逻辑 自动认识逻辑 可废止逻辑 模态逻辑 真势模态逻辑 认识逻辑 道义逻辑 时间逻辑（时态逻辑） 动态逻辑 可证明性逻辑 可解释性逻辑 哲学逻辑 次协调逻辑（弗协调逻辑） 自由逻辑 辩证法（辩证逻辑）...

在逻辑中，真值（truth value），又稱逻辑值（logical value），是指示一个陈述在什么程度上是真的。在計算機編程上多稱做布林值、布爾值、布林數。 在经典逻辑中，唯一可能的真值是真和假。但在其他逻辑中其他真值也是可能的：模糊逻辑和其他形式的多值逻辑使用比简单的真和假更多的真值。...

模糊数学，亦称弗晰数学或模糊性数学。1965年以后，在模糊集合、模糊逻辑的基础上发展起来的模糊拓扑、模糊测度论等数学领域的统称。是研究现实世界中许多界限不分明甚至是很模糊的问题的数学工具。在模式识别、人工智能等方面有广泛的应用。 给定一个论域 U ，那么从 U 到单位区间 [0,1] 的一个映射 μ...

模糊集是模糊数学上的一个基本概念，是数学上普通集合的扩展。 给定一个论域 U {\displaystyle U} ，那么从 U {\displaystyle U} 到单位区间 [ 0 , 1 ] {\displaystyle [0,1]} 的一个映射 μ A : U ↦ [ 0 , 1 ] {\displaystyle...

形意一致并不是说不存在含义模糊或者笼统的情形。含义模糊，指的是概念本身的模糊，即概念的外延没有明确的边界。例如，“大”、“高”等概念在没有明确标准的情况下就是模糊的。逻辑语用来表达这些概念的词语可以是模糊的，就像自然语言一样，也可以是精确的，一般是通过给出标准来精确化。...

許多場合都會使用整合PID及邏輯控制的複合型系統，例如線性控制器的輸出可能會被邏輯控制所調整。 模糊逻辑是在針對複雜且連續變化的系統設計控制器時，設法簡化邏輯控制器設計的作法。模糊逻辑的結果和一般逻辑系統不一樣，假設1表示是，0表示否，模糊逻辑的結果可能會是介於0到1之間的數值。 系統的逻辑是用一般語言所寫，再轉換為模糊逻辑...

模糊逻辑采用了在0，对应於"绝对假"，和1，对应于"绝对真"之间的无限多的值。边界状况可以因为被指派为真值0.5。你可以应用这种逻辑系统作为模糊集合论的理论基础。 另一个无限多值逻辑是概率逻辑。 已知的第一个不完全接受排中律的逻辑学家是亚里士多德（De Interpretatione...

邏輯真理是逻辑学的一个基础概念，它指的是无须借助于感性经验，仅依靠一定的逻辑推理即可判定其必然为真的真理。逻辑真理虽不直接与经验相联系，但这并不意味着它与经验徹底无关。 所有的哲学逻辑 以及逻辑推论都可以被看作是对逻辑真理的阐述。 逻辑真理通常被认为是必然的真理。这意味着它们在任何情境下都不可能不是...

模糊電子學（Fuzzy electronics）是由模糊逻辑取代雙值逻辑代数的电子学。模糊電子學是是由專門硬體實現的模糊逻辑。可以和用傳統處理器上的軟體實現的模糊逻辑相比較。模糊電子學有許多的應用，包括控制系統及人工智能。 第一個模糊電子電路是由Takeshi...

ratiocinator），很能让人想起符号逻辑，可以被看作使这种计算成为可行的一种方式。但他们的工作鲜为人知，后继无人。 数理逻辑的概念在十九世纪中期出现了，它是两个古老的学科：数学和哲学逻辑的交汇。 数理逻辑被称之为符号逻辑或形式逻辑或者逻辑代数。“数理逻辑”的名称是由皮亚诺首先给出，数理逻辑在本质上依然是亚里士多德的逻辑...

解模糊（Defuzzification）是在給定模糊集及對應從屬函數（membership function）程度時，產生對應经典逻辑下結果的程序。是將模糊集映集到明確集合（crisp set），解模糊常用在模糊控制系統中，此系統中有許多的規則，會將許多的變數轉換為模糊...

P 是不可判定的。在直觉逻辑中，命题 P 的真值有时不能判定(就是说 P 不能被证明或反驳)。在这种情况下，P 简单的不能有真值。其他逻辑，比如多值逻辑，可以指派给 P 一个中间的真值。 不要混淆于排中律和无矛盾律。详细区别请参见二值和有关规律。 模糊逻辑 Paul Tomassi. Logic...

「未定」），並且是有限值邏輯的一個範例，其中真值是離散的，而不是連續的。無限值邏輯則包括連續模糊邏輯，儘管某些形式的模糊邏輯可以進一步包含有限值邏輯。例如，有限值邏輯可以應用於布林值建模、 描述邏輯、和對模糊邏輯的去模糊化。 Weisstein, Eric. Law of the Excluded...

在数理逻辑中，谓词逻辑（英語：predicate logic）是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑、多类逻辑或无穷逻辑等等。 A. G. Hamilton (1978). Logic for Mathematicians. Cambridge, England: Cambridge University...

自动推理的研究内容包括定理机器证明、证明自动检查（英语：Automated_proof_checking）、不确定性推理、非单调逻辑以及类比归纳和外展推理。 自动推理的技术和工具包括经典逻辑、微积分学、模糊逻辑、贝叶斯推断、推理与最大熵和大量的非正式特别技术。...

理智（英語：reason），一種人類的心智能力。它被認為是一種思考、計算、衡量、推理與邏輯的能力，通常被當成形容詞來使用。當我們說一個人是理智的，代表他的行為都是經過思考，考慮過對錯、前因後果，有道理，合乎邏輯的。具備這樣能力的人，我們會說他是理性的。 與理性相對的心智能力，為直覺、感覺、情緒等，這...

充分必要條件，簡稱充要條件，是逻辑学中用于描述两个陈述之间的条件关系或包含关系的术语。 在逻辑学中： 当命题「若P則Q」为真时，P称为Q的充分条件，Q称为P的必要条件。 因此： 当命题「若P則Q」與「若Q則P」皆为真时，P是Q的充分必要条件，同时，Q也是P的充分必要条件。...

在数学中，武卡谢维奇逻辑（Łukasiewicz logic）是非经典、多值逻辑。它最初由扬·武卡谢维奇定义为叫做“三价逻辑”的三值逻辑；它后来被推广为 n 值(对于所有有限 n)和无限多值变体，命题和一阶都有。它属于t-规范模糊逻辑 和亚结构逻辑类。 无穷多值武卡谢维奇逻辑是实数值逻辑，其中来自命题演算的句子被指派上在...

经典逻辑（英語：Classical logic），也被稱為標準邏輯（standard logic），标识已经被最深入的研究和最广泛的使用的一类演绎推理逻辑。经典逻辑是19和20世纪的创新，它比亚里士多德的词项逻辑具有更广泛的应用，并且能够将亚里士多德的传统逻辑表述为一个特例。经典逻辑...

在布尔代数中补运算是对合。因此在经典逻辑中的否定满足“双重否定律”: ¬¬A 等价于 A。 一般在非经典逻辑中，满足双重否定律的的否定叫做对合性的。在代数语义中，这样的否定被实现为在逻辑真值的代数上对合。有对合性否定的逻辑的例子有 Kleene 和 Bochvar 的三值逻辑、Łukasiewicz 多值逻辑、模糊逻辑 IMTL...

出控制，同时使偏差尽可能减小或消除。一般使用如下人工智能控制方法如類神經網路，模糊逻辑，机器学习，进化计算和遗传算法。 智能控制可以分為以下幾個次領域： 類神經網路控制 機器學習控制 贝叶斯概率控制 模糊控制 類神經模糊控制（英语：Neuro-fuzzy） 专家系统 遗传算法 智能代理（認知/意識控制）...

推理（inference）是「使用理智從某些前提（已知）導出結論」的思維過程。 以下三種推理是屬於哲學、邏輯、心理學和人工智能等學門所感興趣的領域。 邏輯推理有三種主要的方式： 演繹推理（deductive reasoning），给出正確的前提，就必然推出結論（结论不能为假，悖論除外）。演繹推理無法...

恆真式（tautology）又称为套套邏輯、恆真句、恆真式或重言式等。 恆真式是指在任何解釋下皆為真的命題，例如经典逻辑中的 P ∨ ¬ P {\displaystyle P\vee \neg P} 、 P → P {\displaystyle P\to P} 、 ( P ∧ Q ) ∨ R ↔ (...

模糊控制語言（Fuzzy Control Language，簡寫為FCL）是用來執行模糊邏輯的編程語言，特別是模糊控制。IEC1131-7已將之標準化。它是特定領域編程語言——它沒有任何與模糊邏輯無關的功能，所以它連Hello, world也沒能力顯示。因此，不可以純用模糊控制語言寫程式，但可以用它來處理程式的某一部分。...

然而，邏輯公理系統也並非唯一。直覺主義邏輯、模糊邏輯等新的邏輯結構，都建立在略有差異的公理上。因此，與其把公理看作不證自明的事實，不如看作是在一個特定的數學或邏輯系統中，先於一切證明的前設。 經由可靠的論證（三段論、推理規則）由前提（原有的知識）導至結論（新的知識）的邏輯...

也稱為系、系理）指能够“简单明了地”从前述命题推出的论断，推论往往在定理后出現。如果命题B能够被简单明了的从命题A推导出，则稱B为A的推论。 推论、定理、命題等术语的使用区别往往是比较主观的，因为“简单明了”的定义本来就与作者及上下文相关。当然，推论一般被认为不如定理重要。 逻辑 推理 各種數學敘述...

模糊翻譯（英語：Fuzzy translation）是一種自動機器翻譯的應用技巧，利用了模糊邏輯的方式，為有歧義的詞語提供可能性較高的搭配；並利用模糊匹配的方式為有多個分詞可能的句子作正確的分詞。模糊翻譯目前已在應用當中。 自動機器翻譯與機器輔助翻譯，在於使用自動翻譯的人很多時都是對源文的語言一無所...

次协调逻辑（英語：Paraconsistent logic）是尝试处理矛盾的逻辑。是不瑣碎的（non-trivial）逻辑，它允许矛盾。更加特殊的，它允许断言一个陈述和它的否定，而不导致谬论。在经典逻辑中，从矛盾中可以推导出任何东西；这叫做ex contradictione...

。 最初，機器被設計成「根據符號表示的輸入」來制定輸出。當輸入是明確的且屬於確定性時，輸出就會使用符號。但是，當存在不確定性時，表徵會使用"模糊逻辑"完成（例如，在制定預測的時候）。這在人工神经网络中可以看到。 人工智能 人工智能史 物理符号系统假设 混合式神經-符號人工智慧 同像性 符號運算...