أي محرك استنتاج قاعدة المعرفة / القواعد التي يستند إلى القواعد لاختيار نظام منع توغل المدرج في الوقت الحقيقي

Question

نقوم بتصميم مشروع يستمع إلى الحوار بين وحدات تحكم المطار والطيارين لمنع توغلات المدرج (على سبيل المثال، يتم تقلع طائرة واحدة أثناء عبور الآخر المدرج). أستاذنا يريد منا أن نستخدم جينا لقاعدة المعرفة (أو أي شيء آخر، ولكن يجب أن يكون نوع من المحرك القائم على القواعد). الاستدلال ليس هو الشيء الرئيسي في جينا وليس هناك الكثير من الوثائق وأمثلة على ذلك. لذلك نحن نحتاج إلى محرك من شأنه أن يحصل على رسائل من الطيارين كمدخلات وإخراج مخاطر التوغل المحتملة أو أي خطأ آخر في بروتوكول الرسائل. يجب أن يكون من السهل كتابة القواعد، وينبغي أن يكون من السهل توفير المحرك مع بيانات الوقت الحقيقي.

أنا صورة شيء مثل هذا:

1. يرسل الطيار رسالة أنه يهبط على بعض المدرج، يتذكر النظام أن المدرج مشغول ولا ينبغي لأحد أن يعبره
2. إذا حصل شخص ما على تعليمات لعبور هذا المدرج، فيجب أن يطلق المحرك قاعدة أن هناك خطأ ما
3. عندما يرسل الطيار رسالة تركت المدرج ويذهب إلى البوابة، يقوم النظام بمسح المدرج وتتيح الطائرات الأخرى لاستخدامها.

إذن جينا، أو prolog أو أي محرك قواعد أخرى مناسبة لهذا؟ أعني أنه من المناسب، ولكن هل نحتاج حقا إلى استخدامه؟ سألت البروفيسور. إذا استطعنا الحفاظ على حالة المدرج واستخدام بعض الشيكات البسيطة بناء على الرسائل التي نتلقاها، فقال أنها ليست قابلة للتحجيم ونحن بحاجة إلى قاعدة المعرفة. هل يمكن لشخص ما أن يعطيني أي نصيحة بشأن النهج الذي يجب استخدامه لهذا النظام؟ إذا كنت توصي KB، فما الذي يجب أن نستخدمه؟ يتم كتابة المشروع في جافا.

شكرا لك.

Answer 1

يمكنك استخدام Jena لهذا، ولكنها في المقام الأول مجموعة أدوات RDF. إذا لم تكن تستخدم RDF بالفعل، أو دراية بها، فسأنظر في أي مكان آخر.

قضيتك مثيرة للاهتمام في أنه يبدو ديناميكي إلى حد ما. قد لا يكون المقصود الرجوع إلى الأمام (مثل Screols) هو الخيار الأفضل، لأن تحديث الأحداث ستبطل التخفيضات. جرب شيئا prolog-ish.

Answer 2

بالتأكيد أوصي ilog Jrules. لاحتياجاتك. لقد كنت أستخدم ilog Jrules وأنا معجب حقا بأدائها ودقته.

تحديث: ثم أود أن أقترح للذهاب ل سالول أيضا قد ترغب في التحقق محركات قاعدة المصدر المفتوح في جافا

Answer 3

زوجان من الزملاء في العمل يحبون حقا المصدر المفتوح سالول.