Советник - Advice taker

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

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

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

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

Рекомендации

1. Маккарти, Джон, Программы со здравым смыслом, Симпозиум по механизации мыслительных процессов. Национальная физическая лаборатория, Теддингтон, Англия, 1958 год.