Splitting Argumentation Frameworks: An Empirical Evaluation
作者： Ringo Baumann , Gerhard Brewka , Renata Wong
DOI: 10.1007/978-3-642-29184-5_2
关键词:
摘要: In a recent paper Baumann [1] has shown that splitting results, similar to those known for logic programs under answer set semantics and default logic, can also be obtained Dung argumentation frameworks (AFs). Under certain conditions given AF A split into subparts A1 A2 such extensions of computed by (1) computing an extension E1 A1, (2) modifying based on E1, (3) combining E2 the modified variant A2. this we perform systematic empirical evaluation effects computation extensions. Our study shows performance algorithms may drastically improve when is applied.
springer.com
springerlink.com参考文章(11)
Sanjay Modgil, Martin Caminada, Proof Theories and Algorithms for Abstract Argumentation Frameworks Applied Artificial Intelligence. pp. 105- 129 ,(2009) , 10.1007/978-0-387-98197-0_6
Hudson Turner, Splitting a default theory national conference on artificial intelligence. pp. 645- 651 ,(1996)
Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev, Semi-qualitative Reasoning about Distances: A Preliminary Report Springer US. pp. 37- 56 ,(2000) , 10.1007/3-540-40006-0_4
Ringo Baumann, Splitting an argumentation framework international conference on logic programming. pp. 40- 53 ,(2011) , 10.1007/978-3-642-20895-9_6
Henry Prakken, An abstract framework for argumentation with structured arguments Argument & Computation. ,vol. 1, pp. 93- 124 ,(2010) , 10.1080/19462160903564592
Phan Minh Dung, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n -person games Artificial Intelligence. ,vol. 77, pp. 321- 357 ,(1995) , 10.1016/0004-3702(94)00041-X
Robert Tarjan, Depth-First Search and Linear Graph Algorithms SIAM Journal on Computing. ,vol. 1, pp. 146- 160 ,(1972) , 10.1137/0201010
T.J.M. Bench-Capon, Paul E. Dunne, Argumentation in artificial intelligence Artificial Intelligence. ,vol. 171, pp. 619- 641 ,(2007) , 10.1016/J.ARTINT.2007.05.001
Martin Caminada, On the Issue of Reinstatement in Argumentation Logics in Artificial Intelligence. pp. 111- 123 ,(2006) , 10.1007/11853886_11
Vladimir Lifschitz, Hudson Turner, Splitting a logic program international conference on logic programming. pp. 23- 37 ,(1994)