Искусственный интеллект

Рассуждением или умозаключением обычно называют ряд мыслей, изложенных в логически последовательной форме. В предыдущей главе были введены понятия состояний среды. Настоящая глава посвящена изучению возможности агента находить интересующие его состояния среды (целевые состояния), если он что-либо знает о других ее состояниях. Определение целевых состояний осуществляется с помощью поиска или рассуждений в пространстве состояний. Обсудим, как рассуждения подобного рода можно формализовать в языке логики высказываний, т.е. как формально поставить задачу на языке логики высказываний и затем ее формально решить, пользуясь аппаратом логики высказываний. Рассмотрим также, предваряя главу 6, что такое стратегия решения или поиска. Там, где это возможно, введение необходимых понятий будем иллюстрировать простыми примерами. В конце главы остановимся на трудностях, которые возникают при решении задач с помощью только логики высказываний.