在人工智能中叫問(wèn)題表示的選擇，人們常能找到某種思考問(wèn)題的方法，從而使求解變易而解決該問(wèn)題。人工智能程序已能知道如何考慮它們要解決的問(wèn)題，即搜索解答空間，尋找較優(yōu)解答。

邏輯推理與定理證明。邏輯推理是人工智能研究中持久的領(lǐng)域之一，其中特別重要的是要找到一些方法，只把注意力集中在一個(gè)大型的數(shù)據(jù)庫(kù)中的有關(guān)事實(shí)上，留意可信的證明，并在出現(xiàn)新信息時(shí)適時(shí)修正這些證明。對(duì)數(shù)學(xué)中臆測(cè)的題。定理尋找一個(gè)證明或反證，不僅需要有根據(jù)假設(shè)進(jìn)行演繹的能力，而且許多非形式的工作，包括醫(yī)療診斷和信息檢索都可以和定理證明問(wèn)題一樣加以形式化，因此，在人工智能方法的研究中定理證明是一個(gè)極其重要的論題。

-

在人工智能中叫問(wèn)題表示的選擇，人們常能找到某種思考問(wèn)題的方法，從而使求解變易而解決該問(wèn)題。人工智能程序已能知道如何考慮它們要解決的問(wèn)題，即搜索解答空間，尋找較優(yōu)解答。

邏輯推理與定理證明。邏輯推理是人工智能研究中持久的領(lǐng)域之一，其中特別重要的是要找到一些方法，只把注意力集中在一個(gè)大型的數(shù)據(jù)庫(kù)中的有關(guān)事實(shí)上，留意可信的證明，并在出現(xiàn)新信息時(shí)適時(shí)修正這些證明。對(duì)數(shù)學(xué)中臆測(cè)的題。定理尋找一個(gè)證明或反證，不僅需要有根據(jù)假設(shè)進(jìn)行演繹的能力，而且許多非形式的工作，包括醫(yī)療診斷和信息檢索都可以和定理證明問(wèn)題一樣加以形式化，因此，在人工智能方法的研究中定理證明是一個(gè)極其重要的論題。