Logische Ausdrücke in Java

[raphw]

Hallo zusammen,
ich bin auf der Suche nach einer Klassenbibliothek, die mir erlaubt logische in einer mehrwertigen Aussagenlogik zu formulieren und einfache Term-Berechnungen durchführen. Also im Sinne von

Variable v1 = new Variable("istTag");
Variable v2 = new Variable("Wetter",new String[] {"Sonne", "Regen", "Schnee"});

Term t1 = new Term(v1).neg();
Term t2 = t1.or(new Term(v2));

sollte ein logisches Modell mit den Variablen v1 und v2 mit Wertbereichen [0,1] bzw. [Sonne, Regen, Schnee] darstellen und den Ausdrücken:

t1: not v1
t2 (not v1) or v2

Die genaue Funktionsweise ist mir eigentlich egal. Ich habe nur keine Lust, derartiges komplett selbst zu implementieren, da ich mir gut vorstellen kann, dass es hierzu doch bereits einiges geben müsste. Logik ist ja immerhin ein Grundbereich der Mathematik, der sicher häufiger genutzt wird.

Danke für jeden Hinweis!

 

[Marco13]

Ohne sicher zu sein, komplett verstanden zu haben, was du meinst: Das schwierige sind wohl die Typen. Was ist denn [c]NOT "istTag"[/c]? Ist das [c]"Nacht"[/c], oder jeder String, der nicht equals("istTag") ist? Man kann da beliebig weit gehen. Ich habe mir für bestimmte Zwecke mal eine handvoll Prädikate gebastelt, die man so kombinieren kann:

Predicate<Person> nameIsJane = PersonPredicates.hasName("Jane");
Predicate<Person> ageIsLow = PersonPredicates.ageIsInRange(0, 10);

Predicate<Person> nameIsJaneAndAgeIsNotLow =
    angeIsJane.andNot(ageIsLow);
...

Aber man kann auch weiter gehen...: Links for Prolog in Java

 

[bERt0r]

Also eine Aussage kann immer nur wahr oder falsch sein, das heisst du musst mit booleans arbeiten. Ich weis jetzt gar nicht wie du dir das mit deiner Klassenbibliothek vorstellst, erklärs mal anhand eines Beispiels z.B:
Wenn die Sonne scheint dann regnet es nicht und ich brauche keinen Regenschirm:

boolean sonneScheint,esRegnet,braucheRegenschirm;

if(sonneScheint)
{
esRegnet=false;
braucheRegenschirm=false;
}

PS: Wenn du hier von fuzzylogic redest 3 Sekunden google: jFuzzyLogic: Open Source Fuzzy Logic (Java)

 

[raphw]

Hab das leider ein bisschen undeutlich ausgedrückt auf den zweiten Blick.

Ich will also Ausdrücke im Sinne von:

t1: NOT v1=1
t2: (NOT v1=1) or v2=Sonne

ausdrücken. Fuzzy Logic habe ich gefunden, aber das ist mir beinahe schon zu viel, da ich eine eigene Bewertung ausdrücken will, also zunächst nur unbewertete Terme ausdrücken möchte. Aber evtl. werde ich mir das Packet mal ansehen, vielleicht leistet es das ja. Danke!

 

[Marco13]

Ja, wie gesagt, klingt erstmal nach Prädikaten, die gibt es z.B. auch in Predicates (Guava: Google Core Libraries for Java - latest) - es muss ja nicht gleich Functional Java sein...