Package org.tweetyproject.arg.saf.syntax

Class BasicArgument

java.lang.Object

org.tweetyproject.arg.dung.syntax.Argument

org.tweetyproject.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)	Add the given premise to this rule.
void	addPremises(java.util.Collection<? extends Proposition> premises)	Add the given premises to this rule.
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)	Set the conclusion of this rule.

Methods inherited from class org.tweetyproject.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)

Description copied from interface: Rule

Set the conclusion of this rule.

Specified by:

setConclusion in interface Rule<Proposition,Proposition>

Parameters:

conclusion - some formula

addPremise

public void addPremise(Proposition premise)

Description copied from interface: Rule

Add the given premise to this rule.

Specified by:

addPremise in interface Rule<Proposition,Proposition>

Parameters:

premise - some formula

addPremises

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

Description copied from interface: Rule

Add the given premises to this rule.

Specified by:

addPremises in interface Rule<Proposition,Proposition>

Parameters:

premises - some formulas