結構化論辯系統——限制性反駁和非限制性反駁
摘要：近年來，形式論辯研究在人工智能領域受到越來越多的關注。形式論辯研究的目標之一是溝通人類推理和機器推理，為實現這一目的，近年來多個結構化論辯系統被提出，如ABA、ASPIC+、ASPIC??等。不同的研究在系統設定上有不同的選擇，本文關注的是對論證間反駁關系定義的兩種不同選擇：限制性反駁和非限制性反駁。為了驗證哪種選擇更符合人類推理直覺，本文給出了一個實證研究，研究結果顯示非限制性反駁更符合人類直覺。由于非限制性反駁可能導致論辯系統推理結果違反理性公設，這一結論說明目前的結構化論辯形式體系在自然性和合理性的兼顧上還需改進。
注: 保護知識產權,如需閱讀全文請聯系邏輯學研究雜志社
相關推薦
更多
