Welche Wissensbasis / regelbasierte Inferenzmaschine für Echtzeit-Start- oder Landebahn, Sprinkleranlage zu wählen

Question

Wir entwerfen ein Projekt, das auf Dialog zwischen Flughafen Fluglotsen und Piloten hören würde Runway Einfälle zu verhindern (z. B. ein Flugzeug hebt ab, während andere die Piste überquert). Unser Professor will uns benutzen Jena für Wissensbasis (oder irgendetwas anderes, aber es sollte eine Art von regel- sein Basis-Motor). Inference ist nicht die Hauptsache in Jena und es gibt nicht viel Dokumentation und Beispiele dafür. Also brauchen wir einen Motor, die Nachrichten von Piloten als Ein- und Ausgang möglichen Risiken von incursion oder anderen Fehlern in Message-Protokoll erhalten würde. Es soll einfach Regeln zu schreiben, und soll von Echtzeitdaten mit Motor zu schaffen einfach sein.

I Bild, um es so etwas wie folgt aus:

1. Ein Pilot sendet eine Nachricht, die er auf einige Landebahn landet, merkt sich das System, dass die Piste beschäftigt ist, und niemand sollte es kreuzen
2. Wenn jemand eine Anweisung gegeben wird, die Runway zu überqueren, sollte der Motor eine Regel ausgelöst, dass etwas falsch
3. Wenn der Pilot eine Nachricht sendet, die er die Piste verlassen und geht zum Tor, löscht das System die Startbahn und läßt andere Flugzeuge benutzen.

So ist Jena, oder Prolog oder andere Regeln Motor geeignet? Ich meine, es ist geeignet, aber brauchen wir wirklich, es zu benutzen? Ich fragte den prof. wenn wir nur Zustand der Piste halten konnte und verwenden einige einfache Kontrollen anhand von Botschaften, die wir erhalten, und er sagte, dass es nicht skalierbar ist, und wir müssen die Wissensbasis. Kann mir jemand auf irgendeine Beratung geben, was Ansatz für dieses System zu benutzen? Wenn Sie K. B. empfehlen, dann sollte man die wir verwenden? Das Projekt ist in Java geschrieben.

Danke.

Answer 1

könnten Sie verwenden jena dafür, aber es ist in erster Linie ein rdf Toolkit. Wenn Sie nicht bereits RDF, oder mit ihm vertraut, dann würde ich woanders suchen.

Ihr Fall ist interessant, dass es recht dynamisch klingt. Vorwärts Vernünftler Chaining (wie geifert) die beste Wahl nicht sein könnte, da die Abzüge werden ungültig Aktualisierungsereignisse. Probieren Sie etwas prolog-ish.

Answer 2

Ich würde sicherlich empfehlen ILOG JRules für Ihre Bedürfnisse. Ich habe ILOG JRules benutzen und bin wirklich mit seiner Leistung und Genauigkeit beeindruckt.

Update: Dann würde ich für gehen vorschlagen geifert auch Sie können Open Source Rule Engines in Java

überprüfen möchten

Answer 3

Ein paar Kollegen bei der Arbeit wirklich lieben die Open-Source- geifert .