自然推理是2008年公布的海峽兩岸信息科學技術名詞。
基本介紹
- 中文名:自然推理
- 外文名: natural inference
- 所屬學科:信息科學技術
- 公布年度: 2008年
自然推理是2008年公布的海峽兩岸信息科學技術名詞。
自然推理 自然推理是2008年公布的海峽兩岸信息科學技術名詞。 公布時間 2008年全國科學技術名詞審定委員會公審定布的海峽兩岸信息科學技術名詞。出處 《海峽兩岸信息科學技術名詞》。
現代形式的自然演繹是由德國數學家格哈德·根岑於1935年在一篇提交給哥廷根大學數學系的學位論文中獨立提出的。術語自然演繹就是在那篇論文中出現的:首先我希望構造儘可能緊密於實際推理的一種形式化主義。所以提議了“自然演繹演算”。— Gentzen, 《Untersuchungen über das logische Schließen》(Mathematische ...
推理定理 推理定理(deduction theorem)亦稱推演定理、演繹定理,是說明形式系統推演規律的一個定理。定義 該定理斷言:設r為公式集,+,月為公式,若r:+ 月,則有ra->月.推理定理的作用在於消去假設. 如果由假設r,a可以推出月,則消去假設a,可以由 r推出a->月.在自然推理系統中推理定理是消去假設的依據.
自動推理的研究內容有模型生成與定理機器證明、程式正確性驗證、邏輯程式設計、常識推理、非單調推理、模糊推理、約束推理、定性推理、類比推理、歸納推理、自然演繹法、歸結方法、重寫方法、吳方法等。自動推理的近期目標是得到各種推理程式,它們中的每一個都相當於一個自動推理助手,人們能有效地和這個助手“交談”。遠...
歸納推理是一種由個別到一般的推理。由一定程度的關於個別事物的觀點過渡到範圍較大的觀點,由特殊具體的事例推導出一般原理、原則的解釋方法。自然界和社會中的一般,都存在於個別、特殊之中,並通過個別而存在。一般都存在於具體的對象和現象之中,因此,只有通過認識個別,才能認識一般。人們在解釋一個較大事物時,...
自然派是古希臘的一個哲學流派,自然派是哲學脫離宗教範疇,哲學家朝科學推理的方向邁出的第一步,成為了科學的先驅,代表人物是泰利斯。發展歷史 最早的希臘哲學家被稱為“自然派哲學家”,因為他們關切的問題是大自然與它的循環變化。新世紀有許多人認為萬物必定是在某個特定時期無中生有的,但是古希臘人持有這種...
《現代邏輯推理技法》是現代韋澤民編著的一部哲學著作。內容簡介 本書是《邏輯套用多視角》叢書之一,是現代邏輯套用方面的普及書。作者通過深入淺出地介紹現代邏輯的套用,一方面使讀者具體了解現代邏輯的價值,一方面從根本上解決學習現代邏輯的自覺性問題。全書共分五篇。第一篇《符號語言與自然推理》,介紹了現代邏輯...
如此進行推理,他必定存在一種最初的原始思想,那么這種原始思想從何而來?只能說是機遇造就或是被以前的種種條件所決定,即他的這種思想的產生是有確切原因的,是先前的思想認識等基礎條件導致的,那么由此一來,這種基礎條件勢必導致他這種思想的產生由或然性向必然性邁進;如果說這種思想與先前的諸種條件沒有關係,...
假設-演繹推理是皮亞傑術語。形式運算階段兒童思維的重要特徵之一。表現為對自然現象首先提出一系列假設,然後系統地考察每個假設以發現結論的過程。以皮亞傑的鐘擺實驗為例,當要求不同年齡階段的兒童回答影響鐘擺頻率的因素時,前運算階段的兒童會主客觀因素不分,認為自己使勁推動,就可使鐘擺擺動得快些(自我中心思維)...
《終極探索系列:世界著名推理故事》是2013年北京聯合出版公司出版的圖書,作者是柯南·道爾。內容簡介 講述了超自然現象是行走在人間的先知,還是來自天外的神秘生物?是靈異世界留下的奇蹟,還是冥冥之中的心靈感應?《終極探索系列:世界著名推理故事(精選合訂本)》揭秘了繽紛世界的奇異事件。引人入勝的文字,跌宕起伏...
世界未解之謎是人們用現有的科學技術手段,或者按照正常的思維邏輯以及推理方式無法解釋的自然、天文、歷史等現象或事件。世界未解之謎按其類型主要分為神秘寶藏之謎、人類未解之謎、考古未解之謎、歷史文化之謎、外星來客之謎、宇宙未解之謎、動物未解之謎、植物未解之謎、地球未解之謎、自然未解之謎。分類 神秘寶藏 ...
邏輯推理學包括一階邏輯推理和時序邏輯推理兩種。一階邏輯推理是一種典型的基於規則的推理方法。該方法的推理機制非常簡單,利用謂詞構建靜態的推理規則庫。當進行推理時,首先向引擎輸入已知的初級上下文信息,通過一致性驗證後,與規則進行比較,如果相同,那么給出對應規則結果的高級上下文信息,否則提示沒有成功。時序...
第二章事實推理與事實發現 第一節 事實推理 一、事實發現:探尋事情真相 二、證據推理與案情推理 三、事實推測與推斷、事實推證和推定 第二節事實推斷與推測 一、確定性推理工具:自然推理系統PN 二、不確定性推理方法:合情推理模式與方法 三、非對稱性推導原則:“最佳解釋”、“判決性檢驗”、“獨立證實”四...
歸納推理 歸納推理,又稱基於示例的推理,是一種由個別到一般的推理。由一定程度的關於個別事物的觀點過渡到範圍較大的觀點,由特殊具體的事例推導出一般原理、原則的解釋方法。自然界和社會中的一般,都存在於個別、特殊之中,並通過個別而存在。一般都存在於具體的對象和現象之中,因此,只有通過認識個別,才能認識...
信息推理指在掌握一定事實、數據和事物相關性的基礎上,通過因果關係、特定關係等順次地、逐步地推理,最後得出新的結論的過程。方法 (一)聯想推理法。無論自然界還是人類社會,萬事萬物本是相互聯繫、相互依存的。基於這個原理,對捕捉到的信息,不能就事論事,一定要把思想延展開來,以此信息為基點,抓住與此信息...
透過對大自然本身的研究來了解實際的變化過程。這與藉助神話來解釋雷鳴、電閃和春去冬來的現象大不相同。就這樣,哲學逐漸脫離了宗教的範疇。我們可以說自然派的哲學家朝科學推理的方向邁出了第一步,成為後來科學的先驅。這些自然派哲學家的論述,只留下斷簡殘篇。所知的一小部分乃是根據兩百多年後亞理斯多德的...
在現代歐洲的學術上的文藝復興以前,雖然也有一些人在促進我們對自然界的特殊部分的認識方面取得可觀的成績,但是,在他死後的數百年間從來沒有一個人像他那樣對知識有過那樣系統的考察和全面的把握,所以,他在科學史上占有很高的地位.是主張進行有組織的研究演繹推理的第一人。作為自然科學史上第一個思想體系的...
合取消去規則是某些自然推理系統中的推理規則之一。簡記為∧E或者∧₋。可表述為兩種形式:(1)若Γ├A∧B,則Γ├A;(2)若Γ├A∧B,則Γ├B。其中Γ是任意的公式的集合,A、B是公式,├是推出關係。這一規則意為:若Γ可以推出A與B的合取式A∧B,則Γ可以推出A,Γ也可以推出B。這一規則又可用如下...
規則(τ)表示,從Γ能推出Δ,從Δ能推出A,則從Γ能推出A,推出關係是傳遞的。規則(┓₋)也稱反證律。在這一自然推理系統中,符號∨、∧、↔和ヨ也可以通過定義引入,並導出相應的規則。關於這個自然推理系統,有如下的結果:如果 A普遍有效,即╞A,則├A;並且,如果├A,則A普遍有效。在 F和這個自然...
析取引入規則指某些自然推理系統中的推理規則之一。簡記為∨Ⅰ或V+。可表述為兩種形式:(1)若Γ├A,則Γ├A∨B;(2)若Γ├B,則Γ├A∨B。其中Γ是任意的公式的集合,A、B是公式,├是推出關係。這一規則意為:若Γ可以推出A,則Γ可以推出A與B的析取式A∨B;若Γ可以推出B,則Γ亦可以推出A∨B。這...
一、自由裁量與秉公裁判原則 二、看得見的正義:公開判決理由 三、裁決證成義務與責任:“內部證成”與“外部證立”四、邏輯證立與經驗證實準則 五、實在法證成準則 六、衡平與正義準則 七、拉德布魯赫公式 八、審慎司法 附錄一 自然推理系統PN 附錄二 自然推理系統QN 練習題 主要參考文獻 第一版後記 ...
第二章、第三章和第四章所討論的問題,屬於命題邏輯的範圍。就命題邏輯而言,簡單、基本的東西就是命題聯結詞,所以第二章就從命題聯結詞講起。第三、四章討論命題演算,它是命題邏輯的形式化、系統化。命題演算包括公理系統和自然推理系統,這兩章對兩大系統都作了簡明扼要的介紹。第五章、第六章和第七章討論...
《法理邏輯基礎》是2005年10月1日中山大學出版社出版的圖書。內容簡介 本書涉及了邏輯學和法學兩個領域,屬於邏輯學學科範疇。它既表述了邏輯學的基本理論,又突出了法律思維的基本特點,取例緊扣法學知識。本書共11章,主要介紹了概念,命題,基本規律,推理和論證,簡單命題推理,複合命題推理,命題和謂詞的自然推...
第四章介紹關係的邏輯性質,關係命題的結構及其與性質命題的區別,關係推理的基礎知識及演算。第五章介紹模態命題,模態推理的本質、類型以及幾種模態推理的規則。第六章介紹複合命題的實質、特徵與種類及以複合命題為前提的演繹推理的各種形式結構與規則。第七章介紹命題邏輯判定推理有效性的方法。命題自然推理的規則及...
四、量化推理式 第三節 量化自然推理 一、量化自然推理概述 二、全稱量詞的規則 三、存在量詞的規則 四、量詞交換的規則 五、量詞規則總結 六、量化推理式的無效性的判定 七、量化自然推理實例分析 第四節 邏輯定理 一、邏輯定理:普遍有效式 二、邏輯定理引入規則 三、若干重要的邏輯定理 第五節二元關係的若干...
第四節 謂詞邏輯推理的規則 一、關於量詞的推理規則 二、謂詞邏輯推理的形式演算 三、對推理規則的限制 四、謂詞邏輯的自然推理系統 第五節 帶等詞的謂詞邏輯 第五章 模態邏輯 第一節 模態邏輯概述 一、模態和模態邏輯 二、模態命題的符號化 三、模態命題的邏輯性質 第二節 傳統模態邏輯 一、基本模態命題之間...
第四節 基本命題推理 第五章 命題邏輯(下)——一般命題推理及其系統 第一節 命題公式 第二節 判別命題公式種類的方法 第三節 範式 第四節 一般命題推理有效性的判定 第五節 命題自然推理 第六節 命題邏輯系統 第六章 謂詞邏輯 第一節 謂詞邏輯的基本概念 第二節 直言命題的謂詞形式 第三節 謂詞公式 第...
王夫之推出“比類相關”的推理方法:“或始同而終異,或始異而終同,比類相關,乃知此物所以所彼物之利。”(《張子正蒙注》)在儒學象類論發展的過程中,“比類”的推理方法在自然研究中得到廣泛的套用。沈括創立堆積術,宋應星提出聲波說,是“比類”方法成功套用的典型。在傳統醫學中有成功的套用,也有牽強...