Dialectical Proof Theories for the Credulous Preferred Semantics of Argumentation Frameworks
作者： Claudette Cayrol , Sylvie Doutre , Jérôme Mengin
关键词:
摘要: Argumentation is a natural form of reasoning, in which two agents cooperate order to establish the validity given argument that could be used deduce some conclusion interest. An interesting semantics for logical systems argumentation Dung's "preferred semantics", ameliorates ways better-known stable semantics. In this paper, we present proof theories credulous decision problem associated with preferred semantics: at least one extension framework? Our improve on by [VP00], sense usually shorter our system.
springer.com
sci-hub.st 参考文章(16)
Leila Amgoud, Claudette Cayrol, A Reasoning Model Based on the Production of Acceptable Arguments Annals of Mathematics and Artificial Intelligence. ,vol. 34, pp. 197- 215 ,(2002) , 10.1023/A:1014490210693
Matthew L. Ginsberg, A circumscriptive theorem prover Artificial Intelligence. ,vol. 39, pp. 209- 230 ,(1989) , 10.1016/0004-3702(89)90026-X
Gerard A. W. Vreeswik, Henry Prakken, Credulous and Sceptical Argument Games for Preferred Semantics Lecture Notes in Computer Science. pp. 239- 253 ,(2000) , 10.1007/3-540-40006-0_17
C. Berge, Graphs and hypergraphs ,(1973)
Sylvie Doutre, Jérôme Mengin, Preferred Extensions of Argumentation Frameworks: Query Answering and Computation international joint conference on automated reasoning. pp. 272- 288 ,(2001) , 10.1007/3-540-45744-5_20
Yannis Dimopoulos, Vangelis Magirou, Christos H. Papadimitriou, On kernels, defaults and even graphs Annals of Mathematics and Artificial Intelligence. ,vol. 20, pp. 1- 12 ,(1997) , 10.1023/A:1018972125742
H. Jakobovits, D. Vermeir, Dialectic semantics for argumentation frameworks international conference on artificial intelligence and law. pp. 53- 62 ,(1999) , 10.1145/323706.323715
David Poole, Explanation and prediction: an architecture for default and abductive reasoning computational intelligence. ,vol. 5, pp. 97- 110 ,(1989) , 10.1111/J.1467-8640.1989.TB00319.X
Teodor C. Przymusinski, An algorithm to compute circumscription Artificial Intelligence. ,vol. 38, pp. 49- 73 ,(1989) , 10.1016/0004-3702(89)90067-2
A. Bondarenko, P.M. Dung, R.A. Kowalski, F. Toni, An abstract, argumentation-theoretic approach to default reasoning Artificial Intelligence. ,vol. 93, pp. 63- 101 ,(1997) , 10.1016/S0004-3702(97)00015-5