38、时态可废止逻辑的 Java 实现与法律知识建模填补

时态可废止逻辑的 Java 实现与法律知识建模填补

上半部分

在处理与时间相关的推理问题时，时态可废止逻辑（TDL）是一种重要的工具。下面我们来详细了解实现 TDL 的系统以及法律知识建模方面的相关内容。

实现 TDL 的系统组成

实现 TDL 的系统由三个主要元素构成：
- 解析器 ：它能将 TXT 或 RuleML 格式的规则集进行翻译，从而生成对应的 TDL 理论。这些理论包含一组规则以及用于计算理论结论的时间间隔。同时，为了得到等价的 TDL 理论，事实和优越关系可以被安全移除。在 RuleML 中，TDL 规则可表示为推导规则，但标准 RuleML 的语法不支持时间概念，所以需要对 RuleML 元素 Atom 和 Imp 的语法进行扩展，以表达文字的时间参数和规则的持续时间（规则是持久的还是瞬时的）。
- 图形用户界面 ：用户可以通过该界面选择 RuleML 或 TXT 格式的规则集，并决定计算结论的时间间隔。系统会为每条规则分配唯一标签，并根据文字的正负赋予 +/ - 符号，然后对规则进行可视化展示。接着，系统会处理数据，创建并返回算法所依赖的哈希表，具体如下：
- 一个哈希表用于跟踪包含某个原子的规则，对于每个原子 α，该表会指向规则中 +α 和 -α 出现在头部和主体的位置。
- 一个哈希表记录规则头部文字的时间。
- 一个哈希表记录瞬时规则头部文字的时间。
- 一个哈希表记录持久规则头部文字关联的最小时间。
- 推理引擎 ：该引擎用 Java 实现了 Governatori