哲學/邏輯/故障診斷簡介
我們的命題演算對於描述系統和故障診斷非常有用。以下是關於一個相當簡單的管道系統一部分的一些命題。
- 如果上部水箱溢位，則蜂鳴器會響或者存在電氣故障。
- 如果天花板上有水滴，則上部水箱溢位。
- 蜂鳴器沒有響。
- 天花板上有水滴。
____________________________________________
- 存在電氣故障。
像很多事情一樣，這些命題可以分為
- 觀察，例如 “蜂鳴器正在響”；
- 假設的“如果...則...”語句；
- 診斷。
無論如何，為了證明上述論點是有效的，我們首先為所有基本命題分配字母
- p - 上部水箱溢位；
- q - 蜂鳴器正在響；
- r - 存在電氣故障；
- s - 天花板上有水滴。
然後我們可以使用符號寫出我們的命題
- P → (q ∨ r)
- s → p
- ¬ q
- s
對於相當簡單的系統，人們的直覺通常能夠很快給出正確的答案。如果你想到一個化工廠或發電站，推理鏈可能會變得非常複雜，然而在出現故障時可能需要迅速採取行動。在這種情況下，以“專家系統”形式的自動化推理會非常有用。（當然，專家系統本身也可能存在故障。這裡我們遇到了無限迴歸的問題。）當推理變得複雜時，我們在這裡進行的分析就變得有用。
如果你對這種事情感興趣，那麼你或許應該學習人工智慧。