net.sf.tweety.arg.delp.semantics

Class ArgumentCompletion

java.lang.Object

net.sf.tweety.arg.delp.syntax.DelpArgument

net.sf.tweety.arg.delp.semantics.ArgumentCompletion

All Implemented Interfaces:

Formula

class ArgumentCompletion
extends DelpArgument

This class models the completion of an argument in the framework of defeasible logic programming. This class extends DelpArgument by explicitly enumerating the strict rules used in the defeasible derivation of the argument's conclusion. In general, there may exist many argument completions for one argument (if there are several alternative strict rules), but every argument completion uniquely defines the argument. This class is used when computing the generalized specificity between two arguments (class GeneralizedSpecificity), as there, the completed arguments have to be used.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Set<StrictRule>	completion The completion of the argument, i.e., the set of strict rules used in the derivation of the conclusion of the argument.

Constructor Summary

Constructors

Modifier	Constructor and Description
private	ArgumentCompletion(DelpArgument argument) Constructor; initializes this argument completion with the given DeLP argument.

Method Summary

Modifier and Type	Method and Description
private void	addStrictRule(StrictRule srule) add a strict rule to this argument completion
static java.util.Set<ArgumentCompletion>	getCompletions(DelpArgument argument, DefeasibleLogicProgram delp) This static method computes all argument completions for the given parameter argument using the strict rules from the parameter delp
java.util.Set<DelpRule>	getRulesWithHead(FolFormula l) Returns all defeasible rules of the support of this argument with the given literal as head
java.lang.String	toString()

Methods inherited from class net.sf.tweety.arg.delp.syntax.DelpArgument

equals, getAttackOpportunities, getConclusion, getDisagreementSubargument, getSignature, getSupport, hashCode, isStrongSubargumentOf, isSubargumentOf

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

completion

private java.util.Set<StrictRule> completion

The completion of the argument, i.e., the set of strict rules used in the derivation of the conclusion of the argument.

Constructor Detail

ArgumentCompletion

private ArgumentCompletion(DelpArgument argument)

Constructor; initializes this argument completion with the given DeLP argument.

Parameters:

argument - the argument for this completion

Method Detail

getCompletions

public static java.util.Set<ArgumentCompletion> getCompletions(DelpArgument argument,
                                                               DefeasibleLogicProgram delp)

This static method computes all argument completions for the given parameter argument using the strict rules from the parameter delp

Parameters:

argument - a DeLP argument

delp - a defeasible logic program

Returns:

a set of argument completions for argument

getRulesWithHead

public java.util.Set<DelpRule> getRulesWithHead(FolFormula l)

Description copied from class: DelpArgument

Returns all defeasible rules of the support of this argument with the given literal as head

Overrides:

getRulesWithHead in class DelpArgument

Parameters:

l - a literal

Returns:

a set defeasible rules

toString

public java.lang.String toString()

Overrides:

toString in class DelpArgument

addStrictRule

private void addStrictRule(StrictRule srule)

add a strict rule to this argument completion

Parameters:

srule - a strict rule