推論、判断、記憶、認識、理解、学習、創造など、人間のような知能を持った機械を人工知能という。推論とは、前提となる事実や規則から結論を導き出す知的作業である。本講義では、人工知能における推論について学ぶ。
本講義の目的は、推論の理論的基礎となる命題論理、述語論理を理解し、エキスパートシステムや知能ロボットといった応用分野への基礎を習得することである。本講義を通じて、正しい推論・思考の道筋とはどのようなものかを学習する。

命題論理について理解し、命題論理式の解釈や標準形への変換、推論ができること。述語論理について理解し、述語論理式の解釈や節集合への変換、導出原理による推論ができること。

人工知能、推論、命題論理、述語論理。

本講義では、情報コンピュータ系の応用科目として、人工知能について学ぶ。

プリント、パワーポイント、板書を用いて講義する。演習問題を解く。

第１週 人工知能と推論
第２週 命題論理とは
第３週 命題論理式
第４週 同値関係と標準形
第５週 恒真式と恒偽式
第６週 推論と論理的帰結
第７週 中間試験とまとめ
第８週 述語論理とは
第９週 述語論理式
第10週 スコーレム標準形と節集合
第11週 導出原理
第12週 単一化置換
第13週 述語論理における推論
第14週 推論の応用
第15週 期末試験とまとめ

参考書を購入することが望ましい。ノートをしっかりとること。わからないことがあったら、積極的に質問すること。演習問題は自分で考えて解くこと。

参考書およびノートを読み返して理解する。演習問題を解く。

命題論理について理解し、命題論理式の解釈や標準形への変換、推論ができること。述語論理について理解し、述語論理式の解釈や節集合への変換、導出原理による推論ができること。

中間試験（５０点）と期末試験（５０点）の合計１００点で成績評価を行い、６０点以上を合格とする。

参考書：太原育夫著「新人工知能の基礎知識」（近代科学社）

講義で連絡する。