2019-05-16 放送大学:人工知能と法律(3)人工知能の基礎(知識表現と推論、述語論理) 放送大学 人工知能 人工知能と法律 第3回 人工知能の基礎(知識表現と推論、述語論理) ■ 目次 1.知識表現と推論とは 専門知識の分類 2.辞書の表現 3.ルールの表現 4.述語理論の基礎 命題論理から述語理論へ 5.述語理論に基づくプログラム言語 ----+----+----+----+----+----+----+----+----+----+ 1.知識表現と推論とは 専門知識の分類 2.辞書の表現 3.ルールの表現 4.述語理論の基礎 命題論理から述語理論へ 5.述語理論に基づくプログラム言語