名为“人工智能：约束满足问题”的课程旨在研究解决有限域约束满足问题的一般方法，并探索如何将搜索与约束传播相结合以找到解决方案。该课程可免费注册和学习。但是，如果参与者想要证书，他们必须亲自在任何指定的考试中心注册并参加由我们进行的监考考试。该考试是可选的，费用为 1000 卢比。仅提供电子证书。参与者将不会获得任何硬拷贝。

该课程将由 IIT Madras 计算机科学与工程系教授 Deepak Khemani 教授。

约束满足问题 (CSP)，示例。

约束网络、等价网络和投影网络。

约束传播、弧一致性、路径一致性、i-一致性。

方向一致性和图排序，回溯自由搜索，自适应一致性。

用于解决 CSP 的搜索方法、前瞻方法、动态变量和值排序。

回溯方法，Gaschnig 的回跳，基于图的回跳，冲突定向回跳，以及前瞻与回顾相结合，学习。

基于模型的系统、基于模型的诊断、真相维护系统、作为 CSP 的规划。包起来。

合格：

攻读计算机科学或任何学位的本科生和研究生都可以申请这门课程。具有计算机科学基础知识先决条件的专业人士和其他感兴趣的参与者也可以报名参加本课程。参与者最好参加 IIT Madras 提供的另外两门免费在线课程，即人工智能：解决问题的搜索方法和人工智能：知识表示和推理。

该课程将于 2022 年 1 月 24 日至 3 月 8 日进行。参与者只有在获得平均分配分数 25 分(满分 10 分)和平均考试分数 30 分(满分 75 分)的情况下才能获得证书。