人們幾乎天天使用常識推理，但用形式化的方式來表示卻非常困難。人工智能是研究解決某些通常被認為要用智能才能解決的問題的計算機技術(shù)，人工智能研究計算機刻畫主體如何獲得知識和處理知識的能力，人工智能邏輯就是用邏輯方法和成果研究主體如何處理知識的理論。本書分8章，從人工智能的角度來建立邏輯理論系統(tǒng)，系統(tǒng)全面地介紹了人工智能邏輯的基本理論與方法。