Package net.sf.tweety.arg.saf.syntax

Class BasicArgument

java.lang.Object

net.sf.tweety.arg.dung.syntax.Argument

net.sf.tweety.arg.saf.syntax.BasicArgument

All Implemented Interfaces:

DungEntity, Formula, Rule<Proposition,Proposition>, Node

public class BasicArgument
extends Argument
implements Rule<Proposition,Proposition>

This class models a basic argument in structured argumentation frameworks, i.e. a claim (a proposition) together with a support (a set of propositions) where the claim is not in the support.

Author:

Matthias Thimm, Tim Janus

Constructor Summary

Constructors

Constructor	Description
BasicArgument(java.lang.String name)	Deprecated.
BasicArgument(Proposition claim)	Creates a new basic argument with the given claim and empty support.
BasicArgument(Proposition claim, java.util.Set<Proposition> support)	Creates a new basic argument with the given claim and the given support.

Method Summary

Modifier and Type	Method	Description
void	addPremise(Proposition premise)
void	addPremises(java.util.Collection<? extends Proposition> premises)
Proposition	getConclusion()	Returns the conclusion of this rule.
java.util.Set<Proposition>	getPremise()	Returns the premise of this rule.
PlSignature	getSignature()	Returns the signature of the language of this formula.
boolean	isConstraint()
boolean	isFact()
void	setConclusion(Proposition conclusion)

Methods inherited from class net.sf.tweety.arg.dung.syntax.Argument

equals, getLdoArgument, getLdoFormula, getName, hashCode, setName, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

BasicArgument

@Deprecated
public BasicArgument(java.lang.String name)

Deprecated.

Deprecated for basic arguments.

Parameters:

name - the name of the argument

BasicArgument

public BasicArgument(Proposition claim)

Creates a new basic argument with the given claim and empty support.

Parameters:

claim - a proposition.

BasicArgument

public BasicArgument(Proposition claim,
                     java.util.Set<Proposition> support)

Creates a new basic argument with the given claim and the given support.

Parameters:

claim - a proposition

support - a set of propositions

Method Detail

getConclusion

public Proposition getConclusion()

Description copied from interface: Rule

Returns the conclusion of this rule.

Specified by:

getConclusion in interface Rule<Proposition,Proposition>

Returns:

the conclusion of this rule.

getPremise

public java.util.Set<Proposition> getPremise()

Description copied from interface: Rule

Returns the premise of this rule.

Specified by:

getPremise in interface Rule<Proposition,Proposition>

Returns:

the premise of this rule.

getSignature

public PlSignature getSignature()

Description copied from interface: Formula

Returns the signature of the language of this formula.

Specified by:

getSignature in interface Formula

Specified by:

getSignature in interface Rule<Proposition,Proposition>

Overrides:

getSignature in class Argument

Returns:

the signature of the language of this formula.

isFact

public boolean isFact()

Specified by:

isFact in interface Rule<Proposition,Proposition>

isConstraint

public boolean isConstraint()

Specified by:

isConstraint in interface Rule<Proposition,Proposition>

setConclusion

public void setConclusion(Proposition conclusion)

Specified by:

setConclusion in interface Rule<Proposition,Proposition>

addPremise

public void addPremise(Proposition premise)

Specified by:

addPremise in interface Rule<Proposition,Proposition>

addPremises

public void addPremises(java.util.Collection<? extends Proposition> premises)

Specified by:

addPremises in interface Rule<Proposition,Proposition>