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.
It should be noted, therefore, that underlying More's argumentation is a commitment to the belief that matter is essentially passive (capable only of inertial motions), and that only immaterial entities are active.
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.
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).
A Dung argumentation framework is instantiated by arguments and a binary conflict based attack relation, defined by some underlying logical theory.
