模糊謂詞(fuzzy predicate)是邏輯學的基本概念之一，它是一種存在對象滿足該謂詞與否不分明的那種謂詞。
設P為一謂詞(概念或性質)，如果存在著這樣的對象x，它部分地具有性質P，部分地不具有性質P，則稱P為模糊謂詞，簡記為fuzP.此外 fuz表示“模糊的，，. 模糊謂詞fuze在MS中的形式定義為
模糊謂詞
由上述fuze的形式定義可看出，MS系統中的任何謂詞要么是fuze，要么是disP，亦即MS系統中不存在這樣的謂詞，它部分地模糊又部分地清晰.
模糊謂詞
相關詞條
- 模糊謂詞
模糊謂詞(fuzzy predicate)是邏輯學的基本概念之一，它是一種存在對象滿足該謂詞與否不分明的那種謂詞。設P為一謂詞(概念或性質)，如果存在著這樣的對象x，它部分地具有性質P，部分地不具有性質P，則稱P為模糊謂...
- 模糊邏輯與神經網路:理論研究與探索
本書是一部將模糊邏輯與神經網路進行結合研究的論著，介紹了作者近年來在模糊邏輯與神經網路的結合研究與探索中的部分研究成果與心得體會。全書共分五篇，內容包括：智慧型模擬中的模糊邏輯與神經網路；模糊命題邏輯與模糊謂詞邏輯；神經網路基本概念、機理與系統理論；模糊系統與模糊神經網路；因素神經網路的基本概念與理論...
- 模糊邏輯趣談
5.3 什麼是嬉皮士——闡釋模糊概念的邏輯方法 5.4 概念有無模糊性的“檢驗器”——模糊語氣運算元 5.5 什麼是狗——人腦如何掌握模糊概念 六、模糊判斷 6.1 模糊判斷——模糊點才能留有餘地 6.2 模糊謂詞——進入謂詞的模糊性該如何分析 6.3 模糊真值——進入真值的模糊性該如何分析 6.4 模糊量詞—...
- 對偶三角模-三角余模邏輯及推理
《對偶三角模-三角余模邏輯及推理》是2015年科學出版社出版的圖書，作者是張興芳。內容簡介 本書總結作者張興芳2005年以來關於機率論、Lawry的適當測度理論、劉寶碇的不確定理論、模糊集理論與數理邏輯理論的結合研究成果。根據非經典命題和謂詞的不確定性的各種特徵，作者分別提出了相應的邏輯和推理方法，概括其本質分別...
- 模糊邏輯與智慧型系統
4.3 模糊綜合評判逆問題模型 58 4.3.1 模糊關係方程基本形式 58 4.3.2 TKM法求解模糊關係方程 59 4.3.3 表格法求解模糊關係方程 62 4.3.4 近似試探法求解模糊關係方程 64 習題 64 第5章 模糊邏輯 66 5.1 命題邏輯與謂詞邏輯 66 5.1.1 命題邏輯 66 5.1.2 謂詞邏輯 67 5.2 多值邏輯與模糊...
- 搭配與謂詞語義計算
4．1 詞義模糊與一詞多義 4．1．1 現象分析 4．1．2 義項區分的可操作性 4．1．3 基於本體的義項表征 4．1．4 義項確定方法 4．2 基於聚類輔助的謂詞義項確定 4．2．1 主謂搭配集合 4．2．2 基於主語語義的DBSCAN聚類 4．2．3 義項確定實例分析 4．2．3．1 義項的離散性 4．2．3．2 義項的...
- 概集
概集，中介公理集合論的基本集合.概集的直觀含義是:給定謂詞屍，如果集合A滿足如下條件:則稱集合A為謂詞P的概集，簡記為A come.設P 為一模糊謂詞，則圖1中之A,B,C等都是P的概集. 一個謂詞P的概集可以有很多，而且既可以是清晰集，也可以是模糊集.如圖1所示，集合 A,C為清晰集合，而B是模糊集合，但...
- 泛概括定理
有正規清晰謂詞 (C)及正規模糊謂詞(D)兩類.而圖1中陰影部分(E)表示康托爾意義下的一切造集謂詞，C包括了E.因此，再看上述定理的結論(在MS系統中，任何正規清晰謂詞必有惟一確定的恰集)可知，MS系統中的泛概括公理又在實際上全面保留了康托爾意義下概括原則的內容.這樣，“在MS系統中是否會出現悖論”的問題...
- 中介公理集合論
等概念的形式定義，直至在數學基礎理論意義下解決了模糊謂詞的造集問題，因而在數學基礎理論意義下完成了數學研究對象由精確性到模糊性的再擴充.其次，大家公認整個精確性經典數學可由ZFC系統之正則公理以外的九條公理推出，但這九條公理已被證明為MS中對謂詞與個體在某種約束條件下的九條定理.而且嚴格證明了任何一個...
- 中介邏輯
並由此創立了模糊數學.模糊數學的誕生標誌著數學的發展已進人了數學研究對象由精確性到模糊性的再擴充時代.然而，這時的模糊數學沒有解決模糊謂詞的造集問題，因而並未能在數學基礎理論意義下實現數學研究對象由精確性到模糊性的再擴充.在ML&MS中，不僅精確謂詞可以造集，同時完全解決了模糊謂詞的造集問題.並且嚴格...
- 多值邏輯
模糊邏輯是由盧菲特·澤德作為對模糊性的形式化而介入的；模糊就是謂詞可以非絕對性的套用於物體的現象，但是有一個特定的程度，並且可以有邊界狀況。這種邏輯可以用來處理複合三段論悖論（sorites）。不再是兩個真值"真"和"假"，模糊邏輯採用了 0，對應於"絕對假"，和 1，對應於"絕對真"之間的無限多的值。邊界...
- 精確性經典數學基礎
康托爾創建古典集合論的一個最重要的思想方法是用以造集的概括原則，即任給謂詞P，就能構造一集，它恰由滿足謂詞P的對象構成.但應指出，概括原則中用以造集的那個謂詞必須是精確性一元謂詞，任何非精確謂詞或模糊謂詞都不是概括原則意義下用以造集的謂詞.其次，在概括原則之下用以造集的精確性一元謂詞是完全任意...
- 數學基礎(研究整個數學的理論基礎及其相關問題的學科)
解決這一奠基問題的方案有如下三種：其一是將模糊數學直接或間接地奠基於近代公理集合論，但這樣發展起來的模糊數學只能成為經典數學的分支，而不能在更高的形式下包括經典數學;其二是為模糊數學建立它所特有的公理集合論系統;其三是拓寬精確性經典數學的邏輯基礎和集合論基礎，在數學基礎理論意義下解決模糊謂詞的造集...
- 語言的邏輯分析
13 多值邏輯與模糊邏輯 13．1 真和假之間的值 13．2 模糊謂詞邏輯 13．3 模糊集合 13．4 真實度 13．5 真的維數 14 內涵邏輯與蒙太格語法 14．1 內涵邏輯 14．2 蒙太格句法和語義研究的進路 14．3 “廣義量詞”15 條件命題 15．1 反事實條件句 15．2 直陳條件句 參考文獻 符號表 譯後記 補記 ...
- 三值邏輯關係
與模糊邏輯的關係 模糊邏輯是由盧菲特·澤德作為對模糊性的形式化而介入的；模糊就是謂詞可以非絕對性的套用於物體的現象，但是有一個特定的程度，並且可以有邊界狀況。這種邏輯可以用來處理複合三段論悖論(sorites)。不再是兩個真值"真"和"假"，模糊邏輯採用了在 0，對應於"絕對假"，和 1，對應於"絕對真"之間...
- 語言與現代邏輯
《語言與現代邏輯》書中周斌武以通俗易懂的方式講述了現代邏輯包括命題演算、謂詞演算、模態邏輯、時態邏輯、問句邏輯、模糊邏輯、內涵邏輯等分支的實用常識，並運用邏輯語言學的觀點分析了自然語言的邏輯現象，所引例句幾乎全部選自漢語文學作品的名篇，是一本現代邏輯與語言學的入門書。內容提要 作者是周斌武等編。作者...
- 機械設計專家系統研究與實踐
第四節 一階謂詞邏輯表示 一、一階謂詞邏輯的定義 二、一階謂詞的形式描述及語義 三、一階謂詞邏輯表示的特點 第五節 語義網路表示 一、語義網路的定義 二、語義網路的形式描述及語義 三、語義網路結構的特點 第六節 過程表示 一、過程表示動態知識 二、過程表示的特點 第七節 不精確知識的表示 一、模糊謂詞 ...
- 邏輯語
形意一致並不是說不存在含義模糊或者籠統的情形。含義模糊，指的是概念本身的模糊，即概念的外延沒有明確的邊界。例如，“大”、“高”等概念在沒有明確標準的情況下就是模糊的。邏輯語用來表達這些概念的詞語可以是模糊的，就像自然語言一樣，也可以是精確的，一般是通過給出標準來精確化。而含義籠統，則是因為有...
- 邏輯表示
英文：logical representation 知識表示的一種基本方式。人工智慧需要運用現代邏輯方法去解決複雜的現實問題，即可用邏輯來表達推理也可以用邏輯表示知識。例子 例如可用一階邏輯來描述圖中的積木世界。圖[積木世界及其邏輯表示]中 7個合式公式所代表的命題的意義分別是：①直接在 上，②直接在桌上，③直接在桌上,④的...
- ZB系統
1.三元謂詞符號。(X,Y,W)，它被解釋為X以模糊度W是Y的元素.2.二元謂詞鎮，它被解釋為模糊度的序. 若以fuz表示“模糊”，則ZB系統的九條非邏輯公理的名稱分別為:fuz外延公理，fuz函式化公理， fuz序公理，fuz對偶公理，fuz聯集公理，fuz替換公理，fuz冪集公理，fuz正則公理，fuz無窮公理.實際上，ZB系統也是...
- 二階邏輯
二階邏輯允許有各種解釋；它經常被認為包含在域的子集上，或在來自這個域到自身的函式上的量化，而不只是在這個域的個別成員之上。例如，如果這個域是所有實數的集合，通過如下書寫你可以在一階邏輯中斷言每個實數的加性逆元的存在性 但你需要使用二階邏輯來斷言實數的最小上界性質:並在點的位置插入一個陳述，如果...
