自動推理

自動推理是計算機科學和數理邏輯的一個交叉領域 ， 致力於瞭解理智的方方面面 。 自動邏輯的研究幫助了利用計算機自動進行完全或幾乎完全的推理 ， 其內容一般可分爲演繹推理和非演繹推理 。 自動推理被認爲是人工智能的一個分支 ， 還和理論計算機科學甚至哲學相關聯 。 自動推理的研究內容包括定理機器證明 、 、 不確定性推理 、 非單調邏輯以及類比歸納和外展推理 。 自動推理的技術和工具包括經典邏輯 、 微積分學 、 模糊邏輯 、 貝葉斯推斷 、 推理與最大熵和大量的非正式特別技術 。 Category: 理論計算機科學 Category: 人工智能 Category: 計算機邏輯 Category: 推理