資源描述：
《相關(guān)推論與強(qiáng)相關(guān)邏輯研究》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在工程資料-天天文庫。
1、相關(guān)推論與強(qiáng)相關(guān)邏輯研究1何謂推論? 推論(reasoning)是從前提(為結(jié)論提供證據(jù)的已知事實(shí)或預(yù)設(shè)假說)推導(dǎo)出新結(jié)論的過程，是從已知或預(yù)設(shè)(即前提)到達(dá)未知(即新結(jié)論)從而獲取新知識(shí)、擴(kuò)展已有知識(shí)的過程。一個(gè)推論過程一般由一系列被稱為推斷(argument)或者推理(inference)的步驟有序構(gòu)成。人們所掌握的知識(shí)，尤其是抽象知識(shí)，并非所有都是自己親身經(jīng)歷過后從直接的經(jīng)驗(yàn)總結(jié)得出的，而大部分都是根據(jù)已知知識(shí)通過推論而得到的?？梢哉f，如果沒有推論這一手段，人類就不可能把知識(shí)寶庫擴(kuò)展到今天如此豐富的地步?！ ∨e一個(gè)用自然語言表達(dá)的推論的簡單例子?！ ?1)所有的有理數(shù)都可以表
2、達(dá)為一對整數(shù)之比?！ ?2)π不能表達(dá)為一對整數(shù)之比?！ ∷浴 ?3)π不是一個(gè)有理數(shù)?！ ?4)π是一個(gè)數(shù)。 所以 (5)至少存在一個(gè)非有理數(shù)(無理數(shù))?！ ∵@里，用一步推理先從前提(1)和(2)推出(3)作為結(jié)論，又用一步推理從前提(3)和(4)推出(5)作為結(jié)論，這樣的兩步推理構(gòu)成一個(gè)完整的推論，從前提(1)，(2)和(4)推出結(jié)論(5)?！ ⊥普摰哪芰?，尤其是抽象推論的能力(一般動(dòng)物并不具備)，無疑是人類智能最本質(zhì)的特征之一，因而應(yīng)該是任何以實(shí)現(xiàn)人工人類智能(本文用此名詞以區(qū)別人工智能所實(shí)現(xiàn)的動(dòng)物智能)為目標(biāo)的計(jì)算智能系統(tǒng)都具備的必不可少的功能。說一個(gè)
3、沒有具備推論能力的計(jì)算智能系統(tǒng)實(shí)現(xiàn)了人工人類智能，顯然有言過其實(shí)之嫌。盡管推論及其自動(dòng)化曾經(jīng)是計(jì)算機(jī)科學(xué)和人工智能科學(xué)中最活躍的研究課題，但關(guān)于推論的基本性質(zhì)還有許多未解決問題需要探究，關(guān)于推論在計(jì)算機(jī)上的有效實(shí)現(xiàn)也還仍然有許多重要課題需要實(shí)踐?！ ?何謂邏輯學(xué)? 在上述有關(guān)推論的一般哲學(xué)定義中，盡管說推論的前提要為其結(jié)論提供證據(jù)，但一個(gè)具體推論的前提是否實(shí)際上真正有效地為其結(jié)論提供了證據(jù)是獨(dú)立于一般定義的另一件事，也就是說，確實(shí)提供或者實(shí)際沒有提供都是可能的。因此就需要某種確切標(biāo)準(zhǔn)來區(qū)分鑒別正確、有效推論和不正確、非有效推論。邏輯學(xué)正是研究推論正確性或有效性學(xué)問的學(xué)科。邏輯學(xué)首先
4、是關(guān)于推論(推理)的學(xué)問，它探索和研究究竟是什么構(gòu)成了正確、有效的推論，探索和研究用于區(qū)分鑒別正確、有效的推論和不正確、非有效的推論的一般原理和標(biāo)準(zhǔn)，探索和研究如何進(jìn)行正確、有效推論而避免不正確、非有效推論的一般方法論。因此，歷史上，邏輯學(xué)從來就被稱之為科學(xué)之科學(xué)，技藝之技藝(司各脫，13世紀(jì))、所有其他科學(xué)之基礎(chǔ)(塔斯基，1941)、先于所有其他科學(xué)，以其思想和原理支撐所有科學(xué)之科學(xué)(哥德爾，1944)?！ ×硪环矫妫诟鞣N各樣推論的前提和結(jié)論之間可以有多種不同種類的證據(jù)關(guān)系存在，而對不同的證據(jù)關(guān)系的認(rèn)同與否就可以引導(dǎo)出不同的正確有效性標(biāo)準(zhǔn)。任何科學(xué)都是基于一些基本假設(shè)和基本原理建
5、立起來的，一旦其中某個(gè)假設(shè)或原理被一個(gè)新的假設(shè)或原理所替換，可能會(huì)給予該門科學(xué)巨大影響，以至于產(chǎn)生一個(gè)全新分支。邏輯學(xué)也不例外，關(guān)于基本假設(shè)和基本原理的不同哲學(xué)動(dòng)機(jī)可以引導(dǎo)出不同的邏輯有效性標(biāo)準(zhǔn)和邏輯系統(tǒng)?！ ?作為邏輯學(xué)之核心的條件關(guān)系 在邏輯學(xué)中，一個(gè)形式為如果(若，if)，那么(則，then)的句子通常被稱為條件命題(conditionalposition)或者簡單地被稱為條件句(conditional);它用于斷定在句子的如果(若，if)部分和那么(則，then)部分之間存在的某種充分條件關(guān)系。在一般情況下，一個(gè)條件句必然涉及由邏輯連接詞(connective)如果，那么，
6、也被稱為條件關(guān)系(conditionalrelation)，來連接起來的兩個(gè)部分，它們分別被稱之為該條件句的前件(antecedent)和后件(consequent)。一個(gè)條件句的真實(shí)性不僅取決于其前件和后件的真實(shí)性，而在本質(zhì)上更取決于兩者之間的必然相關(guān)性和充分條件性。條件關(guān)系概念在推論中起最基本的作用，因?yàn)槿魏瓮普撔问蕉急仨毣谒?，所以，條件關(guān)系概念一直都是邏輯學(xué)研究中最重要的課題，從而被認(rèn)為是邏輯學(xué)的核心。 當(dāng)研究和使用邏輯時(shí)，條件關(guān)系概念既會(huì)出現(xiàn)在對象邏輯(即作為對象，正在研究的邏輯)之中也會(huì)出現(xiàn)在元邏輯(即作為工具，正在用于研究對象邏輯的邏輯)之中。在對象邏輯中，通常是在其
7、形式語言中有一個(gè)用來表示條件關(guān)系概念的連接詞;同時(shí)，條件關(guān)系概念也通常用一個(gè)元語言符號(hào)表示，在該對象邏輯的證明論和模型論中用于描述邏輯后承(logicalconsequence)關(guān)系。另一方面，在元邏輯中，條件關(guān)系概念，通常會(huì)以自然語言形式表示，用于定義關(guān)于對象邏輯的各種元概念和描述關(guān)于對象邏輯的各種元定理?！ 膶ο筮壿嫷挠^點(diǎn)來看，有兩種類型的條件句，一類是經(jīng)驗(yàn)的條件句，另一類是邏輯的條件句。對于一個(gè)給定的對象邏輯，如果一個(gè)條件句的真值，從該邏輯的意義來
