在人工智能中叫問題表示的選擇，人們常能找到某種思考問題的方法，從而使求解變易而解決該問題。人工智能程序已能知道如何考慮它們要解決的問題，即搜索解答空間，尋找較優解答。
邏輯推理與定理證明。邏輯推理是人工智能研究中持久的領域之一，其中特別重要的是要找到一些方法，只把注意力集中在一個大型的數據庫中的有關事實上，留意可信的證明，并在出現新信息時適時修正這些證明。對數學中臆測的題。定理尋找一個證明或反證，不僅需要有根據假設進行演繹的能力，而且許多非形式的工作，包括醫療診斷和信息檢索都可以和定理證明問題一樣加以形式化，因此，在人工智能方法的研究中定理證明是一個極其重要的論題。
-
在人工智能中叫問題表示的選擇，人們常能找到某種思考問題的方法，從而使求解變易而解決該問題。人工智能程序已能知道如何考慮它們要解決的問題，即搜索解答空間，尋找較優解答。
邏輯推理與定理證明。邏輯推理是人工智能研究中持久的領域之一，其中特別重要的是要找到一些方法，只把注意力集中在一個大型的數據庫中的有關事實上，留意可信的證明，并在出現新信息時適時修正這些證明。對數學中臆測的題。定理尋找一個證明或反證，不僅需要有根據假設進行演繹的能力，而且許多非形式的工作，包括醫療診斷和信息檢索都可以和定理證明問題一樣加以形式化，因此，在人工智能方法的研究中定理證明是一個極其重要的論題。
