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