net.sf.tweety.arg.aspic.ruleformulagenerator

Class FolFormulaGenerator

java.lang.Object

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

net.sf.tweety.arg.aspic.ruleformulagenerator.FolFormulaGenerator

public class FolFormulaGenerator
extends RuleFormulaGenerator<FolFormula>

Author:

Nils Geilen Implements RuleFormulaGenerator for first order logic. If a rule has been given a name, it is employed as an identifier.

Field Summary

Fields

Modifier and Type	Field and Description
(package private) static Predicate	RULE_PREDICATE
(package private) static Sort	sort Constants needed for atom creation

Constructor Summary

Constructors

Constructor and Description
FolFormulaGenerator()

Method Summary

Modifier and Type	Method and Description
FolFormula	getRuleFormula(DefeasibleInferenceRule<FolFormula> r) Transforms a defeasible ASPIC inference rule into a corresponding formula of type T

Methods inherited from class net.sf.tweety.arg.aspic.ruleformulagenerator.RuleFormulaGenerator

getInferenceRule

Methods inherited from class java.lang.Object

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

Field Detail

sort

static final Sort sort

Constants needed for atom creation

RULE_PREDICATE

static final Predicate RULE_PREDICATE

Constructor Detail

FolFormulaGenerator

public FolFormulaGenerator()

Method Detail

getRuleFormula

public FolFormula getRuleFormula(DefeasibleInferenceRule<FolFormula> r)

Description copied from class: RuleFormulaGenerator

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

Specified by:

getRuleFormula in class RuleFormulaGenerator<FolFormula>

Parameters:

r - is the inferende rule to be transformed

Returns:

a formula of type T