自動推理
来自维基百科,自由的百科全书
自動推理是計算機科學和數理邏輯的一個交叉領域,致力於了解理智的方方面面。自動邏輯的研究幫助了利用計算機自動進行完全或幾乎完全的推理,其內容一般可分為演繹推理和非演繹推理。自動推理被認為是人工智慧的一個分支,還和理論計算機科學甚至哲學相關聯。
此條目需要擴充。 (2013年5月25日) |
此條目沒有列出任何參考或來源。 (2013年5月25日) |
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
来自维基百科,自由的百科全书
自動推理是計算機科學和數理邏輯的一個交叉領域,致力於了解理智的方方面面。自動邏輯的研究幫助了利用計算機自動進行完全或幾乎完全的推理,其內容一般可分為演繹推理和非演繹推理。自動推理被認為是人工智慧的一個分支,還和理論計算機科學甚至哲學相關聯。
此條目需要擴充。 (2013年5月25日) |
此條目沒有列出任何參考或來源。 (2013年5月25日) |
Seamless Wikipedia browsing. On steroids.