Package | Description |
---|---|
net.sf.tweety.arg.aspic.parser | |
net.sf.tweety.arg.aspic.ruleformulagenerator |
Modifier and Type | Method and Description |
---|---|
AspicArgumentationTheory<T> |
AspicParser.parseBeliefBase(java.io.Reader reader) |
Modifier and Type | Method and Description |
---|---|
DefeasibleInferenceRule<T> |
RuleFormulaGenerator.getInferenceRule(T formula,
AspicArgumentationTheory<T> kb)
Transforms a formula of type
T into a corresponding
defeasible ASPIC inference rule form the knowledge base kb |