- エキスパートシステムとシェル
- オートマトン
- コンパイラ理論
- その他の技術(ファジー論理、事例ベース推論、自然言語及び音声認識)
- パターン認識
- ヒューリスティック探索(生成とテスト、山登り法、横型探索、目的達成手段解析、図式探索、ミニマックス検索)
- プログラミング言語論・意味論
- ロボット工学
- 学習理論
- 基本的な制御戦略(例:深さ優先、広がり優先)
- 機械学習
- 形式言語
- 計算量
- 自然言語、音声と映像
- 述語論理
- 人工知能
- 人工知能の社会的、倫理的、法的及び哲学的側面
- 人工知能の歴史、範囲と限界、チューリングテスト
- 推論処理
- 前向き及び後向き推論
- 知識ベースシステム
- 知識工学
- 知識表現
- 符号理論
- 問題と状態空間