邏輯推理機

邏輯推理機，是可自動進行推理的計算機。

基本介紹

• 中文名：邏輯推理機
• 性質：計算機術語

原理

其輸入是所要求證明的推理目標、有關的變數以及前提和假設；輸出是關於推理目標的證明結論、有關的解釋以及上述變數的值。

特點

邏輯推理機必須是完善的：既不能給出錯誤的推理結果，又必須給出全部正確推理結果。