自動推理是指計算機或其他機器可以被編程來復制人類邏輯推理的結果。這種特殊的技術追求是人工智能領域的一部分,開發人員使用復雜的算法和其他資源來模擬人類智能。自動推理的重點是用計算機實現邏輯結果。自動推理是...
自動推理是指計算機或其他機器可以被編程來復制人類邏輯推理的結果。這種特殊的技術追求是人工智能領域的一部分,開發人員使用復雜的算法和其他資源來模擬人類智能。自動推理的重點是用計算機實現邏輯結果。自動推理是指計算機或其他機器可以被編程來復制人類邏輯推理的結果。人工領域的專家智能可以識別一系列使用自動化進行推理的項目。其中一些項目更專注于所謂的有效演繹推理,利用數學產生形式邏輯。這類項目可能包括證明定理或使用特定變量創建相應的邏輯值集。其他類型的項目包括自動化推理更多的是基于語言或抽象的,人類開發人員可能需要為計算機提供明確標記的目標或判斷,以獲得有效的結果或決策。許多專業人士在自動推理項目中確定特定目標。例如,有些算法可能是為了提供醫療診斷,或者在計劃、驗證或其他任務中編寫的,計算機輸入和編程會產生特定的決策驅動邏輯結果。在許多這樣的項目中,開發人員致力于擴展這些技術,以便有效地分析現實世界的問題這些用于推理的自動化應用屬于所謂的決策支持(decision support)的范疇,在這一類中,技術被用來幫助人們在廣泛的項目上做出決策。自動化推理中使用的一些技術在其他類型的技術中也很有用例如,那些致力于應用程序推理自動化的人通常使用所謂的模糊邏輯,算法本質上是將大量的數據點歸結為更具體和具體的結果。評估自動推理的方法可以幫助外部觀察者了解這些技術應用是如何構建的,它們是如何工作的,以及它們的用途。大多數專家都認為,在自動推理領域的發展還有很多工作要做。未來的項目可能會包括通過包括具有自動推理能力的小型芯片使一系列消費產品更有效的方法。更大的應用程序可以提供公共行政和其他高級別管理領域方法的重大升級
-
發表于 2020-08-07 09:24
- 閱讀 ( 2695 )
- 分類:電腦網絡