Algorithms for argument systems



Nofal, Samer
Algorithms for argument systems. Doctor of Philosophy thesis, University of Liverpool.

[img] PDF
thesis.pdf - Submitted version
Access to this file is embargoed until Unspecified.
Available under License Creative Commons Attribution No Derivatives.

Download (1MB)
[img] PDF
NofalSam_April2013_12173.pdf - Author Accepted Manuscript
Available under License Creative Commons Attribution No Derivatives.

Download (1MB)

Abstract

Argument systems are computational models that enable an artificial intelligent agent to reason via argumentation. Basically, the computations in argument systems can be viewed as search problems. In general, for a wide range of such problems existing algorithms lack five important features. Firstly, there is no comprehensive study that shows which algorithm among existing others is the most efficient in solving a particular problem. Secondly, there is no work that establishes the use of cost-effective heuristics leading to more efficient algorithms. Thirdly, mechanisms for pruning the search space are understudied, and hence, further pruning techniques might be neglected. Fourthly, diverse decision problems, for extended models of argument systems, are left without dedicated algorithms fine-tuned to the specific requirements of the respective extended model. Fifthly, some existing algorithms are presented in a high level that leaves some aspects of the computations unspecified, and therefore, implementations are rendered open to different interpretations. The work presented in this thesis tries to address all these concerns. Concisely, the presented work is centered around a widely studied view of what computationally defines an argument system. According to this view, an argument system is a pair: a set of abstract arguments and a binary relation that captures the conflicting arguments. Then, to resolve an instance of argument systems the acceptable arguments must be decided according to a set of criteria that collectively define the argumentation semantics. For different motivations there are various argumentation semantics. Equally, several proposals in the literature present extended models that stretch the basic two components of an argument system usually by incorporating more elements and/or broadening the nature of the existing components. This work designs algorithms that solve decision problems in the basic form of argument systems as well as in some other extended models. Likewise, new algorithms are developed that deal with different argumentation semantics. We evaluate our algorithms against existing algorithms experimentally where sufficient indications highlight that the new algorithms are superior with respect to their running time.

Item Type: Thesis (Doctor of Philosophy)
Additional Information: Date: 2013-04 (completed)
Subjects: ?? QA75 ??
Divisions: Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User: Symplectic Admin
Date Deposited: 30 Aug 2013 15:39
Last Modified: 16 Dec 2022 04:39
DOI: 10.17638/00012173
Supervisors:
URI: https://livrepository.liverpool.ac.uk/id/eprint/12173