Советчик

Получатель советов представлял собой гипотетическую компьютерную программу , предложенную Джоном Маккарти в его статье 1959 года «Программы со здравым смыслом». Вероятно, это было первое предложение использовать логику для представления информации в компьютере, а не только в качестве предмета другой программы. Возможно, это также была первая статья, в которой способность к рассуждению на основе здравого смысла была предложена как ключ к искусственному интеллекту . В своей статье Маккарти отстаивал:

«…программы для манипулирования на подходящем формальном языке (скорее всего, частью исчисления предикатов ) общими инструментальными утверждениями. Базовая программа будет делать немедленные выводы из списка посылок. Эти выводы будут либо повествовательными, либо повелительными предложениями. выводится предложение, программа предпринимает соответствующие действия».

Маккарти обосновал свое предложение следующим образом:

«Основные преимущества, которые мы ожидаем от получателя совета, заключаются в том, что его поведение можно будет улучшить, просто делая ему утверждения, рассказывая ему о его символическом окружении и о том, чего от него хотят. Можно предположить, что получатель совета будет иметь в своем распоряжении довольно широкий класс непосредственных логических последствий всего, что ему говорят, и ожидается, что его предыдущие знания будут иметь много. Таким образом, мы будем говорить, что программа имеет здравый смысл, если она автоматически выводит для себя достаточно широкий класс непосредственных последствий всего, что ей говорят, и того, что она уже знает ».