本書是國家教委計算機軟件專業(yè)教材編委會推薦教材之一,人工智能作為獨立的學科已有近40年的歷史,最近十幾年已趨子成熟。本書較為全面地介紹了人工智能的各個分支,全書分上、下兩冊。上冊集中介紹人工智能的兩大支柱:知識表示和搜索技術。下冊介紹非經典邏輯和推理,定理證明,機器學習,自然語言理解,知識工程等內容。本書內容全面,涉及人工智能的大部分分支;取材新穎:反映了國際80年代末、90年代初的研究水平;從內容到形式力求中國化,敘述深人淺出。各章后均附有習題。適于作為計算機科學系本科生及研究生教材,亦可供有關科技人員閱讀。