哪个知识库/基于规则的推理引擎可以选择实时的跑道侵入预防系统

Question

我们正在设计一个项目,该项目将听取机场管制员和飞行员之间的对话以防止跑道入侵(例如,一架飞机正在起飞而其他飞机正在越过跑道).我们的教授希望我们使用Jena作为知识库(或其他任何东西,但它应该是某种基于规则的引擎).推理不是耶拿的主要内容,并没有太多的文档和示例.因此,我们需要一个引擎,它可以从飞行员那里得到消息作为输入和输出可能的入侵风险或消息协议中的任何其他错误.编写规则应该很容易,并且应该很容易为引擎提供实时数据.

我想像这样:

1. 一名飞行员发出一条消息,他登陆某条跑道,系统记得跑道很忙,没有人应该越过它
2. 如果有人给出了穿越这条跑道的指令,那么引擎应该发出错误的规则
3. 当飞行员发出一条他离开跑道并进入大门的消息时,系统将清除跑道并让其他飞机使用它.

那么Jena,或prolog或任何其他适合此规则的引擎？我的意思是它是合适的,但我们真的需要使用它吗？我问教授.如果我们可以保持跑道的状态并根据我们收到的消息使用一些简单的检查,他说它不可扩展,我们需要知识库.有人可以给我任何关于该系统使用方法的建议吗？如果你推荐kb,那我们应该使用哪一个？该项目是用java编写的.

谢谢.

Answer 1

您可以使用 jena 来实现此目的，但它主要是一个 rdf 工具包。如果您还没有使用 RDF，或者不熟悉它，那么我会看看其他地方。

你的案例很有趣，因为它听起来相当动态。前向链接推理器（如 Drools）可能不是最佳选择，因为更新事件将使推论无效。尝试一些类似序言的东西。