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

Complexity Properties of Restricted Abstract Argument Systems 85 - 96


Abstract

One difficulty that arises in abstract argument systems is that many natural questions regarding argument acceptability are, in general, computationally intractable having been classified as complete for classes such as NP, CO-NP, and Πp2. In consequence, a number of researchers have considered methods for specialising the structure of such systems so as to identify classes for which efficient decision processes exist. In this paper the effect of a number of graph-theoretic restrictions is considered. For the class of bipartite graphs, it is shown that determining the acceptability status of a specific argument can be accomplished in polynomial time under both credulous and sceptical semantics. In contrast to these positive results, however, deciding whether an arbitrary set of arguments is “collectively acceptable” remains NP–complete in bipartite systems. In addition, a construction is presented by means of which questions posed of arguments in any given finite argument system may be expressed as questions within a related system in which every argument attacks and is attacked by at most two arguments. It follows that bounding the number of attacks on individual arguments is unlikely to produce a computationally more tractable environment.


  Full Text PDF
Navigation
  Home
  Back
  Forward

Article
  Full Text PDF

$20.00 / € 15,00