《非經典邏輯的自動推理》是依託吉林大學,由孫吉貴擔任項目負責人的面上項目。
基本介紹
- 中文名:非經典邏輯的自動推理
- 項目類別:面上項目
- 項目負責人:孫吉貴
- 依託單位:吉林大學
- 批准號:60273080
- 申請代碼:F0201
- 負責人職稱:教授
- 研究期限:2003-01-01 至 2005-12-31
- 支持經費:22(萬元)
《非經典邏輯的自動推理》是依託吉林大學,由孫吉貴擔任項目負責人的面上項目。
《非經典邏輯的自動推理》是依託吉林大學,由孫吉貴擔任項目負責人的面上項目。項目摘要非經典邏輯的自動推理近來受到國學不術界的廣泛重視。本項申請主要研究模態邏輯、直覺邏輯和多值邏輯等非經典邏輯的表推演方法,提出簡化表推學業 ...
非標準邏輯中的自動演繹是指許多複雜的常識推理問題如能直接用高階邏輯或非經典邏輯來處理最為自然,然而這種技術還不夠成熟。已出現一些運用非單調邏輯的自動演繹系統,但理論根據還不充分。許多複雜的常識推理問題如能直接用高階邏輯或非經典邏輯來處理最為自然,然而這種技術還不夠成熟。因此從實用的角度看,擴充一...
自動推理的研究,一方面表現在專家系統中,各種面向特殊問題的推理方式的研究,例如,DENDRAL的用於化學合成的推理,PROSPECTOR的用於地質方面的推理,MYCIN的用於醫療診斷的推理等;另一方面,在計算機輔助推理的研究上也取得成果,回答了以前在數學和形式邏輯方面的一些未解問題。隨之而來的,面向自動推理的邏輯程式設計語言(...
《經典邏輯與非經典邏輯基礎》既適合邏輯學專業的本科生、研究生使用,也可供計算機科學、人工智慧、語言學、哲學等專業的學生使用,還可供對現代邏輯感興趣的讀者自學使用。圖書目錄 第一章 預備知識 1.1 集 1.2 集運算 1.3 關係和映射 1.4 集合的基數 第二章 命題邏輯 2.1 基於命題聯繫的推理 2.2 ...
《非經典數理邏輯與近似推理》是2008年科學出版社出版的圖書,作者是王國俊。內容簡介 本書在第一版的基礎上修訂再版,全書較系統地講述了各種三值邏輯、n值邏輯以及連續值邏輯理論;為模糊命題演算建立了一套形式演繹系統;把模糊推理納入了嚴格的邏輯軌道;從整體賦值出發,建立了積分語義學理論,為近似推理提供了一...
在套用中,程式語言 ProLog 由於有架設被演繹邏輯問訊的"規則"的資料庫設施而很適合實現模糊邏輯。這種編程叫做邏輯編程。研究對象 欲弄清模糊邏輯的研究對象首先必須得清楚邏輯的研究對象,因為模糊邏輯只不過是在經典邏輯的基礎之上發展起來的一門分支學科。只要搞清楚了邏輯的研究對象,那么模糊邏輯的研究對象也就容易...
假言推理是根據假言命題的邏輯性質進行的推理。分為充分條件假言推理,必要條件假言推理和充分必要條件假言推理三種。充分條件 充分條件假言推理是根據充分條件假言命題的邏輯性質進行的推理。充分條件假言推理有兩條規則:規則1:肯定前件,就要肯定後件;否定前件,不能否定後件。規則2:肯定後件,不能肯定前件;否定...
《面向知識表示與推理的自然語言邏輯》是2009年經濟科學出版社出版的圖書,作者是鞠實兒。內容簡介 《面向知識表示與推理的自然語言邏輯》以知識表示與推理為套用牽引,以非經典邏輯(包括哲學邏輯和語言邏輯)為理論驅動,針對自然語言的內涵性、模糊性、互動性、形態性和多樣性,分別構造了若干自然語言邏輯系統,包括:...
已提出的一些形式的可廢止推理:McCarthy 提出的方案是限制的邏輯原理 Raymond Reiter 提出了預設邏輯系統和封閉世界假定的形式化 McDermott 和 Doyle 提出了非單調邏輯 Robert C. Moore 提出了自動認識邏輯 Donald Nute提出了可廢止邏輯 演繹推理 演繹推理(英語:Deductive Reasoning)在傳統的亞里士多德邏輯中是“結論...
《基於描述邏輯的複雜本體非經典知識表示和推理研究》是依託南京大學,由李言輝擔任項目負責人的青年科學基金項目。項目摘要 本體知識表示和推理是語義Web研究熱點,本項目中擬討論基於描述邏輯的當前本體語言OWL2的表示和推理研究。申請人將原有工作的基礎上深入探討下面三方面的問題:.(1)當前OWL2模糊擴展的主要推理手段...
預設邏輯是 Ray Reiter 提出的用來形式化有預設假定的推理的非單調邏輯。 預設邏輯可以表達像“預設的,某個事物是真的”的事實;相反的,標準邏輯只能表達某個事物為真或某個事物為假。這是一個問題,因為推理經常涉及在多數時候是真但不總是真的事實的推理。經典的例子是: “鳥通常會飛”。這個規則可以在標準...
推理機的外部輸出邏輯上是一個結論,這個結論可能是一個具體的事實或者邏輯判定,如目標對象是什麼或者是真的還是假的。也可以是一個動作或者一系列動作的組合,如做什麼或者如何做才能實現目標。定義 自動推理機(Automation Inference Engine)是人工智慧系統中用於實現信息推理的部件,是基於輸入歸納總結規律,並用輸入和...
本項目研究超協調邏輯旨在解決一些傳統超協調邏輯中存在的未解問題,提出適合於計算機套用的新超協調邏輯系統,實現超協調自動推理系統,把超協調邏輯套用到工人智慧型中知識表示和常識推理研究。本項研究成果包括解決了一些超協調邏輯的未解問題,研究清楚了超協調協邏輯和非單調邏輯的新的非經典邏輯,它具有超協調和非單調...
建立了一類主要非單調邏輯的統一基礎,提出了幾種新的非單調邏輯,包括新模態的非單調邏輯和三值非單調邏輯,並提出了一類新非經典邏輯的非單調超協調邏輯,作為比非單調邏輯在更一般意義形式化常識推理的邏輯基礎,從而擴展了非單調邏輯的能力,提出了包括非單調邏輯的各種表系統,從而給出了一種非單調邏輯的實驗途徑...
《模糊邏輯趣談》是中國人民大學出版社出版的圖書,作者是【中】苗東升。內容簡介 本書是一部科普讀物,著重介紹模糊邏輯提出的新的邏輯思想,邏輯概念和邏輯規則,儘量少用邏輯符號,以通俗易讀的語言介紹模糊邏輯史話,模糊性,模糊邏輯的數學基礎、模糊邏輯概念、判斷、推理、論論以及模糊思維和模糊邏輯的套用,包括...
標準格式的下限邏輯LLL上包含經典邏輯CL,其語言可以根據需要增加更多的新的聯結詞,構成一個擴展語言,但是都將給出它們的CL意義。SAL證明論 SAL證明的動態性通過附加條件(Ω的有限子集)到推出的公式,以及引入一個標記(marking)的概念受到控制。同時適用一個推理規則將一個證明行增加到一個證明中,標記確定在一個...
本書作者的邏輯思想帶有明顯的非正統色彩,可能說我們特別喜歡非經典邏輯並屬於邏輯學者聽“第三世界”。媒體推薦 書評 (次協調邏輯創始人專為本書所作)經典(演繹)邏輯的特色可以概述於下:它是由經典一階謂詞演算(帶等詞或不帶等詞)及其擴展(如經典集合論各體系,有策梅羅一弗蘭克-馮諾意曼一貝納斯·哥德爾、...
廣義邏輯學研究的範圍比較大,是一種傳統的認識,與哲學研究有很大關係。整個邏輯學科的體系非常龐大複雜,如:傳統的、現代的和辯證的、演繹的、歸納的和類比的、經典的和非經典的,等等。但是,它再龐雜也有相通的地方,例如:構建判斷的方法;進行必然性推理;認同邏輯真理或邏輯規律等。邏輯學作為一門科學的邏輯,...
語義悖論,特別是自引用,提供了質問經典邏輯的形式根據。考慮說謊者悖論(這裡的 "" 表示 "L 這個命題"):(L) 不是真的。把 L 塞入自身,我們得到 " 不是真的" 不是真的 看起來它說的事情同於 (L' ) L 是真的 (這種推理基於幾個相當似是而非的但公認不是無懈可擊的前提,關於雙重否定除去的和在...
自動認識邏輯的語法通過增加指示知識的模態運算元 而擴展了命題邏輯: 如果 是一個公式,則 指示 是已知。作為結果, 指示 是已知,而 指示 是未知。在自動認識邏輯中的公式可以用來捕獲基於事實知識的推理。例如, 意味著如果不知道 是真的,則假定它為假。這是一種形式的否定為失敗。語義 自動認識邏輯的語義...
但是對於一個非線性、多變數的複雜系統,用常規的數學方法建模既費時又費力,而且在各種假設下建模,其適應性也不好。而J-S.R.Jang提出的自適應神經模糊推理系統是一種將模糊邏輯和神經元網路有機結合的新型的模糊推理系統結構,採用反向傳播算法和最小二乘法的混合算法調整前提參數和結論參數,並能自動產生If-Then...
“約束推理與約束程式”(05年1月-07年12月)——國家自然科學基金項目。“基於約束推理的產品配置器研究”(04年6月-07年5月)——吉林省科技發展計畫項目。“約束程式理論及其套用”(04年1月-06年12月)——吉林省傑出青年基金項目。“非經典邏輯的自動推理”(03年1月-05年12月)——國家自然科學基金項目...
11.4.4 幾種推理規則及其套用 11.5 套用實例 11.5.1 歸約在邏輯電路設計中的套用 11.5.2 利用推理破案的實例 習題11 第12章 非經典邏輯的推理 12.1 非單調推理 12.1.1 單調推理與非單調推理的概念 12.1.2 默認邏輯 12.1.3 默認邏輯非單調推理系統tms 12.2 dempster?shater(d?s)證據理論 12....
軟體系統分析與設計、分散式資料庫檢索及修正、網路信息安全及處理、地理信息系統、管理信息系統及決策支持系統、機器學習及自動推理等。部分研究被國家自然基金項目 “基於tableau的非經典邏輯經典化的自動定理證明研究”和“面向tableau模型的邏輯強化學習理論及方法研究”、教育部重點項目 “網路中不相容信息的檢索及修正”...