我是这个主题的新手，我目前对规划、约束解决和推理之间的差异感到困惑
据我所知，计划是确定正确的“事情”去做。
这可以通过遵循一些限制来完成。那么每个规划问题到底是一个csp对吗？
那么规划是 csp 问题的一个子集？
推理只是对大型本体的查询，例如“兔子是否是一种生命形式”。
问问题
696 次
1 回答
4
根据斯坦福哲学百科全书，
推理是进行推理的能力，而自动推理与构建使该过程自动化的计算系统有关
人工智能 (AI) 中的大多数问题都是推理问题，实际上规划和 CSP 都在其中。
规划是人工智能的一个子领域，致力于寻找实现代理目标的动作序列。例如，从纽约时代广场到伦敦皮卡迪利广场，您需要一个计划，即一系列可以让您实现目标的行动，即“在皮卡迪利广场”。一个计划可能是：“去最近的地铁入口”，“乘坐第一班火车到牙买加站”，“乘坐中转前往肯尼迪机场”，“乘坐飞机前往伦敦希思罗机场”，“乘坐地铁到皮卡迪利广场”。
约束满足问题 (CSP) 是一个搜索问题，其目标是满足某些约束。例如，如果地图上有 N 个国家，给定一组颜色，目标可能是为每个国家着色，以使没有两个相邻国家的颜色相同。
话虽如此，有一些方法可以将规划问题转换为 CSP 问题，例如SATPLAN。
供您参考，一个很好的起点是 S. Russel 和 P. Norving 的“人工智能：一种现代方法”；大多数大学和学院的图书馆都有它。
于 2015-03-16T17:50:53.677 回答