1988年初版発行以来27刷を重ねた本を時代に合わせてアップデート!述語理論を詳説! 本書は、人工知能という分野で行われている議論や研究を理解するために必要な基礎知識の提供を目的として、単に｢こういうことがある｣という知識ではなく、｢なぜこのように考えるのか?｣という疑問に答えられる真の理解と実力を身につけられるような構成と解説をしている。新たに演習問題とその解答も掲載。