自動推理

自動推理係人工智能一個子領域，研究點教電腦做推理。