A Default Logic Based Framework for Argumentation
作者： Emanuel Santos , João Pavão Martins
DOI:
关键词:
摘要: We extend the logic-based framework of Besnard and Hunter for Default Logic. present structural sound results that provide a natural extension introduce new concepts enable us to characterize an argument based on its use incomplete information.
参考文章(5)
Anthony Hunter, Making argumentation more believable national conference on artificial intelligence. pp. 269- 274 ,(2004)
Philippe Besnard, Anthony Hunter, A logic-based theory of deductive arguments Artificial Intelligence. ,vol. 128, pp. 203- 235 ,(2001) , 10.1016/S0004-3702(01)00071-6
Anthony Hunter, Philippe Besnard, Practical first-order argumentation national conference on artificial intelligence. pp. 590- 595 ,(2005)
P.M. Dung, R.A. Kowalski, F. Toni, Dialectic proof procedures for assumption-based, admissible argumentation Artificial Intelligence. ,vol. 170, pp. 114- 159 ,(2006) , 10.1016/J.ARTINT.2005.07.002
R. Reiter, A logic for default reasoning Artificial Intelligence. ,vol. 13, pp. 68- 93 ,(1987) , 10.1016/0004-3702(80)90014-4