人工智能作為計算機科學的壹個重要分支，是解決計算機如何能表現出人類智能的問題。而人工智能的知識表示方法、歸納推理方法等對於計算機如何表現出人工智能來說至關重要。在對人工智能進行研究的同時，要重視知識表示、知識推理和知識運用等基本問題。謂詞邏輯語言的演繹過程的形式化能幫助研究者更好的理解人工智能知識表示及推理中的某些子命題。其中，邏輯學中的經典邏輯在人工智能研究知識表示、知識推理，應用邏輯規則等方面也起到關鍵的作用，能為數學語句準確定義，經典邏輯是人工智能研究領域的數學基礎。PROLOG，是基於邏輯的程序設計語言，同時也是建立在邏輯學的理論基礎之上的，PROLOG是邏輯學家開發的壹種描述式語言。PROLOG語言以謂詞邏輯為其表現形式，以消解原理為其實現基礎。
邏輯學在計算機科學中的作用及意義
對著科學技術的不斷發展，計算機科學的發展也在不斷進步和完善。計算機科學之所以能有這麽快的發展和提升，邏輯學是主要原因，邏輯學是推動計算機科學前進的主要動力，對於計算機科學來說，邏輯學從硬件設計和軟件處理兩方面都起到很大作用。同時，邏輯學對於計算機的產生和發展也起到很大的促進作用。首先，從硬件設計來講，命題邏輯和邏輯代數主要應用在計算機的電路設計中，同時在命題邏輯的基礎上又發展了組合邏輯和時序邏輯等新的邏輯學。其次，從軟件如理來講，邏輯學對於計算機語言和程序的應用和發展又有很大的貢獻。
因此，基礎學科很重要。