The development of the argumentation theories underlying the systems has culminated in the logical system DefLog that formalizes the interpretation of prima facie justified assumptions.
We propose a formal model for argumentation-based dialogues between agents, using assumption-based argumentation (ABA) as the underlying argumentation framework.
The underlying argumentation theory is Dung's one: each argumentation system gives both a set of arguments and the way they interact (i.e., attack or non-attack) according to the corresponding agent.
The underlying argumentation draws upon a number of issues.
Fortunately, the details of this formalization need not be communicated to the end user and our initial evaluation (see Section 7) adds weight to our view that the underlying argumentation reasoning is accessible and helpful to biologists.
The three assumptions underlying such argumentations are that African migration is: high and increasing; mainly directed towards Europe; and driven by poverty and violence.
And for all the professed feminism scattered throughout, the assumption underlying much of this argumentation seems to be that the world would be a better place if women would simply stay home and care for their own children, do their own housework and tend to their own aging parents without relying on less fortunate women to help.
The concept underlying the "Dynamic Programming Argumentation Reasoning Tool" [42,115] is based on dynamic programming, where the instance is decomposed before solving (see Section 4.3).
Due to the dynamics of underlying theories, argument construction is not a monotonic process, which is different from the existing argumentation framework where arguments are constructed incrementally.
In this paper, we recall briefly the principles underlying the reasoning process, and we detail the main functionalities and the architecture of the argumentation tool.
More specifically, it looks closely at a gene expression case study, creating an appropriate representation of the underlying data and series of rules that are used by a third-party argumentation engine to reason over the query results provided by the mouse gene expression database EMAGE.
