哲学/逻辑/故障诊断简介

哲学导论 > 逻辑 > 故障诊断

我们的命题演算对于描述系统和故障诊断非常有用。以下是关于一个相当简单的管道系统一部分的一些命题。

• 如果上部水箱溢出，则蜂鸣器会响或者存在电气故障。
• 如果天花板上有水滴，则上部水箱溢出。
• 蜂鸣器没有响。
• 天花板上有水滴。

____________________________________________

• 存在电气故障。

像很多事情一样，这些命题可以分为

• 观察，例如 “蜂鸣器正在响”；
• 假设的“如果...则...”语句；
• 诊断。

无论如何，为了证明上述论点是有效的，我们首先为所有基本命题分配字母

• p - 上部水箱溢出；
• q - 蜂鸣器正在响；
• r - 存在电气故障；
• s - 天花板上有水滴。

然后我们可以使用符号写出我们的命题

• P → (q ∨ r)
• s → p
• ¬ q
• s

对于相当简单的系统，人们的直觉通常能够很快给出正确的答案。如果你想到一个化工厂或发电站，推理链可能会变得非常复杂，然而在出现故障时可能需要迅速采取行动。在这种情况下，以“专家系统”形式的自动化推理会非常有用。（当然，专家系统本身也可能存在故障。这里我们遇到了无限回归的问题。）当推理变得复杂时，我们在这里进行的分析就变得有用。

如果你对这种事情感兴趣，那么你或许应该学习人工智能。