Согласно Stanford Encyclopedia of Philosophy,
Рассуждение является способность делать умозаключения, и автоматизированное рассуждение касается построения вычислительных систем, которые автоматизируют этот процесс
Большинство проблем искусственного Интеллект (ИИ) - это проблемы рассуждений, и в том числе и планирование, и CSP.
Планирование - это подполе ИИ, предназначенное для поиска последовательностей действий, которые достигают цели агента. Например, для перехода от Times Square NY к London Piccadilly Circus вам нужен план, а именно последовательность действий, которые позволят вам достичь своей цели, а именно «находиться в Пикадилли-цирке». План может состоять в следующем: «зайти на ближайший вход в метро», «сесть на первый поезд до станции Ямайка», «проехать в аэропорт JFK», «сесть на самолет в Лондон Хитроу», «сесть на метро до Пикадилли-Цирка» ».
Проблема с ограничением ограничений (CSP) - это проблема поиска, целью которой является удовлетворение некоторых ограничений. Например, если на карте есть N стран, учитывая набор цветов, целью может быть цвет каждой страны, так что ни одна из двух соседних стран не имеет одного цвета.
Сказав это, существуют подходы, которые преобразуют проблему планирования в проблему CSP, например. SATPLAN.
Для справки, хорошей отправной точкой является «Искусственный интеллект: современный подход» С. Рассела и П. Норвинга; большинство университетов и колледжей имеют его в своей библиотеке.