Show simple item record

dc.contributor.advisorRobertson, David
dc.contributor.advisorLee, John
dc.contributor.authorCarbogim, Daniela Vasconcelos
dc.contributor.othergrant no. 200074/97-0en
dc.date.accessioned2004-08-10T15:51:05Z
dc.date.available2004-08-10T15:51:05Z
dc.date.issued2000-07
dc.identifier.urihttp://hdl.handle.net/1842/591
dc.descriptionCentre for Intelligent Systems and their Applications
dc.description.abstractIn this thesis we are concerned with the role of formal argumentation in artificial intelligence, in particular in the field of knowledge engineering. The intuition behind argumentation is that one can reason with imperfect information by constructing and weighing up arguements intended to give support in favour or against alternative conclusions. In dynamic argumentation, such arguements may be revised and strengthened in order yo increase to decrease the acceptability of controversial positions. This thesis studies the theory, architecture, development and applications of formal arguementation systems from the procedural perspective of actually generating argumentation processes. First, the types of problems that can be tackled via the argumentation paradigm in knowledge engineering are characterised. Second, an abstract formal framework are built from an underlying set of axioms, represented here as executatble logic programs. Finally an architecture for dynamic arguementation systems is defined, and domain-specific applications are presented within different domaind, thus grounding problems with very distinctive characteristics into a similar source in argumentation. The methods and definitions desribed in this thesis have been assessed on various bases, including the reconstruction of informal arguements and of arguments captured by existing formalisms, the relation between our framework and these formalisms, and examples of dynamic argumentation applications in the safety-engineering and multi-agent domains.en
dc.contributor.sponsorCNPq (Brazilian Research Council)en
dc.format.extent2682967 bytes
dc.format.extent1451498 bytes
dc.format.mimetypeapplication/postscript
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherUniversity of Edinburgh. College of Science and Engineering. School of Informatics.en
dc.subject.otherformal argumentationen
dc.subject.otherartificial intelligenceen
dc.subject.otherknowledge engineeringen
dc.titleDynamics in Formal Argumentationen
dc.typeThesis or Dissertation
dc.type.qualificationlevelDoctoralen
dc.type.qualificationnamePhD Doctor of Philosophyen


Files in this item

This item appears in the following Collection(s)

Show simple item record