午夜亚洲国产日本电影一区二区三区,九九久久99综合一区二区,国产一级毛片视频,草莓视频在线观看精品最新

加急見刊

結(jié)構(gòu)化論辯系統(tǒng)——限制性反駁和非限制性反駁

余喆; 徐康; 廖備水 浙江大學(xué)哲學(xué)系; 浙江大學(xué)語言與認(rèn)知研究中心; 浙江水利水電學(xué)院

摘要：近年來，形式論辯研究在人工智能領(lǐng)域受到越來越多的關(guān)注。形式論辯研究的目標(biāo)之一是溝通人類推理和機(jī)器推理，為實現(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)。

注: 保護(hù)知識產(chǎn)權(quán),如需閱讀全文請聯(lián)系邏輯學(xué)研究雜志社