Uses of Interface
net.sf.tweety.commons.util.rules.Rule
-
-
-
Uses of Rule in net.sf.tweety.arg.aba.syntax
Classes in net.sf.tweety.arg.aba.syntax that implement Rule Modifier and Type Class Description class
AbaRule<T extends Formula>
A common interface for assumptions and inference rules.class
Assumption<T extends Formula>
This class models an assumption of an ABA theory.class
InferenceRule<T extends Formula>
This class models an inference rule from an ABA theory. -
Uses of Rule in net.sf.tweety.arg.aspic.syntax
Classes in net.sf.tweety.arg.aspic.syntax that implement Rule Modifier and Type Class Description class
DefeasibleInferenceRule<T extends Invertable>
class
InferenceRule<T extends Invertable>
class
StrictInferenceRule<T extends Invertable>
-
Uses of Rule in net.sf.tweety.arg.deductive.syntax
Classes in net.sf.tweety.arg.deductive.syntax that implement Rule Modifier and Type Class Description class
SimplePlRule
Basic data structure for handling simple rule -
Uses of Rule in net.sf.tweety.arg.delp.syntax
Classes in net.sf.tweety.arg.delp.syntax that implement Rule Modifier and Type Class Description class
DefeasibleRule
This class models a defeasible rule in defeasible logic programming.class
DelpFact
This class implements a fact in defeasible logic programming which encapsulates a literal.class
DelpRule
This method is the superclass for both a strict rule and a defeasible rule in defeasible logic programming and captures their common attributes and methods.class
StrictRule
This class models a strict rule in defeasible logic programming. -
Uses of Rule in net.sf.tweety.arg.saf.syntax
Classes in net.sf.tweety.arg.saf.syntax that implement Rule Modifier and Type Class Description class
BasicArgument
This class models a basic argument in structured argumentation frameworks, i.e. -
Uses of Rule in net.sf.tweety.commons.util.rules
Classes in net.sf.tweety.commons.util.rules with type parameters of type Rule Modifier and Type Class Description class
Derivation<T extends Rule<?,?>>
This class models a derivation, i.e.class
RuleSet<T extends Rule<?,?>>
This class represents a set of rules and provides several auxiliary methods for accessing such a set.Methods in net.sf.tweety.commons.util.rules with type parameters of type Rule Modifier and Type Method Description static <S extends Rule<?,?>>
java.util.Set<Derivation<S>>Derivation. allDerivations(java.util.Collection<? extends S> rules)
Returns the set of all possible derivations from the set of rules.static <S extends Rule<?,?>>
java.util.Set<Derivation<S>>Derivation. allDerivations(java.util.Collection<? extends S> rules, Formula conclusion)
Returns the set of all possible derivations with the given conclusion from the set of rules. -
Uses of Rule in net.sf.tweety.logics.cl.syntax
Classes in net.sf.tweety.logics.cl.syntax that implement Rule Modifier and Type Class Description class
Conditional
This class represents a basic conditional (B|A) with formulas A,B. -
Uses of Rule in net.sf.tweety.logics.commons.syntax.interfaces
Classes in net.sf.tweety.logics.commons.syntax.interfaces with type parameters of type Rule Modifier and Type Interface Description interface
LogicProgram<C extends Formula,P extends Formula,T extends Rule<?,?>>
An interface for a logic program, which is a set of rules. -
Uses of Rule in net.sf.tweety.logics.pcl.syntax
Classes in net.sf.tweety.logics.pcl.syntax that implement Rule Modifier and Type Class Description class
ProbabilisticConditional
This class represents a probabilistic conditional of the form (B|A)[p] with formulas A,B and a probability p. -
Uses of Rule in net.sf.tweety.logics.rcl.syntax
Classes in net.sf.tweety.logics.rcl.syntax that implement Rule Modifier and Type Class Description class
RelationalConditional
Instances of this class represent relational conditionals. -
Uses of Rule in net.sf.tweety.logics.rpcl.syntax
Classes in net.sf.tweety.logics.rpcl.syntax that implement Rule Modifier and Type Class Description class
RelationalProbabilisticConditional
This class represents a relational probabilistic conditional, i.e. -
Uses of Rule in net.sf.tweety.logics.translators
Methods in net.sf.tweety.logics.translators that return Rule Modifier and Type Method Description Rule<?,?>
Translator. translateRule(Rule<? extends SimpleLogicalFormula,? extends SimpleLogicalFormula> source, java.lang.Class<?> ruleCls)
Methods in net.sf.tweety.logics.translators with parameters of type Rule Modifier and Type Method Description Rule<?,?>
Translator. translateRule(Rule<? extends SimpleLogicalFormula,? extends SimpleLogicalFormula> source, java.lang.Class<?> ruleCls)
-
Uses of Rule in net.sf.tweety.lp.asp.syntax
Classes in net.sf.tweety.lp.asp.syntax that implement Rule Modifier and Type Class Description class
ASPRule
This class models a rule in ASP. -
Uses of Rule in net.sf.tweety.lp.nlp.syntax
Classes in net.sf.tweety.lp.nlp.syntax that implement Rule Modifier and Type Class Description class
NLPRule
A rule of a nested logic program.
-