近年來,形式論辯研究在人工智能領(lǐng)域受到越來越多的關(guān)注。形式論辯研究的目標(biāo)之一是溝通人類推理和機器推理,為實現(xiàn)這一目的,近年來多個結(jié)構(gòu)化論辯系統(tǒng)被提出,如ABA、ASPIC⁺、ASPIC^-等。不同的研究在系統(tǒng)設(shè)定上有不同的選擇,本文關(guān)注的是對論證間反駁關(guān)系定義的兩種不同選擇:限制性反駁和非限制性反駁。為了驗證哪種選擇更符合人類推理直覺,本文給出了一個實證研究,研究結(jié)果顯示非限制性反駁更符合人類直覺。由于非限制性反駁可能導(dǎo)致論辯系統(tǒng)推理結(jié)果違反理性公設(shè),這一結(jié)論說明目前的結(jié)構(gòu)化論辯形式體系在自然性和合理性的兼顧上還需改進(jìn)。 

【文章頁數(shù)】：15 頁

【文章目錄】：
1 Introduction
2 Formal Argumentation Systems:Restricted Rebut vs.Unrestricted Rebut
    2.1 ASPIC+and ASPIC-
    2.2 Abstact argumenation:eveluating the status of arguments
    2.3 Properties of structured argumenation systems
3 Empirical Study
4 Conclusions


【參考文獻(xiàn)】：
期刊論文
[1]結(jié)構(gòu)化論辯系統(tǒng)分析[J]. 黃華新,應(yīng)騰,廖備水.  自然辯證法研究. 2015(09)
[2]不一致問題與論辯邏輯[J]. 廖備水,黃華新.  學(xué)術(shù)月刊. 2013(06)
[3]論證,論辯,爭論——當(dāng)代論證理論視域中論證概念的雙重維度解讀[J]. 謝耘.  自然辯證法研究. 2007(04)
[4]自然語言論證評價的邏輯分析[J]. 熊明輝.  哲學(xué)研究. 2006(10)
[5]辯論的邏輯分析[J]. 晉榮東.  華東師范大學(xué)學(xué)報(哲學(xué)社會科學(xué)版). 2000(06)



本文編號：3734213