《基於歸結方法的自動推理》是1994年科學出版社出版的圖書，作者是劉敘華。
基本介紹
- 書名：基於歸結方法的自動推理
- 作者：劉敘華
- 出版社：科學出版社
- 出版時間：1994年02月
- ISBN：7030039270
內容簡介,圖書目錄,
內容簡介
以歸結方法為主線，介紹在經典邏輯、模糊邏輯、非單調邏輯和模態邏輯中的自動推理方法。
圖書目錄
前言
目錄
緒論
第一部分 古典邏輯中的歸結推理
第二部分 非標準邏輯中的歸結推理
參考文獻
基於歸結方法的自動推理
相關詞條
- 基於歸結方法的自動推理
《基於歸結方法的自動推理》是1994年科學出版社出版的圖書，作者是劉敘華。內容簡介以歸結方法為主線，介紹在經典邏輯、模糊邏輯、非單調邏輯和模態邏輯中的自動推理方法。1圖書目錄前言目錄緒論第一部分 古典邏輯中的歸結推理第二...
- 基於格值邏輯的α-鎖歸結與α-鎖調解自動推理
《基於格值邏輯的α-鎖歸結與α-鎖調解自動推理》是依託西南交通大學，由何星星擔任項目負責人的青年科學基金項目。項目摘要 本項目圍繞帶等詞的格值邏輯系統，研究啟發式動態配鎖策略下的α-鎖歸結與α-鎖調解自動推理理論、方法和算法，設計相應的自動推理程式。主要內容包括：一、研究格值命題邏輯系統中廣義文字的...
- 基於格值邏輯的α-n(t)元歸結動態自動推理研究
《基於格值邏輯的α-n(t)元歸結動態自動推理研究》是依託西南交通大學，由徐揚擔任項目負責人的面上項目。項目摘要 針對帶有不可比較性信息的自動推理，依據基於格蘊涵代數的格值邏輯系統，借鑑基於經典二值邏輯的0-2元歸結自動推理的學術思想，在基於格蘊涵代數的格值邏輯的α-2元歸結自動推理研究基礎上，分別建立...
- 基於格值邏輯的語言真值歸結自動推理研究
《基於格值邏輯的語言真值歸結自動推理研究》是依託西南交通大學，由徐揚擔任項目負責人的面上項目。項目摘要 研究內容有三項：1、建立一種常用的語言真值格蘊涵代數：分別建立常用的語言真值集與基本修飾詞集並賦予其相應偏序；生成語言真值格蘊涵代數，並研究其與邏輯相關的結構及特性。2、研究基於格蘊涵代數的格值...
- 基於格值邏輯的語言真值α-群鎖語義歸結自動推理研究
《基於格值邏輯的語言真值α-群鎖語義歸結自動推理研究》是依託西南交通大學，由鐘小梅擔任項目負責人的數學天元基金項目。項目摘要 針對帶有不可比較性信息的自動推理，依據基於格蘊涵代數的格值邏輯系統，借鑑經典二值邏輯中語義歸結和鎖歸結自動推理的學術思想，在基於格蘊涵代數的格值邏輯的語言真值α-歸結自動推...
- 歸結反演
基於歸結反演的問題求解 歸結反演除了可用於定理證明外，還可用來求取問題的答案，問題求解的方法與定理證明類似。問題求解的步驟如下：① 把已知前提用謂詞公式表示出來，並且化為相應的子句集S。② 把待求解的問題也用謂詞公式表示出來，然後把它的否定式與謂詞ANSWER構成一個析取式，ANSWER是一個為了求解問題而專設...
- 歸結
歸結原理是1965年美國人Robinson提出的一種證明一階謂詞演算中定理的方法。使用這種方法時，對任一要證明的永真公式取非後，證明它不可滿足，為此先轉化成一種標準型，然後對這個標準型不斷使用單一的推理規則，即實行歸結，直到導出矛盾。簡介 由謂詞公式轉化子句集的過程可以了解到：子句集中的子句之間是合取關係，...
- 自動推理機
自動推理機對外使用工作循環，從外界獲得事實並使用推理引擎推導結論。同時自動推理機不斷維持建構循環，即用生成的結論和真實的事實做比較驗證內在模式系統是否成立以及周延，如果出現結論和事實不符的情況則重新進入歸納過程總結規律。推理方法 推理方法包括精確推理和不精確推理。精確推理 所謂精確推理就是把領域知識表示為...
- 語義歸結
語義歸結 語義歸結（semantic resolution）是2018年公布的計算機科學技術名詞。定義 一種歸結策略。由斯萊格爾（Slagle）提出，通過把超歸結、支架集歸結和梅爾策（Meltzer）的可換名歸結等原理組合而成。出處 《計算機科學技術名詞 》第三版。
- 自動定理證明
即使把問題限制在證明單個命題，關鍵仍然是效率。如果從公理出發做出每一個步驟，在新的步驟上仍然要查找每一個公理找出可能的推理。如此下去就形成一個龐大的樹行公理集，每層的節點都是表示一個公理的語句，其深度和寬度隨問題和最初給出的公理而定，一層一步驟，N層的樹就是N步推理。歸結定理證明 歸結法是...
- 模態邏輯的自動推理研究
吉大學報5篇，計算機科學2篇等。1997年，聯合獲得國家教委科技進步二等獎。具體在以下幾方面取得成果：1.模態邏輯的歸結推理方法與推理策略；2.次協調的模態邏輯及其推理方法；3.模態TABLEAU推理方法與模態知識表示；4.經典邏輯基於歸結方法的定理機器證明；5.溯因診斷推理方法、約束問題求解和模態邏輯程式設計。
- 基礎歸結
這個過程是原理層面的揭示，不是操作層面的步驟。一般而言，在歸結操作層面，可不驗證H(S)的不可滿足性，而直接進行互補子句的消除，即進行子句的歸結，從而驗證子句的不可滿足性。歸結方法雖然是通用的證明方法，但是它可以通過推理機實現(如Prolog)，因此一般作為人工智慧的典型套用，即把它作為一種自動化的證明方法...
- 線性歸結
線性歸結 線性歸結是2008年公布的海峽兩岸信息科學技術名詞。 公布時間 2008年全國科學技術名詞審定委員會審定公布的海峽兩岸信息科學技術名詞。出處 《海峽兩岸信息科學技術名詞》。
- 定理機器證明(數學定理)
歸結原理實質上是一條簡潔的推理規則。使用這一條規則，對一階邏輯中的任一個恆真公式，都將是可證的。L.Wos是最成功地實現歸結系統的研究者之一，為此，他獲得首次ATP獎。1972年左右，以L.Wos 為首的集體建立了一個以歸結方法為主的自動推理系統AURA。這個系統對於解有限數學，線路設計，程式正確性驗證及形式...
- 劉敘華
在教學方面，劉敘華教授辛勤耕耘，培育了一批棟樑之材，是同學們非常景仰的好老師。著有《離散數學》、《定理機器證明》、《模糊邏輯與推理》、《數理邏輯基礎》和《基於歸結方法的自動推理》等著作。獲國家教委優秀科技成果獎1次；獲吉林省優秀圖書二等獎1次，獲吉林省優秀教學成果二等獎1次、三等獎1次。人物貢獻...
- 不可滿足性
歸結演繹方法 基本思路 歸結演繹方法是一種基於魯濱遜(Robinson)歸結原理的機器推理技術。魯濱遜歸結原理也稱作消解原理，是魯濱遜於1965年在海伯倫(Herbrand)理論的基礎上提出的一種基於邏輯的“反證法”。在人工智慧中幾乎所有的問題都可以轉化為一個定理證明問題。而定理證明的實質就是要從公式集 出發推出結論G，即需要...
- 人工智慧(第2版)
2.1.6 現代邏輯學的基本研究方法35 2.2 命題邏輯37 2.2.1 語法38 2.2.2 語義38 2.2.3 命題演算形式系統40人工智慧（第2版）目錄 2.3 謂詞邏輯41 2.3.1 語法42 2.3.2 語義43 2.3.3 謂詞邏輯形式系統FC46 2.3.4 一階謂詞邏輯的套用47 2.4 歸結推理49 2.4.1 命題演算中的歸結推理49 ...
- 李曉冰(遼寧師範大學教師)
李曉冰，邱小平，徐揚. 語言真值命題邏輯中的半正則的廣義文字的歸結的自動推理方法.模糊系統與數學, 2009, 23（4），21-26。李曉冰，邱小平，常之艷，徐揚. 格值命題邏輯系統中-歸結域與-歸結域的一些性質，數學季刊，2008，6，262-269。Yang Xu, Xiaobing Li, Jun Liu, and Da Ruan. Determination of -...
- 人工智慧(第3版)(2017年清華大學出版社出版的圖書)
《人工智慧（第3版）》共19章，分為4個部分：第1部分是搜尋與問題求解，用8章的篇幅系統地敘述了人工智慧中各種搜尋方法求解的原理和方法；第2部分為知識與推理，用4章的篇幅討論各種知識表示和處理技術、各種典型的推理技術，還包括非經典邏輯推理技術和非協調邏輯推理技術；第3部分為學習與發現，用3章的篇幅討論...
