Package org.tweetyproject.arg.deductive.syntax

Class SimplePlLogicArgument

java.lang.Object

org.tweetyproject.arg.dung.syntax.Argument

org.tweetyproject.arg.deductive.syntax.SimplePlLogicArgument

All Implemented Interfaces:

Comparable<Argument>, DungEntity, Formula, Node

public class SimplePlLogicArgument
extends Argument

Represents a simple propositional logic argument in deductive argumentation. The argument consists of a set of supporting rules and a claim, which is a propositional logic formula (PlFormula). This class follows the structure defined in the paper "A Comparison of Formal Argumentation Systems" by Hunter and Caminada (2013). This class extends Argument and stores a set of supporting rules and a single claim derived from the support.

Author:

Federico Cerutti (federico.cerutti(at)acm.org)

Constructor Summary

Constructors

Constructor	Description
SimplePlLogicArgument(Collection<SimplePlRule> _support, PlFormula _claim)	Constructs a simple propositional logic argument with the given support and claim.
SimplePlLogicArgument(Derivation<SimplePlRule> derivation)	Constructs a simple propositional logic argument from a derivation.

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)	Checks for equality between this argument and another object.
PlFormula	getClaim()	Returns the claim of this argument, which is a propositional logic formula.
Collection<? extends SimplePlRule>	getSupport()	Returns the support of this argument, i.e., the set of rules that provide the basis for the claim.
int	hashCode()	Computes the hash code for this argument based on the support.
String	toString()	Returns a string representation

Methods inherited from class org.tweetyproject.arg.dung.syntax.Argument

compareTo, getLdoArgument, getLdoFormula, getName, getSignature, setName

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Details

SimplePlLogicArgument

public SimplePlLogicArgument(Collection<SimplePlRule> _support,
 PlFormula _claim)

Constructs a simple propositional logic argument with the given support and claim.

Parameters:

_support - The collection of supporting rules for this argument.

_claim - The propositional logic formula representing the claim.

SimplePlLogicArgument

public SimplePlLogicArgument(Derivation<SimplePlRule> derivation)

Constructs a simple propositional logic argument from a derivation. The derivation consists of a set of rules (support) and a conclusion (claim).

Parameters:

derivation - The derivation from which the argument is created.

Method Details

getSupport

public Collection<? extends SimplePlRule> getSupport()

Returns the support of this argument, i.e., the set of rules that provide the basis for the claim.

Returns:

The collection of supporting rules.

getClaim

public PlFormula getClaim()

Returns the claim of this argument, which is a propositional logic formula.

Returns:

The propositional logic formula representing the claim.

toString

public String toString()

Returns a string representation

Overrides:

toString in class Argument

Returns:

The string representation of this argument.

hashCode

public int hashCode()

Computes the hash code for this argument based on the support.

Overrides:

hashCode in class Argument

Returns:

The hash code of this argument.

equals

public boolean equals(Object obj)

Checks for equality between this argument and another object. Two arguments are considered equal if their claims are equal and their support sets are equal.

Overrides:

equals in class Argument

Parameters:

obj - The object to compare this argument to.

Returns:

True if the objects are equal, false otherwise.