An algorithm to compute minimally grounded and admissible defence sets in argument systems
作者： Gerard A. W. Vreeswijk
DOI:
关键词:
摘要: This paper presents a query-answering algorithm to compute minimal lines of defence around an individual argument. The returns all such sets together with indication whether the is grounded or admissible. For every argument encountered in search process further indicates that IN, OUT, UNDEC (undecided) according semantics. presentation followed by correctness proof and complexity analysis other than worst cases. already functional visualization tools.
参考文章(18)
Bernhard Nebel, Francesca Toni, Yannis Dimopoulos, Finding admissible and preferred arguments can be very hard principles of knowledge representation and reasoning. pp. 53- 61 ,(2000)
Bob Kanefsky, Peter Cheeseman, William M. Taylor, Where the really hard problems are international joint conference on artificial intelligence. pp. 331- 337 ,(1991)
Simon J. Buckingham Shum, Chad S. Carr, Paul A. Kirschner, Visualizing Argumentation: Software Tools for Collaborative and Educational Sense-Making ,(2012)
Paul E. Dunne, T.J.M. Bench-Capon, Two party immediate response disputes: properties and efficiency Artificial Intelligence. ,vol. 149, pp. 221- 250 ,(2003) , 10.1016/S0004-3702(03)00076-6
H. Jakobovits, D. Vermeir, Dialectic semantics for argumentation frameworks international conference on artificial intelligence and law. pp. 53- 62 ,(1999) , 10.1145/323706.323715
Yannis Dimopoulos, Alberto Torres, Graph theoretical structures in logic programs and default theories Theoretical Computer Science. ,vol. 170, pp. 209- 244 ,(1996) , 10.1016/S0304-3975(96)00004-7
John L. Pollock, How to reason defeasibly Artificial Intelligence. ,vol. 57, pp. 1- 42 ,(1992) , 10.1016/0004-3702(92)90103-5
CHRIS REED, GLENN ROWE, ARAUCARIA: SOFTWARE FOR ARGUMENT ANALYSIS, DIAGRAMMING AND REPRESENTATION International Journal on Artificial Intelligence Tools. ,vol. 13, pp. 961- 979 ,(2004) , 10.1142/S0218213004001922
Carlos Iván Chesñevar, Ana Gabriela Maguitman, Ronald Prescott Loui, Logical models of argument ACM Computing Surveys. ,vol. 32, pp. 337- 383 ,(2000) , 10.1145/371578.371581
Claudette Cayrol, Sylvie Doutre, Jérôme Mengin, On Decision Problems Related to the Preferred Semantics for Argumentation Frameworks Journal of Logic and Computation. ,vol. 13, pp. 377- 403 ,(2003) , 10.1093/LOGCOM/13.3.377