知識工学

第1回講義「命題論理」 第1回講義レジュメ 第1回講義スライド
第2回講義「命題論理における推論(1):論理的同値関係と伴意関係」 第2回講義レジュメ 第2回講義スライド
第3回講義「命題論理における推論(2):モデル検査と伴意関係の性質」 第3回講義レジュメ 第3回講義スライド
第4回講義「命題論理における推論(3):推論」 第4回講義レジュメ 第4回講義スライド
第5回講義「命題論理における推論(4):融合法」 第5回講義レジュメ 第5回講義スライド
第6回講義「一階述語論理」 第6回講義レジュメ 第6回講義スライド
第7回講義「一階述語論理における推論(1):限量子の推論規則と単一化」 第7回講義レジュメ 第7回講義スライド
第8回講義「一階述語論理における推論(2):融合法」 第8回講義レジュメ 第8回講義スライド
第9回講義「一階述語論理における推論(3):融合法の完全性、等号、論理プログラミング」 第9回講義レジュメ 第9回講義スライド
第10回講義「不確実性」 第10回講義レジュメ 第10回講義スライド
第11回講義「完全結合確率分布による推論」 第11回講義レジュメ 第11回講義スライド
第12回講義「ベイジアンネット」 第12回講義レジュメ 第12回講義スライド
第13回講義「ベイジアンネットのコンパクト化と厳密推論」 第13回講義レジュメ 第13回講義スライド
第14回講義「ベイジアンネットの厳密推論と近似推論」 第14回講義レジュメ 第14回講義スライド
第15回定期テスト

資料

講義レジュメ(第1~14回分すべて)

レポート

第1回レポート課題 ダウンロード(ke-report-h29-1.pdf)
提出方法:レポートを講義の時に直接提出。
締切り: 2017年11月8日(水) 10:20

定期試験