12、时间间隔关系学习与电机故障诊断技术

时间间隔关系学习与电机故障诊断技术

1. 时间间隔关系的归纳逻辑编程学习

1.1 学习 equal/4 关系

在学习 equal/4 关系时，基于特定的示例进行了多次实验。以下是相关实验的具体情况：
| 实验编号 | 学习示例（LE） | 正例（PE） | 负例（NE） | 背景知识（BK） | 诱导结论（IC） |
| ---- | ---- | ---- | ---- | ---- | ---- |
| #1 | 1,2,1,2；3,5,3,5；2,3,2,3 | equal(X,X,X,X) | CWA (#NE: 622) | ∅ | *** |
| #2 | 同 #1 | 同 #1 | 1,3,2,3 | ∅ | equal(A,B,C,D) :- A=C |
| #3 | 同 #1 | 同 #1 | 1,2,1,4 | ∅ | equal(A,B,C,D) :- B=D |
| #4 | 同 #1 | 同 #1 | 1,2,1,4；1,3,2,3 | ∅ | equal(A,B,C,D) :- A=C, B=D |

从这些实验可以看出，随着负例的变化，诱导出的 equal/4 关系的表达式也有所不同。当提供合适的负例时，能够得到更准确的关系表达式。

1.2 学习 starts/4 关系

学习 starts/4 关系同样进行了多次尝试，具体实验如下：
| 实验编号 | 学习示例（LE） | 正例（PE） | 负例（NE） | 背景知识（BK） | 诱导结论（IC） |
| ---- | ---- | ---- | ---- | ---- | -