Uses of Class
net.sf.tweety.arg.aspic.syntax.InferenceRule
-
Packages that use InferenceRule Package Description net.sf.tweety.arg.aspic.order net.sf.tweety.arg.aspic.reasoner net.sf.tweety.arg.aspic.syntax -
-
Uses of InferenceRule in net.sf.tweety.arg.aspic.order
Fields in net.sf.tweety.arg.aspic.order with type parameters of type InferenceRule Modifier and Type Field Description private java.util.Comparator<java.util.Collection<InferenceRule<T>>>
LastLinkOrder. premset_comp
private java.util.Comparator<java.util.Collection<InferenceRule<T>>>
WeakestLinkOrder. premset_comp
(package private) java.util.Comparator<InferenceRule<T>>
SimpleAspicOrder. rule_comp
private java.util.Comparator<java.util.Collection<InferenceRule<T>>>
LastLinkOrder. ruleset_comp
Comparators for defeasible rules and ordinary premisesprivate java.util.Comparator<java.util.Collection<InferenceRule<T>>>
WeakestLinkOrder. ruleset_comp
Comparators for defeasible rules and ordinary premisesMethods in net.sf.tweety.arg.aspic.order with parameters of type InferenceRule Modifier and Type Method Description int
RuleComparator. compare(InferenceRule<T> o1, InferenceRule<T> o2)
Constructor parameters in net.sf.tweety.arg.aspic.order with type arguments of type InferenceRule Constructor Description LastLinkOrder(java.util.Comparator<InferenceRule<T>> rule_comp, java.util.Comparator<InferenceRule<T>> prem_comp, boolean elitist)
Constructs a new last link orderingWeakestLinkOrder(java.util.Comparator<InferenceRule<T>> rule_comp, java.util.Comparator<InferenceRule<T>> prem_comp, boolean elitist)
Constructs a new weakest link ordering -
Uses of InferenceRule in net.sf.tweety.arg.aspic.reasoner
Method parameters in net.sf.tweety.arg.aspic.reasoner with type arguments of type InferenceRule Modifier and Type Method Description private AspicArgument<T>
RandomAspicReasoner. sampleArgument(java.util.Map<T,java.util.List<InferenceRule<T>>> rules)
Samples a single ASPIC argument via a random search.private AspicArgument<T>
RandomAspicReasoner. sampleArgument(java.util.Map<T,java.util.List<InferenceRule<T>>> rules, T conclusion, java.util.Set<T> conclusions)
Samples a single ASPIC argument for the given conclusion via a random search. -
Uses of InferenceRule in net.sf.tweety.arg.aspic.syntax
Subclasses of InferenceRule in net.sf.tweety.arg.aspic.syntax Modifier and Type Class Description class
DefeasibleInferenceRule<T extends Invertable>
class
StrictInferenceRule<T extends Invertable>
Fields in net.sf.tweety.arg.aspic.syntax declared as InferenceRule Modifier and Type Field Description private InferenceRule<T>
AspicArgument. toprule
The srgument's top ruleMethods in net.sf.tweety.arg.aspic.syntax that return InferenceRule Modifier and Type Method Description abstract InferenceRule<T>
InferenceRule. clone()
InferenceRule<T>
InferenceRule. exchange(Term<?> v, Term<?> t)
InferenceRule<T>
AspicArgument. getTopRule()
Retruns the TopRule according to ASPIC+ specificationInferenceRule<T>
InferenceRule. substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)
abstract InferenceRule<T>
InferenceRule. substitute(Term<?> v, Term<?> t)
Methods in net.sf.tweety.arg.aspic.syntax that return types with arguments of type InferenceRule Modifier and Type Method Description java.util.Set<InferenceRule<T>>
InferenceRule. allGroundInstances(java.util.Set<Constant> constants)
java.util.Collection<InferenceRule<T>>
AspicArgument. getAllRules()
Returns all rules appearing in this argument.java.util.Collection<InferenceRule<T>>
AspicArgument. getDefeasibleRules()
Returns the DefRules according to ASPIC+ specification, i.e.java.util.Collection<InferenceRule<T>>
AspicArgument. getListLastDefeasibleRules()
Returns all defeasible subrules of the level where the first defeasible subrule appears, i.e.java.util.Set<InferenceRule<T>>
AspicArgumentationTheory. groundFolRules()
Methods in net.sf.tweety.arg.aspic.syntax with parameters of type InferenceRule Modifier and Type Method Description void
AspicArgumentationTheory. addRule(InferenceRule<T> rule)
Adds an additional inference rulevoid
AspicArgument. setTopRule(InferenceRule<T> toprule)
Changes the TopRuleConstructors in net.sf.tweety.arg.aspic.syntax with parameters of type InferenceRule Constructor Description AspicArgument(InferenceRule<T> toprule)
Creates an empty ArgumentAspicArgument(InferenceRule<T> toprule, java.util.Collection<AspicArgument<T>> directsubs)
Creates an empty Argument
-