public final class Regel extends java.lang.Object implements Ausdruck<TermLiteral>
Eine Regel wird in der Form "Wenn Prämisse dann Konklusion mit Sicherheitsgrad" angegeben. Die Prämisse besteht aus belieben Operationen auf Termen die eine Zugehörigkeiten bestimmen. Zusammen mit dem Sicherheitsgrad bildet die bestimmte Zugehörigkeit die Zugehörigkeit für den Term der Konklusion.
Modifier and Type | Class and Description |
---|---|
static class |
Regel.RegelBuilder
Builder für eine Regel.
|
Modifier and Type | Method and Description |
---|---|
TermVariable |
getKonklusion() |
Ausdruck<Zugehoerigkeit> |
getPraemisse() |
Sicherheitsgrad |
getSicherheitsgrad() |
TermLiteral |
interpretiere(java.util.Map<java.lang.String,?> kontext) |
java.lang.String |
toString() |
static Regel.RegelBuilder |
wenn(Ausdruck<Zugehoerigkeit> praemisse) |
public static Regel.RegelBuilder wenn(Ausdruck<Zugehoerigkeit> praemisse)
public Ausdruck<Zugehoerigkeit> getPraemisse()
public TermVariable getKonklusion()
public Sicherheitsgrad getSicherheitsgrad()
public TermLiteral interpretiere(java.util.Map<java.lang.String,?> kontext)
interpretiere
in interface Ausdruck<TermLiteral>
public java.lang.String toString()
toString
in class java.lang.Object