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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Əsgərzadə，波斯語：لطفی علی‌عسگرزاده，1921年2月4日—2017年9月6日）是一位美国逻辑学家和数学家。 生於巴库，於1965年建立了模糊集和模糊逻辑，主要研究模糊邏輯的應用。1991年又引進軟計算的概念。1996年提出用單字及知覺計算（英语：Computing with words...

被歸類為非古典邏輯的系統包括： 次协调逻辑 相干逻辑 时间逻辑 双面真理说 可计算性逻辑 多值逻辑 模糊逻辑 直觉主义逻辑 线性逻辑 模态逻辑 逻辑 哲学逻辑 经典逻辑 形式逻辑 非形式逻辑 悖论 Logic, Non-Classical, encyclopedia...

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

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

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

传统逻辑，也叫做词项逻辑，是关于亚里士多德（公元前384年—前322年）所开创的传统逻辑学的宽松的术语，并有幸的没有经历广泛的改变，直到十九世纪末出现了谓词逻辑。 有时很难理解在弗雷格和罗素之前的哲学，原因是对他们之前的所有哲学家们所共识的术语和观念没有基本的掌握。本文提供对传统系统的基本介绍，和对进一步阅读的建议。...

这些问题可以归类于13个领域。 逻辑批评理论 论证理论 谬论理论 谬论方法与批判性思维方法 归纳/演绎二分法的可行性 论证和逻辑批评的伦理学 等等。 批判性思维 谬誤 谬誤列表 谬誤论证 非形式谬误 形式谬误 悖论 模糊邏輯 多值邏輯 辯證邏輯 辯證法 對立統一 逻辑 Groarke, Leo, "Informal...

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

逻辑学的研究停止了。后来，印度的逻辑学随佛教传入中国。 现在所使用的逻辑学直接来源于古希腊逻辑学。亚里斯多德等人确立了完整的形式逻辑、三段论等逻辑学基本理论。中世纪欧洲的哲学家和伊斯兰哲学家对逻辑学也做出了贡献。 在现代，逻辑学发展巨大，传统的形式逻辑被数学化重新描述为数理逻辑，也产生了非形式逻辑。...

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

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

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

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

索尔·阿伦·克里普克（英語：Saul Aaron Kripke，/ˈkrɪpki/，音“克里普基”，1940年11月13日—2022年9月15日），美国逻辑学家和哲学家，模态逻辑语义学创始人之一，指称因果-历史论（英语：Causal-historical theory of reference）首倡者之一。...