目次
知識基盤社会のための人工知能入門 （計測・制御テクノロジーシリーズ）
- 國藤 進（共著）／ 中田 豊久（共著）／ 羽山 徹彩（共著）／ 計測自動制御学会（編）
- １．序論
- １．１ 知識社会における人工知能
- １．２ 本書の構成
- ２．状態空間
- ２．１ 状態空間による問題の解法
- ２．２ コンピュータに問題を解かせるための準備
- ２．３ カード問題の例
- 問題
- ３．探索
- ３．１ グラフの探索
- ３．２ ゲームの木の探索方法
- 問題
- ４．命題論理
- ４．１ 命題論理
- ４．２ 記号化
- ４．３ 真理値表
- ４．４ 論理結合子
- ４．５ 論理記号の優先順位
- ４．６ 恒真命題・恒偽命題
- ４．７ 推論
- 問題
- ５．述語論理
- ５．１ 述語論理
- ５．２ 個体領域
- ５．３ 限量記号
- ５．４ 述語論理式の標準化
- 問題
- ６．導出原理
- ６．１ 命題論理の導出原理
- ６．２ 述語論理の導出原理
- 問題
- ７．論理による問題解決とフレーム問題
- ７．１ 論理式を用いた問題の解き方
- ７．２ 宣言的知識を求める問題
- ７．３ 手続き的知識を求める問題
- ７．４ フレーム問題
- 問題
- ８．Ｐｒｏｌｏｇ
- ８．１ Ｐｒｏｌｏｇ入門
- ８．２ カード問題のＰｒｏｌｏｇプログラム
- ８．３ Ｐｒｏｌｏｇを用いた問題解決の例
- ８．４ メタ推論
- 問題
- ９．知識表現
- ９．１ プロダクションルール
- ９．２ 意味ネットワーク
- ９．３ セマンティックＷｅｂ
- ９．４ 非単調論理
- 問題
情報工学・自動制御・ロボット ランキング
情報工学・自動制御・ロボットのランキングをご紹介します情報工学・自動制御・ロボット ランキング一覧を見る
