【授業の目的】
推論、判断、記憶、認識、理解、学習、創造など、人間のような知能を持った機械を人工知能という。推論とは、前提となる事実や規則から結論を導き出す知的作業である。本講義では、人工知能における推論について学ぶ。本講義の目的は、推論の理論的基礎となる命題論理、述語論理を理解し、エキスパートシステムや知能ロボットといった応用分野への基礎を習得することである。
【授業の到達目標】
・命題論理式の解釈や標準形への変換、推論ができる。【知識・理解】
・述語論理式の解釈や節集合への変換、導出原理による推論ができる。【知識・理解】
【授業概要（キーワード）】
人工知能、推論、命題論理、述語論理。
【科目の位置付け】
本講義では、情報コンピュータ系の応用科目として、人工知能について学ぶ（工学部応用生命システム工学科のカリキュラムポリシー）。
【授業計画】
・授業の方法
プリント、パワーポイント、板書を用いて講義する。演習問題を解いて理解を深めてもらう。
・日程
第１週 人工知能と推論
第２週 命題論理とは
第３週 命題論理式
第４週 同値関係と標準形
第５週 恒真式と恒偽式
第６週 推論と論理的帰結
第７週 中間試験とまとめ
第８週 述語論理とは
第９週 述語論理式
第10週 スコーレム標準形と節集合
第11週 導出原理
第12週 単一化置換
第13週 述語論理における推論
第14週 推論の応用
第15週 期末試験とまとめ
【学習の方法】
・受講のあり方
参考書を購入することが望ましい。ノートをしっかりとること。わからないことがあったら、積極的に質問すること。演習問題は自分で考えて解くこと。
・授業時間外学習へのアドバイス
参考書およびノートを読み返して理解する。講義でやった演習問題を復習する。参考書の演習問題を解いてみる。
【成績の評価】
・基準
命題論理式の解釈や標準形への変換、推論ができること、述語論理式の解釈や節集合への変換、導出原理による推論ができることを合格基準とする。
・方法
中間試験（５０点）と期末試験（５０点）の合計１００点で成績評価を行い、６０点以上を合格とする。
【テキスト・参考書】
参考書：太原育夫著、「新人工知能の基礎知識」、（近代科学社）
【その他】
・学生へのメッセージ
複雑な式や定理を使用するので、講義に出席して順に理解していくことが大切である。演習問題を解くことで理解が深まるので、授業時間外の学習を忘れないようにすること。
・オフィス・アワー
井上教授室（８号館４階８－４１７号室）月曜日１６：００～１７：００
|