In this paper we introduce the use of Argumentation in an experimental Agent-mediated platform – named CARREL—in the field of organ transplantation. Our aim is to introduce the use of Case-Based Reasoning in Argumentation when an extraction team is about to discard an organ to learn about the process and if possible to suggest an alternative assignation. This is an attempt to use technology to ...

In this paper, we investigate the pondered selection of innovative software verification technology in the safety-critical domain and its implications. Verification tools perform analyses, testing or simulation activities. The compliance of the techniques implemented by these tools to fulfill standard-mandated objectives (i.e., to be means of compliance in the context of DO-178C and related sup...

A process, based on argumentation theory, is described for classifying very noisy data. More specifically a process founded on a concept called “arguing from experience” is described where by several software agents “argue” about the classification of a new example given individual “case bases” containing previously classified examples. Two “arguing from experience” protocols are described: PAD...

An assurance case is a body of evidence organized into an argument demonstrating that some claim about a system holds, i.e., is assured. An assurance case is needed when it is important to show that a system exhibits some complex property such as safety, security, or reliability. In this article, our objective is to explain an approach to documenting an assurance case for system security, i.e.,...

In situ hybridisation gene expression information helps biologists identify where a gene is expressed. However, the databases that republish the experimental information are often both incomplete and inconsistent. This paper examines a system, Argudas, designed to help tackle these issues. Argudas is an evolution of an existing system, and so that system is reviewed as a means of both explainin...

To its advocates, posthuman enhancement represents the pinnacle of what contemporary humanist scientific and technological endeavour can achieve; to its detractors, it has come to represent the fullest realisation of human technological folly. But while it is perhaps unsurprising that such a contentious, emotive and seemingly bi-polar issue has resulted in a scramble to arms, what is a surprise...