学部・大学院区分
Undergraduate / Graduate		情報・博前
時間割コード
Registration Code		2550065
科目区分
Course Category
科目名　【日本語】
Course Title		知識表現・推論特論１
科目名　【英語】
Course Title		Knowledge Representation and Reasoning1
コースナンバリングコード
Course Numbering Code		GSI156055J
担当教員　【日本語】
Instructor		宋 剛秀 ○
担当教員　【英語】
Instructor		SOH Takehide ○
単位数
Credits		1
開講期・開講時間帯
Term / Day / Period		秋１期 火曜日 ３時限
Fall1 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. 制約プログラミングの概要（CP，CSPの定義）
2. CSPモデリングの基礎（変数・ドメイン・制約）
3. CSPにおける推論（整合性，グローバル制約）
4. CSPにおける探索（バックトラック，ヒューリスティクス）
5. ソルバー実装演習 (CSP) 1: 基本構造と制約判定
6. ソルバー実装演習 (CSP) 2: バックトラック探索の実装
7. ソルバー実装演習 (CSP) 3: 制約伝播の実装
8. ソルバー実装演習 (CSP) 4: 性能改善とベンチマーク
履修条件・関連する科目
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)