Иску́сственный интелле́кт в самом широком смысле — это интеллект, демонстрируемый машинами, в частности компьютерными системами. Это область исследований в области компьютерных наук, которая разрабатывает и изучает методы и программное обеспечение, позволяющие машинам воспринимать окружающую среду и использовать обучение и интеллект для выполнения действий, которые максимально увеличивают их шансы на достижение поставленных целей. Такие машины можно назвать искусственным интеллектом.
Лисп — семейство языков программирования, программы и данные в которых представляются системами линейных списков символов. Лисп был создан Джоном Маккарти для работ по искусственному интеллекту и до сих пор остаётся одним из основных инструментальных средств в данной области. Применяется он и как средство обычного промышленного программирования, от встроенных скриптов до веб-приложений массового использования, хотя популярным его назвать нельзя.
Герберт Александер Саймон — американский учёный в области социальных, политических и экономических наук, один из разработчиков гипотезы Ньюэлла — Саймона.
Геометрический решатель, решатель геометрических ограничений, геометрический решатель задач в ограничениях — это программная компонента, которая встраивается в САПР и позволяет инженеру точно позиционировать геометрические элементы друг относительно друга.
Гипотеза Ньюэлла — Саймона — предположение, сформулированное Алленом Ньюэллом и Гербертом Саймоном в 1976 году, согласно которому «физическая символьная система имеет необходимые и достаточные средства для произведения основных интеллектуальных операций».
STRIPS — это автоматический планировщик, разработанный Ричардом Файксом и Нильсом Нилсоном в 1971. В последующем слово STRIPS стало также использоваться для обозначения формального языка, описывающего входные данные этого планировщика. Этот язык является основой большинства современных языков описания задач автоматического планирования. Данная статья описывает только язык, а не сам планировщик.
Сильный и слабый искусственные интеллекты — гипотеза в философии искусственного интеллекта, согласно которой некоторые формы искусственного интеллекта могут действительно обосновывать и решать проблемы.
- теория сильного искусственного интеллекта предполагает, что искусственная система может приобрести способность мыслить и осознавать себя как отдельную личность, хотя и не обязательно, что их мыслительный процесс будет подобен человеческому.
- теория слабого искусственного интеллекта предназначен для решения какой-либо одной интеллектуальной задачи или их небольшого множества, которые не подразумевают наличия у компьютера подлинного сознания.
Ме́тод проб и оши́бок — является врождённым эмпирическим методом мышления человека. Также этот метод называют методом перебора вариантов.
Дартмутский семинар — двухмесячный научный семинар по вопросам искусственного интеллекта, проведённый летом 1956 года в Дартмутском колледже.
Аллен Ньюэлл — американский учёный в области когнитивной психологии и искусственного интеллекта. Работал в исследовательском центре RAND и Университете Карнеги — Меллон, участвовал в разработке языка программирования IPL и двух самых ранних программ искусственного интеллекта — Logic Theory Machine (1956) и General Problem Solver (1957). В 1975 году совместно с Саймоном был награждён премией Тьюринга за основополагающие работы в области искусственного интеллекта и психологии механизмов человеческого восприятия. Член Национальной АН США (1972), удостоен Национальной научной медали (1992).
Генетическое программирование — автоматическое создание или изменение программ с помощью генетических алгоритмов, развитие парадигмы эволюционного программирования. С помощью этой методологии «выращиваются» программы, всё лучше и лучше решающие поставленную вычислительную задачу.
Альфа-бета-отсечение — алгоритм поиска, стремящийся сократить количество узлов, оцениваемых в дереве поиска алгоритмом минимакса. Предназначен для антагонистических игр и используется для машинной игры. В основе алгоритма лежит идея, что оценивание ветви дерева поиска может быть досрочно прекращено, если было найдено, что для этой ветви значение оценивающей функции в любом случае хуже, чем вычисленное для предыдущей ветви. Альфа-бета-отсечение является оптимизацией, так как не влияет на корректность работы алгоритма.
MACLISP — диалект языка программирования Lisp, разработанный в лаборатории искусственного интеллекта MIT, которая в то время называлась Project MAC
Джуда Перл — американский и израильский учёный в области информатики, автор математического аппарата байесовских сетей, создатель математической и алгоритмической базы вероятностного вывода, автор алгоритма распространения доверия для графических вероятностных моделей, do-исчисления и исчисления контрфактических условных.
Алгоритм Британского музея заключается в переборе всех возможных вариантов, начиная с самого маленького по размеру, пока верное решение не будет найдено. Данный алгоритм почти не применим на практике, являясь лишь принципом, в теории применимым к любой задаче с большим числом возможных вариантов.
Брюс Уилкокс — известный программист в области искусственного интеллекта. Создатель программы Rose, выигравшей премию Лёбнера в 2014 и 2015 годах.
Металингвистическая абстракция в информатике — это процесс решения сложных проблем путём создания нового языка или словарного запаса, для лучшего понимания предметной области. Этот вопрос подробно описан в учебнике МТИ «Структура и интерпретация компьютерных программ», который рекомендует использовать язык Scheme как основу для создания новых языков.
Зима искусственного интеллекта — период в истории исследований искусственного интеллекта, связанный с сокращением финансирования и общим снижением интереса к проблематике. Термин был введён по аналогии с термином «ядерная зима». Направление искусственного интеллекта прошло несколько циклов, сопровождавшихся повышенным ажиотажем, сменяющихся «зимами» — разочарованием, критикой и последующим сокращением финансирования, а затем возобновлением интереса несколько лет или десятилетий спустя.
Управляемый локальный поиск — это метаэвристический метод поиска, то есть метод поверх алгоритма локального поиска с целью изменить его поведение.
Коток-МакКарти, также известная как «Программа игры в шахматы для компьютера IBM 7090» — первая компьютерная программа, убедительно игравшая в шахматы.
