Логи́ческое программи́рование — парадигма программирования, основанная на математической логике — программы в ней задаются в форме логических утверждений и правил вывода. Наиболее известный язык логического программирования — Пролог.
Cyc — проект по созданию объёмной онтологической базы знаний, позволяющей программам решать сложные задачи из области искусственного интеллекта на основе логического вывода и привлечения здравого смысла.
Наи́вный ба́йесовский классифика́тор — простой вероятностный классификатор, основанный на применении теоремы Байеса со строгими (наивными) предположениями о независимости.
Арифметика Пресбургера — это теория первого порядка, описывающая натуральные числа со сложением, но в отличие от арифметики Пеано, исключающая высказывания относительно умножения. Названа в честь польского математика Мойжеша Пресбургера, который в 1929 году предложил соответствующую систему аксиом в логике первого порядка, а также показал её разрешимость.
Альфа-бета-отсечение — алгоритм поиска, стремящийся сократить количество узлов, оцениваемых в дереве поиска алгоритмом минимакса. Предназначен для антагонистических игр и используется для машинной игры. В основе алгоритма лежит идея, что оценивание ветви дерева поиска может быть досрочно прекращено, если было найдено, что для этой ветви значение оценивающей функции в любом случае хуже, чем вычисленное для предыдущей ветви. Альфа-бета-отсечение является оптимизацией, так как не влияет на корректность работы алгоритма.
DPLL — полный алгоритм поиска с возвратом для решения задачи CNF-SAT — определения выполнимости булевых формул, записанных в конъюнктивной нормальной форме.
Элие́зер Шло́мо Юдко́вский — американский специалист по искусственному интеллекту, исследующий проблемы технологической сингулярности и выступающий за создание дружественного ИИ. Ключевая фигура сообщества рационалистов.
Communications of the ACM (CACM) — ведущий ежемесячный журнал Ассоциации вычислительной техники (ACM), издаётся с 1957 года. Рассылается всем членам ассоциации, число которых более 80 тыс. Сочетает стили научно-популярного, профессионального и научного журналов: материалы ориентированы на максимально широкий круг читателей и охватывают все направления информатики, а наибольший фокус сосредоточен на практических результатах развития информационных технологий. Зачастую материалы являются обобщением ранее опубликованных исследований, в каждом номере публикуется одна или несколько статей из ранее выходивших в ACM Queue. Также публикуются письма читателей и наиболее примечательные заметки ведущих исследователей с сайта блогов ACM.
Глубокое обучение — совокупность методов машинного обучения, основанных на обучении представлениям, а не специализированных алгоритмах под конкретные задачи. Многие методы глубокого обучения были известны ещё в 1980-е, но результаты не впечатляли, пока продвижения в теории искусственных нейронных сетей и вычислительные мощности середины 2000-х годов не позволили создавать сложные технологические архитектуры нейронных сетей, обладающие достаточной производительностью и позволяющие решать широкий спектр задач, не поддававшихся эффективному решению ранее, например, в компьютерном зрении, машинном переводе, распознавании речи, причём качество решения во многих случаях теперь сопоставимо, а в некоторых превосходит эффективность человека.
Брюс Уилкокс — известный программист в области искусственного интеллекта. Создатель программы Rose, выигравшей премию Лёбнера в 2014 и 2015 годах.
Алгоритм большинства голосов Бойера — Мура — это алгоритм для нахождения преобладающего элемента последовательности. Преобладающим элементом последовательности длины n называется такой элемент этой последовательности, который встречается в ней более чем n/2 раз. Сложность данного алгоритма O(n), а требуемая дополнительная память — O(1).
Роберт Энтони Ковальский — американский логик и ученый, который провел большую часть своей карьеры в Соединенном Королевстве.
Искусственный интеллект и закон — подобласть искусственного интеллекта (ИИ), в основном касающаяся приложений ИИ к проблемам правовой информатики и оригинальных исследований по этим проблемам. Другое направление — перенос инструментов и методов, разработанных в контексте решения правовых задач, на сферу искусственного интеллекта в целом. Например, теории правовых решений, особенно модели аргументации, способствовали развитию представления знаний и рассуждений; модели социальной организации на основе норм способствовали развитию многоагентных систем; рассуждения в рамках делопроизводства способствовали развитию доказательной базы; необходимость хранения и извлечения больших объёмов текстовых данных повлекла за собой существенный вклад в концептуальный информационный поиск и интеллектуальные базы данных.
Зима искусственного интеллекта — период в истории исследований искусственного интеллекта, связанный с сокращением финансирования и общим снижением интереса к проблематике. Термин был введён по аналогии с термином «ядерная зима». Направление искусственного интеллекта прошло несколько циклов, сопровождавшихся повышенным ажиотажем, сменяющихся «зимами» — разочарованием, критикой и последующим сокращением финансирования, а затем возобновлением интереса несколько лет или десятилетий спустя.
Теория вычислительного обучения — это подобласть теории искусственного интеллекта, посвящённая разработке и анализу алгоритмов машинного обучения.
Расстояние редактирования графа — это коэффициент сходства между двумя графами. Концепцию расстояния редактирования графа впервые сформулировали математически Альберто Санфелиу и Кинг-Сан Фу в 1983. Главное приложение расстояния редактирования графа — в неточном сопоставлении графов, таких как устойчивое распознавание образов в машинном обучении.
Этика искусственного интеллекта является частью этики технологий, характерной для роботов и других искусственно интеллектуальных существ. Она обычно подразделяется на робоэтику, которая решает вопросы морального поведения людей при проектировании, конструировании, использовании и лечении искусственно разумных существ и машинную этику, которая затрагивает проблемы морального поведения искусственных моральных агентов (ИМА).
Инструмент интерактивного доказательства теорем — программное обеспечение, помогающее исследователю в разработке формальных доказательств. Доказательства вырабатываются в процессе взаимодействия человека с машиной. Как правило, такое программное обеспечения включает в себя какую-то разновидность интерактивного редактора доказательств или другой интерфейс, с помощью которого человек может вести поиск доказательств, сведения о которых хранятся в компьютере, а также процедуры автоматической проверки доказательств, осуществляемые компьютером.
Леона́рд Во́льфганг Би́бель — немецкий ученый, математик и почетный профессор факультета компьютерных технологий в Дармштадтском техническом университете. Он один из первых исследователей искусственного интеллекта в Германии и Европе. Бибель основал необходимые институты, конференции и научные журналы, а также продвигал необходимые исследовательские программы для создания исследовательской области искусственного интеллекта как научной дисциплины.
Absys — один из первых декларативных языков программирования. Название Absys было выбрано как аббревиатура от Aberdeen System.
