この講義では，最近世間で流行っているAI(機械学習，ディープラーニング，生成AI等）ではなく，AIが誕生した1956年 から1990年代まで圧倒的な主流であった記号論的人工知能の歴史，基礎，主だった理論・手法等について解説をする．これらのAIは今となっては古く，実用に使われることもほとんどないだろうが，それでも新しい人工知能を学ぶ際に，折りに触れて必要となる概念や技術が含まれている．当初，人工知能分野の研究者たちが人間の知能についてどのように考えていたかを知るうえでも興味深い．記号論的人工知能以外のAIに関しては，『機械学習論』あるいは『計算知能論』を参照してください．

第１講　　人工知能について

第２講　　問題解決

第３講　　盲目的探索

第４講　　発見的探索

第５講　　ゲーム木の探索

第６講　　論理と推論

第７講　　述語論理

第８講　　述語論理による推論

第９講　　なし

第10講　　知識工学　

第11講　　プロダクション・システム

第12講　　意味ネットワークとオントロジー

第13講　　フレーム理論

第14講　　ファジィ理論