歸結語義樹（resolution semantic tree）是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名：歸結語義樹
- 外文名：resolution semantic tree
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
用歸結法證明定理時，相應的子句集中出現的所有原子命題構成的二叉樹。它用於說明歸結過程。
出處
《計算機科學技術名詞 》第三版。
歸結語義樹
相關詞條
- 歸結語義樹
歸結語義樹（resolution semantic tree）是2018年公布的計算機科學技術名詞。定義用歸結法證明定理時，相應的子句集中出現的所有原子命題構成的二叉樹。它用於說明歸結過程。出處《計算機科學技術名詞 》第...
- 基於格值邏輯的α-鎖歸結與α-鎖調解自動推理
具體為：建立了基於格值邏輯的多元α-語義歸結、α-準鎖語義歸結、α-半鎖語義歸結、α-群鎖歸結、非子句多元α-有序線性廣義歸結、α-有序（線性）極小歸結和α-有序語義歸結自動推理理論與方法，包括其可靠性、完備性及其相容性。給出了基於格值邏輯的合適歸結水平集，證明了在合適歸結水平下等詞公理與E解釋...
- 基於格值邏輯的語言真值α-群鎖語義歸結自動推理研究
《基於格值邏輯的語言真值α-群鎖語義歸結自動推理研究》是依託西南交通大學，由鐘小梅擔任項目負責人的數學天元基金項目。項目摘要 針對帶有不可比較性信息的自動推理，依據基於格蘊涵代數的格值邏輯系統，借鑑經典二值邏輯中語義歸結和鎖歸結自動推理的學術思想，在基於格蘊涵代數的格值邏輯的語言真值α-歸結自動推...
- 語義原型模式
語義原型模式是羅斯奇(E.Rosch)、肖本(E.J.Shoben)等在語義特徵分析基礎上提出的一種語義結構假設。這種理論認為，單純用一些孤立的語義特徵表示語義，有時是不充分的，因為同一類物體的特徵可以是多種多樣的。作為一個類的成員，除了有與同類其他成員所共有的類的定義特徵外，還有其本身特有的特徵。例如，“鳥”...
- 單元歸結
單元歸結 單元歸結（unit resolution）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義 一種歸結策略。如果歸結過程中，每次做歸結的兩個子句中，都有一個是單元（只含一個文字的）子句或單元因子，這種歸結的形式稱為單元歸結。出處 《計算機科學技術名詞 》第三版。
- 基於格值邏輯的語言真值α-廣義歸結自動推理研究
針對帶有不確定性的自動推理，依據基於格蘊涵代數的格值邏輯，借鑑廣義歸結自動推理學術思想，套用語言真值格蘊涵代數，遵循不確定性的程度差異性，在基於格蘊涵代數的格值邏輯之不確定性推理和語言真值α-歸結自動推理的研究基礎上，研究基於格值邏輯的語言真值α-廣義語義歸結自動推理、基於格值邏輯的語言真值α-廣義...
- 數理邏輯引論與歸結原理(2003年科學出版社出版的圖書)
《數理邏輯引論與歸結原理》是2003年科學出版 社出版的圖書，作者是王國俊。圖書簡介 本書講述了與邏輯演算有密切關係的Boole代數理論；命題演算與一階謂詞演算理論；歸結原理理論以及多值邏輯演算理論等內容。圖書目錄 第一章 預備知識 第二章 命題演算 第三章 一階謂詞演算的語義理論 第四章 一階謂詞演算的語...
- 推理結點
推理結點 推理結點（inference node）是2018年公布的計算機科學技術名詞。定義 在歸結語義樹中，如果某結點本身不是失效結點，但其兩個子結點是失效結點，則稱該結點為推理結點。出處 《計算機科學技術名詞 》第三版。
- 邏輯型語言
邏輯型語言是一個數學術語。邏輯型語言((logic language)支持用邏輯型程式設計(參見“邏輯型程式設計”)方法求解問題的語言工具.典型的邏輯型語言是PROLOG.它以一階謂詞邏輯的horn子句為語法，以Robinson歸結原理為語義，加上深度優先的控制策略而形成的通用語言.它有內設的形式匹配和回溯功能.由於它出於運行效率的考慮...
- 人工智慧—— 一種現代方法(第二版)
7.4.2 語義 159 7.4.3 一個簡單的知識庫 160 7.4.4 推理 161 7.4.5 等價、合法性和可滿足性 162 7.5 命題邏輯的推理模式 163 7.5.1 歸結 164 7.5.2 合取範式 166 7.5.3 歸結算法 166 7.5.4 歸結的完備性 167 7.5.5 前向和反向連結 168 7.6 有效的命題推理 170...
- 關於程度化格值一階邏輯的若干關鍵問題研究
三、 關於與格值邏輯相關其它問題的研究： 基於alpha-歸結原理，在基於格蘊涵代數的格值命題邏輯系統LP(X)中建立了alpha-準鎖語義歸結方法，並證明了其可靠性與條件完備性；其次，將alpha-準鎖語義歸結方法拓展到了相應的格值一階邏輯系統LF(X)中，並在LF(X)中建立了該方法的可靠性與條件完備性。 項目所取得...
- 深入淺出人工智慧(第2版)
3.2 語義 35 3.3 量詞和範式 38 3.4 證明演算 41 3.5 歸結 42 3.5.1 歸結策略 45 3.5.2 等值 45 3.6 自動定理證明 46 3.7 數學例子 47 3.8 套用 50 3.9 小結 52 3.10 練習 52 第4章邏輯的局限性55 4.1搜尋空間問題55 4.2可判定性和不完備性57 4.3會飛的企鵝58 4.4模型的不...
- 本體論(探究世界的本原或基質的哲學理論)
）內部不同主體（人、機器、軟體系統等）之間進行交流（對話、互操作、共享等）的一種語義基礎，即由Ontology提供一種共識。而且Ontology提供的這種共識更主要的是為機器服務，機器並不能像人類一樣理解自然語言中表達的語義，計算機也只能把文本看成字元串進行處理。因此，在計算機領域討論Ontology，就要討論如何表達共識...
- 人工智慧及其套用(第四版)
第2章介紹一階謂詞邏輯、產生式、框架、語義網路、知識圖譜等基本的知識表示方法。第3章介紹基於謂詞邏輯的確定性推理方法，詳細介紹了在自動定理證明中具有重要地位的魯賓孫歸結原理。通過多個典型例題說明將謂詞公式化為子句集的步驟，詳細講述了利用歸結原理證明定理和求解問題的方法。第4章介紹不確定性推理方法，主要...
- 人工智慧與機器學習入門
2.1.2語義10 2.1.3重言式和邏輯含義13 2.1.4邏輯參數14 2.1.5派生系統17 2.2歸結20 2.2.1範式20 2.2.2歸結的推導21 2.2.3歸結算法24 2.3人工智慧套用25 2.3.1基於知識的系統25 2.3.2wumpus world35 2.4討論和擴展閱讀41 練習41 第3章一階邏輯44 3.1一階邏輯基礎44 3.1.1語法44 3...
- 中國古代天學
郭沫若曾對此作過深入研究，他從文字、圖形、語義、字源、發音等方面進行比較和考釋，最後得出的結論是：十二辰本來就是黃道周天的十二宮，是由古代巴比倫傳來的。同時古巴比倫天學中的" 三十一標準星系統" 與中國的二十八宿體系也有不少相似之處。但近年對雙方的數理天文學內容的研究表明，在現已擁有的證據之下，...
- 廖序東
9月11日，為《現代漢語語法語義研究》一書寫序。28日校閱《漢語語言學書目答問》。10月，《漢語語言學書目答問》由本校中文系印行，作為漢語教師、研究生參考書。11月6日，參加南京師範大學56 屆中文專修科畢業生聚會並講話。2000年85歲 5月28日，修改舊作《離騷文法圖解》。8月，是年翻譯《離騷》，11日已...
- 程式設計語言概念(第9版)
程式設計語言的語法和語義只是外在的表現，程式設計語言的本質是解決套用領域問題的方法與工具。語言既是思維的表達，也是思維的工具。如果局限於程式設計語言定義的語法和語義，不能運用語言工具來輔助自己的思維，必然會限制用程式設計語言來解決實際問題的能力。本書並不是介紹某一種具體的程式設計語言所蘊涵的計算機...
- 現代漢語中的分配量化
本書採納形式語義學，尤其是代數語義學中的相關思路和理論框架，為漢語中各種“都”字結構提供了統一的分析。本書提出，以“都”為代表的漢語分配量化現象包含雙層語義結構，即分配量化是由標準的全稱量化加上匹配函式組成。匹配函式是一種斯科林函式，具有維序性和一一對應性。各種“都”的用法，可以歸結為匹配函式所...
- 人工智慧:現代方法(第4版)(精裝版)
7.4.2 語義 184 7.4.3 一個簡單的知識庫 185 7.4.4 一個簡單的推斷過程 186 7.5 命題定理證明 187 7.5.1 推斷與證明 188 7.5.2 通過歸結證明 190 7.5.3 霍恩子句與確定子句 194 7.5.4 前向連結與反向連結 194 7.6 高效命題模型檢驗 196 7.6.1 完備的回溯算法 196 7.6.2 局部搜尋...
- 趙彥春
[49]趙彥春. 從本體到本質——基於be的句法語義分析[A]. 中西語言哲學研究會、中國現代外國哲學學會分析哲學專業委員會.第三屆中西語言哲學國際研討會論文摘要集[C].中西語言哲學研究會、中國現代外國哲學學會分析哲學專業委員會:中西語言哲學研究會,2009:1.[48]趙彥春.認知語言學的理論取向與實質——認知語言學學理...
- 複合詞
複合詞的語義結構本質上是一種認知場影，可歸結為一定的認知框架。複合詞是框架（包括簡單框複合框架）的成分在語言表層的映射。分類 複合詞主要分為：複合副詞、複合動詞、複合名詞、複合形容詞。構成方式 複合名詞 1、動詞連用形+名詞 2、名詞+動詞連用形（名詞化）3、動詞連用形+動詞連用形（名詞化）4、名詞+...
- 計算動詞理論
這一機器視覺平台將仿真人的視覺通路中的認知能力，在人工視網膜之後將二維的視頻信號轉化成為特徵空間中的語義描述。一旦場景被自然語言所描敘之後，機器視覺任務便轉化為計算動詞所描述的問題，因而可獲得與符號運算相同層次的高效率的求解。IT產業的勞動密集型轉化 在計算機硬體速度對計算任務的要求遠遠大於人類全部高端...
- 一階邏輯
為真來賦與其語義。一個語義的賦與稱為解釋。語法 一階邏輯可分成兩個主要的部分：語法決定哪些符號的組合是一階邏輯內的合法表示式，而語義則決定這些表示式之前的意思。辭彙表 和英語之類的自然語言不同，一階邏輯的語言是完全形式的，因為可以機械式地判斷一個給定的表示式是否合法。存在兩種合法的表示式：“項...
- 語覺論
《語覺論》提出“語覺是人類第六種感知覺”的嶄新命題，是對以前的兒童語言獲得理論的繼承、發展和創新。語覺，主要是指“從一般聽覺系統中獨立出來的語義感知覺系統”，本書對此做了詳盡、完整和科學的論證。既肯定語覺功能的生理基礎及先天性，又強調基於語覺的兒童語言獲得的思想，並提出了“後天環境的影響和語...
- 香農資訊理論
香農說：“通信的基本問題，是在訊息的接收端精確地或近似地複製傳送端所挑選的信息。通信訊息是有意義的，即是說，它按某種關係與某些物質或概念的實體聯繫著。通信的語義方面的問題與工程問題是沒有關係的。”可提出如下假設：雖然信息的語義因素和語用因素對於廣義信息來說並不是次要因素，但對於作為“通信的訊息...
- 池昌海
23．《史記》中“死”義詞語語義與分布特徵分析 《漢語史學報》， 2002年第1期。24．貶佛語彙與漢民族傳統宗教心理關係論 《 語言與文化論文集》 新疆大學出版社， 2002年。25．二十年徵婚啟事語體特徵變化分析 《修辭學習》， 2003年第1期。26．二十年來徵婚啟事特徵變項語言運用變化調查報告 《 ...
