知識情報処理の理論として、述語論理の推論や様相論理を扱う。分散人工知能や知的エージェントなど、最近のトピックについても触れる。応用として、論理型プログラミング、記号処理とパターンマッチを実習する。ゲーム戦略や人工無脳への活用を試みる。知識情報処理の古典的な基礎として、述語論理の推論とProlog言語での論理型プログラミングを習得する。知的エージェントを理解する。到達目標(1)述語論理の導出法を理解し、具体的な例題をProlog言語での論理プログラミングで実装する。(2)ゲーム戦略や人工無脳の原理を理解し、簡単なシステムを試作する。授業内容の要約と関連事項の調査について、2回の課題レポートで評価する。代わりに配布プリントを用いる。Web上の解説記事も必要に応じて紹介する。履修上の注意・担当教員からのメッセージWebページを提示しながら授業を行うので、ノートPCを必携とする。参照ホームページhttp://chausson.eng.kagawa-u.ac.jp/Subj/2018/AdvKnow/メールアドレスtominaga@eng.kagawa-u.ac.jp↑ページの先頭へ戻る。