Советчиком была гипотетическая компьютерная программа , предложенная Джоном Маккарти в его статье 1959 года «Программы со здравым смыслом». [1] Вероятно, это было первое предложение использовать логику для представления информации в компьютере, а не просто как предмет другой программы. Возможно, это также была первая статья, в которой предлагалось, что способность к рассуждению на основе здравого смысла является ключом к искусственному интеллекту . В своей статье Маккарти отстаивал:
- «…программы для манипулирования на подходящем формальном языке (скорее всего, часть исчисления предикатов ) общими инструментальными утверждениями. Базовая программа будет делать немедленные выводы из списка посылок. Эти выводы будут либо декларативными, либо повелительными предложениями. Когда выводится повелительное предложение, программа выполняет соответствующее действие».
Маккарти обосновал свое предложение следующим образом:
- «Главное преимущество, которое мы ожидаем от принимающего советы , заключается в том, что его поведение можно будет улучшить, просто делая ему заявления, рассказывая ему о его символическом окружении и о том, что от него хотят. Для того, чтобы делать эти заявления, потребуется мало знаний о программе или о предыдущих знаниях принимающего советы. Можно будет предположить, что принимающий советы будет иметь в своем распоряжении довольно широкий класс непосредственных логических следствий всего, что ему говорят, и его предыдущих знаний. Ожидается, что это свойство будет иметь много общего с тем, что заставляет нас описывать некоторых людей как обладающих здравым смыслом. Поэтому мы будем говорить, что программа обладает здравым смыслом, если она автоматически выводит для себя достаточно широкий класс непосредственных следствий всего, что ей говорят, и того, что она уже знает ».
Ссылки
