规划推理与约束求解的区别

时间:2015-03-10 16:41:30

标签: constraint-programming planning

我对这个话题不熟悉我目前对计划,约束解决和推理之间的差异感到困惑

据我所知,计划是确定权利"事物"要做。

这可以通过遵循一些cobstraints来完成。所以每个计划问题最终都是csp是对的吗?

那么规划是csp问题的一个子集吗?

推理只是对大型本体的一个查询,例如,如果一只兔子是一个生命形式"。

1 个答案:

答案 0 :(得分:4)

根据Stanford Encyclopedia of Philosophy

  

推理能够进行推理,自动推理涉及构建自动化此过程的计算系统

人工智能(AI)中的大多数问题都是推理问题,实际上规划和CSP都属于其中。

规划是人工智能的一个子领域,致力于寻找实现代理人目标的行动序列。例如,从纽约时代广场到伦敦皮卡迪利广场,您需要一个计划,即一系列可以让您达到目标的行动,即“在皮卡迪利广场”。#34;一个计划可能是:"去最近的地铁入口","乘坐第一列火车到牙买加站","乘坐中转到肯尼迪国际机场",& #34;乘飞机前往伦敦希思罗机场","乘地铁直到皮卡迪利马戏团#34;。

约束满足问题(CSP)是一个搜索问题,其目标是满足某些约束。例如,如果地图上有N个国家/地区,则给定一组颜色,目标可能是为每个国家/地区着色,使得没有两个相邻的国家/地区颜色相同。

话虽如此,有些方法可以改变CSP问题中的规划问题,例如: SATPLAN

供您参考,一个很好的起点是"人工智能:现代方法"作者:S. Russel和P. Norving;大多数大学和学院都在他们的图书馆里。