Package org.tweetyproject.arg.aspic.ruleformulagenerator

Class RuleFormulaGenerator<T extends Invertable>

java.lang.Object

org.tweetyproject.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 Object

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.

Author:

Nils Geilen

Constructor Summary

Constructors

Constructor	Description
RuleFormulaGenerator()

Method Summary

Modifier and Type	Method	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

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

Constructor Details

RuleFormulaGenerator

public RuleFormulaGenerator()

Method Details

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