新時代の人工知能に関わりある技術や専門知識をテーマ毎に手頃な書籍にまとめた「知の科学」シリーズの中の一冊。
　本書は、人工知能研究に欠かせない「言語」、｢知識｣、｢信念｣の論理について解説している。
　今日、人工知能の分野で論理に関わる話題は、自然言語の意味論と知識・信念の維持や更新に関わる推論とに分断されて行われていることが多いが、本書では、これらの領域の各テーマを一体的に解説している点が特徴である。