net.sf.tweety.arg.aspic.ruleformulagenerator

Class RuleFormulaGenerator<T extends Invertable>

java.lang.Object

net.sf.tweety.arg.aspic.ruleformulagenerator.RuleFormulaGenerator<T>

Type Parameters:

T - is the type of the returned formula

Direct Known Subclasses:

FolFormulaGenerator, PlFormulaGenerator

public abstract class RuleFormulaGenerator<T extends Invertable>
extends java.lang.Object

Author:

Nils Geilen This class transforms a defeasible ASPIC inference rule into a corresponding formula, i.e. a word in the language of the conclusion and the premises of that rule, which can be used in the head of an inference rule.

Constructor Summary

Constructors

Constructor and Description
RuleFormulaGenerator()

Method Summary

Modifier and Type	Method and Description
DefeasibleInferenceRule<T>	getInferenceRule(T formula, AspicArgumentationTheory<T> kb) Transforms a formula of type T into a corresponding defeasible ASPIC inference rule form the knowledge base kb
abstract T	getRuleFormula(DefeasibleInferenceRule<T> r) Transforms a defeasible ASPIC inference rule into a corresponding formula of type T

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RuleFormulaGenerator

public RuleFormulaGenerator()

Method Detail

getRuleFormula

public abstract T getRuleFormula(DefeasibleInferenceRule<T> r)

Transforms a defeasible ASPIC inference rule into a corresponding formula of type T

Parameters:

r - is the inferende rule to be transformed

Returns:

a formula of type T

getInferenceRule

public DefeasibleInferenceRule<T> getInferenceRule(T formula,
                                                   AspicArgumentationTheory<T> kb)

Transforms a formula of type T into a corresponding defeasible ASPIC inference rule form the knowledge base kb

Parameters:

formula - is a formula of type T

kb - is the knowledge base the is searched for the rule

Returns:

the corresponding inference rule