【非標準邏輯】
英語翻譯:nonstandardlogic
【辭書名稱】資訊與通信術語辭典
不屬於傳統的命題演算或謂詞演算的邏輯的統稱。
非標準邏輯可分為兩類。
第一類是與傳統邏輯完全不同的。
例如,多值邏輯,模糊邏輯和直覺邏輯。
第二類是將傳統邏輯推廣。
例如,模態邏輯和瞬態邏輯。
非標準邏輯在計算機科學和人工智慧有較大的用途。
例如,用於程序驗證,硬體電路設計,和非單調推理等。
轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
歡迎光臨 【五術堪輿學苑】 (http://124.156.177.65/) | Powered by Discuz! X3.1 |