学部・大学院区分
Undergraduate / Graduate		情報・博前
時間割コード
Registration Code		2550066
科目区分
Course Category
科目名　【日本語】
Course Title		知識表現・推論特論２
科目名　【英語】
Course Title		Knowledge Representation and Reasoning2
コースナンバリングコード
Course Numbering Code		GSI156058J
担当教員　【日本語】
Instructor		宋 剛秀 ○
担当教員　【英語】
Instructor		SOH Takehide ○
単位数
Credits		1
開講期・開講時間帯
Term / Day / Period		秋２期 火曜日 ３時限
Fall2 Tue 3
対象学年
Year		１年
1
授業形態
Course style
開講系（学部）・開講専攻（大学院）
Subject
必修・選択
Required / Selected


授業の目的　【日本語】
Goals of the Course(JPN)
本講義では，宣言的な問題解法の一つである制約プログラミング（CP; Constraint Programming）を学ぶ．
CPを用いて現実の問題を「変数・制約・目的関数」として形式的に表現し，その表現に基づいて制約伝播や探索による推論を行い，解の導出・最適化へつなげる手法を理解することを目的とする．
授業の目的　【英語】
Goals of the Course
This course studies constraint programming (CP) as a declarative approach to problem solving and as a practical framework for knowledge representation and reasoning．
Using CP，students learn to formally represent real-world problems as variables，constraints，and objective functions，and to perform inference through propagation and search to derive and optimize solutions．
到達目標　【日本語】
Objectives of the Course(JPN)
以下に挙げる項目を達成目標とする．

1. CSP/COPの基本概念（変数・ドメイン・制約・目的関数）を説明できる．
2. 制約伝播・探索・最適化の代表的手法を理解し，適用できる．
3. 現実問題をCSP/COPとして定式化し，妥当なモデルを構築できる．
4. CSP/COPソルバーを実装し，性能を評価・改善できる．
到達目標　【英語】
Objectives of the Course
Students are expected to achieve the following learning outcomes:

1. Explain the fundamental concepts of CSP/COP (variables, domains, constraints, and objective functions).
2. Understand and apply representative techniques for constraint propagation, search, and optimization.
3. Formulate real-world problems as CSP/COP models and construct appropriate formulations.
4. Implement CSP/COP solvers and evaluate and improve their performance.
授業の内容や構成
Course Content / Plan
1. COPの定義（目的関数，最適解，CSPとの関係）
2. COPの解法（分枝限定法）
3. COPモデリング1（割当・スケジューリング）
4. COPモデリング2（ソフト制約，多目的最適化の基礎）
5. ソルバー実装演習 (COP) 1: 目的関数と分枝限定の実装
6. ソルバー実装演習 (COP) 2: 探索戦略とモデル改善
7. ソルバー実装演習 (COP) 3: 総合課題（実装・評価・考察）
8. COP総括（発展的話題・講評）
履修条件・関連する科目
Course Prerequisites and Related Courses
- 関連する科目: 計算論基礎特論B
- Linux あるいは Mac OS が動作するノートパソコンを持参してください(演習のために必要)．
成績評価の方法と基準
Course Evaluation Method and Criteria
講義中に与える演習課題の評価50%，期末試験 (あるいは，期末レポート) 50%，合計100点満点で60点以上を合格とする．
教科書・参考書
Textbook/Reference book
必要に応じて配布する．
課外学習等（授業時間外学習の指示）
Study Load(Self-directed Learning Outside Course Hours)
授業で出される演習問題を授業時間外で解き，授業内容の理解を深めておくこと．
授業開講形態等
Lecture format, etc.
遠隔授業（オンデマンド型）で行う場合の追加措置
Additional measures for remote class (on-demand class)