跳至內容

自動推理

維基百科,自由的百科全書

自動推理是計算機科學數理邏輯的一個交叉領域,致力於了解理智的方方面面。自動邏輯的研究幫助了利用計算機自動進行完全或幾乎完全的推理,其內容一般可分為演繹推理和非演繹推理。自動推理被認為是人工智能的一個分支,還和理論計算機科學甚至哲學相關聯。

自動推理的研究內容包括定理機器證明證明自動檢查英語Automated_proof_checking不確定性推理非單調邏輯以及類比歸納和外展推理。

自動推理的技術和工具包括經典邏輯微積分學模糊邏輯貝葉斯推斷、推理與最大熵和大量的非正式特別技術。