Books Online
Not logged in
- Login
Not Signed In
You are here: Skip Navigation Links

Frontiers in Artificial Intelligence and Applications
Volume 144, 2006
Computational Models of Argument - Proceedings of COMMA 2006
Edited by Paul E. Dunne, Trevor J.M. Bench-Capon
ISBN 978-1-58603-652-2

An algorithm to compute minimally grounded and admissible defence sets in argument systems 109 - 120


Abstract

This paper presents a query-answering algorithm to compute minimal lines of defence around an individual argument. The algorithm returns all such defence sets together with an indication whether the defence is grounded or admissible. For every argument encountered in the search process the algorithm further indicates whether that argument is IN, OUT, or UNDEC (undecided) according to the grounded semantics. The presentation of the algorithm is followed by a correctness proof and a complexity analysis of other than worst cases. The algorithm is already functional in argument analysis and visualization tools.


  Full Text PDF
Navigation
  Home
  Back
  Forward

Article
  Full Text PDF

$20.00 / € 15,00