Глоссарий искусственного интеллекта

Этот глоссарий искусственного интеллекта представляет собой список определений терминов и понятий, имеющих отношение к изучению искусственного интеллекта , его субдисциплин и смежных областей. Связанные глоссарии включают Глоссарий по информатике , Глоссарий по робототехнике и Глоссарий по машинному зрению .

А

абдуктивное логическое программирование (ALP): Высокоуровневая структура представления знаний, которую можно использовать для декларативного решения проблем на основе абдуктивных рассуждений. Он расширяет обычное логическое программирование, позволяя не полностью определять некоторые предикаты и объявлять их сокращаемыми.
абдуктивное рассуждение: Форма логического вывода , которая начинается с наблюдения или набора наблюдений, а затем пытается найти самое простое и наиболее вероятное объяснение. Этот процесс, в отличие от дедуктивного рассуждения , приводит к правдоподобному заключению, но не подтверждает его положительно . ^[1] абдуктивный вывод, ^[1] или ретродукция ^[2]
абстрактный тип данных: Математическая модель типов данных , где тип данных определяется его поведением ( семантикой ) с точки зрения пользователя данных , в частности, с точки зрения возможных значений, возможных операций с данными этого типа и поведения эти операции.
абстракция: Процесс удаления физических, пространственных или временных деталей ^[3] или атрибутов при изучении объектов или систем с целью более пристального внимания к другим интересующим деталям ^[4].
ускорение изменений: Воспринимаемое увеличение темпов технологических изменений на протяжении всей истории, которое может указывать на более быстрые и глубокие изменения в будущем и может сопровождаться, а может и не сопровождаться столь же глубокими социальными и культурными изменениями.
язык действий: Язык для определения систем перехода состояний , обычно используемый для создания формальных моделей воздействия действий на мир. ^[5] Языки действий обычно используются в областях искусственного интеллекта и робототехники , где они описывают, как действия влияют на состояния систем с течением времени, и могут использоваться для автоматического планирования .
обучение модели действия: Область машинного обучения, связанная с созданием и изменением знаний программного агента о последствиях и предварительных условиях действий, которые могут выполняться в его среде. Эти знания обычно представляются на языке описания действий на основе логики и используются в качестве входных данных для автоматизированных планировщиков.
выбор действия: Способ описания самой основной проблемы интеллектуальных систем: что делать дальше. В искусственном интеллекте и вычислительной когнитивной науке «проблема выбора действия» обычно связана с интеллектуальными агентами и аниматами — искусственными системами, которые демонстрируют сложное поведение в среде агентов.
функция активации: В искусственных нейронных сетях функция активации узла определяет выходные данные этого узла с учетом входных данных или набора входных данных.
адаптивный алгоритм: Алгоритм, который меняет свое поведение во время запуска на основе заранее определенного механизма или критерия вознаграждения.
адаптивная система нейронечеткого вывода (ANFIS): Разновидность искусственной нейронной сети, основанной на системе нечеткого вывода Такаги-Сугено . Методика была разработана в начале 1990-х годов. ^[6]^[7] Поскольку он объединяет как нейронные сети, так и принципы нечеткой логики, он потенциально может объединить преимущества обоих в единой структуре. Его система вывода соответствует набору нечетких правил ЕСЛИ-ТО , которые обладают способностью к обучению аппроксимировать нелинейные функции. ^[8] Следовательно, ANFIS считается универсальным оценщиком. ^[9] Для более эффективного и оптимального использования ANFIS можно использовать лучшие параметры, полученные с помощью генетического алгоритма. ^[10]^[11]
допустимая эвристика: В информатике , особенно в алгоритмах, связанных с поиском пути, эвристическая функция считается допустимой, если она никогда не переоценивает стоимость достижения цели, т. е. оцениваемая ею стоимость достижения цели не превышает минимально возможной стоимости от текущей точка на пути. ^[12]
аффективные вычисления: Изучение и разработка систем и устройств, которые могут распознавать, интерпретировать, обрабатывать и моделировать человеческие воздействия . Аффективные вычисления — это междисциплинарная область, охватывающая информатику , психологию и когнитивную науку . ^[13]^[14]
архитектура агента: Схема программных агентов и интеллектуальных систем управления, показывающая расположение компонентов. Архитектуры, реализуемые интеллектуальными агентами, называются когнитивными архитектурами . ^[15]
ИИ-ускоритель: Класс микропроцессора ^[16] или компьютерной системы ^[17] , предназначенный для аппаратного ускорения приложений искусственного интеллекта, особенно искусственных нейронных сетей, машинного зрения и машинного обучения.
AI-полный: В области искусственного интеллекта наиболее сложные задачи неофициально известны как AI-полные или AI-сложные, подразумевая, что сложность этих вычислительных задач эквивалентна решению центральной проблемы искусственного интеллекта — сделать компьютеры такими же умными, как люди. или сильный ИИ. ^[18] Назвать проблему AI-полной отражает отношение к ней, согласно которому она не может быть решена с помощью простого конкретного алгоритма.
алгоритм: Однозначная спецификация способа решения класса задач. Алгоритмы могут выполнять вычисления, обработку данных и задачи автоматического рассуждения.
алгоритмическая эффективность: Свойство алгоритма, которое связано с количеством вычислительных ресурсов , используемых алгоритмом. Алгоритм необходимо проанализировать , чтобы определить использование им ресурсов, а эффективность алгоритма можно измерить на основе использования различных ресурсов. Алгоритмическую эффективность можно рассматривать как аналог производительности разработки для повторяющегося или непрерывного процесса.
алгоритмическая вероятность: В алгоритмической теории информации алгоритмическая вероятность, также известная как вероятность Соломонова, представляет собой математический метод присвоения априорной вероятности данному наблюдению. Его изобрел Рэй Соломонов в 1960-х годах. ^[19]
АльфаГо: Компьютерная программа , играющая в настольную игру Го . ^[20] Он был разработан компанией Google DeepMind, принадлежащей Alphabet Inc., в Лондоне. AlphaGo имеет несколько версий, включая AlphaGo Zero , AlphaGo Master , AlphaGo Lee и т. д. ^[21] В октябре 2015 года AlphaGo стала первой компьютерной программой в Го, которая обыграла профессионального игрока в Го без каких- либо ограничений на полноразмерной доске 19×19. ^[22]^[23]
окружающий интеллект (AmI): Электронная среда, чувствительная и реагирующая на присутствие людей.
анализ алгоритмов: Определение вычислительной сложности алгоритмов, то есть количества времени, памяти и/или других ресурсов, необходимых для их выполнения . Обычно это включает в себя определение функции , которая связывает длину входных данных алгоритма с количеством шагов, которые он выполняет (его временная сложность ) или количеством мест хранения, которые он использует (его пространственная сложность ).
аналитика: Обнаружение, интерпретация и передача значимых закономерностей в данных.
программирование набора ответов (ASP): Форма декларативного программирования , ориентированная на сложные (в первую очередь NP-трудные ) задачи поиска . Он основан на семантике устойчивой модели (множества ответов) логического программирования . В ASP задачи поиска сводятся к вычислению устойчивых моделей, а для выполнения поиска используются решатели множества ответов — программы для генерации устойчивых моделей.
алгоритм в любое время: Алгоритм, который может вернуть правильное решение проблемы, даже если она была прервана до завершения.
интерфейс прикладного программирования (API): Набор определений подпрограмм, протоколов связи и инструментов для создания программного обеспечения. В общих чертах, это набор четко определенных методов связи между различными компонентами. Хороший API упрощает разработку компьютерной программы , предоставляя все строительные блоки, которые затем собираются программистом . API может быть для веб-системы, операционной системы , системы баз данных , компьютерного оборудования или библиотеки программного обеспечения .
приблизительное совпадение строк: Техника поиска строк , которые приблизительно (а не точно) соответствуют шаблону . Проблема приблизительного сопоставления строк обычно делится на две подзадачи: поиск приблизительных совпадений подстроки внутри заданной строки и поиск словарных строк, которые приблизительно соответствуют шаблону.
ошибка аппроксимации: Расхождение между точным значением и некоторым приближением к нему.
структура аргументации: Способ разобраться со спорной информацией и сделать из нее выводы. В рамках абстрактной аргументации ^[24] информация начального уровня представляет собой набор абстрактных аргументов, которые, например, представляют данные или предложение. Конфликты между аргументами представлены бинарным отношением к множеству аргументов. Говоря конкретнее, вы представляете структуру аргументации с ориентированным графом , в котором узлы являются аргументами, а стрелки представляют отношение атаки. Существуют некоторые расширения структуры Дунга, такие как структуры аргументации, основанные на логике ^[25] или структуры аргументации, основанной на ценностях. ^[26]
общий искусственный интеллект (AGI)
искусственная иммунная система (АИС): Класс вычислительно интеллектуальных систем машинного обучения, основанных на правилах, вдохновленных принципами и процессами иммунной системы позвоночных . Алгоритмы обычно моделируются по характеристикам обучения и памяти иммунной системы для использования при решении проблем .
искусственный интеллект (ИИ): Любой интеллект , демонстрируемый машинами , в отличие от естественного интеллекта, демонстрируемого людьми и другими животными. В информатике исследования ИИ определяются как исследование «интеллектуальных агентов»: любого устройства, которое воспринимает окружающую среду и предпринимает действия, которые максимизируют его шансы на успешное достижение своих целей. ^[27] В просторечии термин «искусственный интеллект» применяется, когда машина имитирует «когнитивные» функции, которые люди связывают с разумом других людей , такие как «обучение» и «решение проблем». ^[28]
Язык разметки искусственного интеллекта: Диалект XML для создания программных агентов на естественном языке .
искусственная нейронная сеть (ИНС): Искусственные нейронные сети (ИНС), также сокращенно нейронные сети (НС) или нейронные сети , представляют собой ветвь моделей машинного обучения , которые построены с использованием принципов нейронной организации, открытых с помощью коннекционизма в биологических нейронных сетях, составляющих мозг животных . ^[29]^[30]
Ассоциация по развитию искусственного интеллекта (AAAI): Международное некоммерческое научное общество, занимающееся продвижением исследований и ответственным использованием искусственного интеллекта. AAAI также стремится улучшить общественное понимание искусственного интеллекта (ИИ), улучшить преподавание и подготовку специалистов-практиков в области ИИ, а также предоставить рекомендации для планировщиков исследований и спонсоров относительно важности и потенциала текущих разработок ИИ и будущих направлений. ^[31]
асимптотическая вычислительная сложность: В теории вычислительной сложности асимптотическая вычислительная сложность — это использование асимптотического анализа для оценки вычислительной сложности алгоритмов и вычислительных задач , обычно связанного с использованием большой нотации O.
механизм внимания: Внимание, основанное на машинном обучении , — это механизм, имитирующий когнитивное внимание . Он вычисляет «мягкие» веса для каждого слова, точнее для его встраивания, в контекстное окно . Он может делать это либо параллельно (например, в трансформаторах ), либо последовательно (например, в рекурсивных нейронных сетях ). «Мягкие» веса могут меняться во время каждого выполнения, в отличие от «жестких» весов, которые (предварительно) обучаются и настраиваются, а затем остаются замороженными. Множественные головы внимания используются в моделях большого языка на основе преобразователей .
атрибутивное исчисление: Логика и система представления, определенная Рышардом С. Михальским . Он сочетает в себе элементы логики предикатов , исчисления высказываний и многозначной логики . Атрибутивное исчисление обеспечивает формальный язык для естественной индукции — процесса индуктивного обучения, результаты которого представлены в формах, естественных для людей.
дополненная реальность (AR): Интерактивный опыт реальной среды, где объекты, находящиеся в реальном мире, «дополняются» сгенерированной компьютером перцептивной информацией, иногда через несколько сенсорных модальностей, включая зрительную , слуховую , тактильную , соматосенсорную и обонятельную . ^[32]
теория автоматов: Изучение абстрактных машин и автоматов , а также вычислительных задач , которые можно решить с их помощью. Это теория в теоретической информатике и дискретной математике (предмет изучения как математики , так и информатики ).
автоматизированное машинное обучение (AutoML): Область машинного обучения, целью которой является автоматическая настройка системы машинного обучения для максимизации ее производительности (например, точности классификации).
автоматизированное планирование и планирование: Раздел искусственного интеллекта, который занимается реализацией стратегий или последовательностей действий, обычно выполняемых интеллектуальными агентами, автономными роботами и беспилотными транспортными средствами . В отличие от классических задач управления и классификации , решения сложны и должны быть найдены и оптимизированы в многомерном пространстве. Планирование также связано с теорией принятия решений . ^[33]
автоматизированное рассуждение: Область информатики и математической логики , посвященная пониманию различных аспектов рассуждений . Изучение автоматизированных рассуждений помогает создавать компьютерные программы , которые позволяют компьютерам рассуждать полностью или почти полностью автоматически. Хотя автоматизированное рассуждение считается подобластью искусственного интеллекта, оно также имеет связи с теоретической информатикой и даже философией .
автономные вычисления (АС): Характеристики самоуправления распределенных вычислительных ресурсов, адаптирующиеся к непредсказуемым изменениям, скрывая при этом внутреннюю сложность для операторов и пользователей. Эта инициатива , инициированная IBM в 2001 году, в конечном итоге была направлена на разработку компьютерных систем, способных к самоуправлению, преодоление быстро растущей сложности управления вычислительными системами и снижение барьера, который сложность создает для дальнейшего роста. ^[34]
автономный автомобиль: Транспортное средство , способное воспринимать окружающую среду и двигаться практически без участия человека . ^[35]^[36]^[37]
автономный робот: Робот , который выполняет действия или задачи с высокой степенью автономности . Автономную робототехнику обычно считают подобластью искусственного интеллекта, робототехники и информационной инженерии . ^[38]

Б

обратное распространение ошибки: Метод, используемый в искусственных нейронных сетях для расчета градиента, необходимого для расчета весов, которые будут использоваться в сети. ^[39] Обратное распространение ошибки — это сокращение от «обратного распространения ошибок», поскольку ошибка вычисляется на выходе и распространяется обратно по уровням сети. Он обычно используется для обучения глубоких нейронных сетей ^[40] — термин, относящийся к нейронным сетям с более чем одним скрытым слоем. ^[41]
обратное распространение ошибки во времени (BPTT): Градиентный метод обучения определенных типов рекуррентных нейронных сетей. Его можно использовать для обучения сетей Элмана . Алгоритм был независимо разработан многочисленными исследователями. ^[42]^[43]^[44]
обратная цепочка: Метод вывода , в просторечии описываемый как работа в обратном направлении от цели. Он используется в автоматизированных средствах доказательства теорем , машинах вывода , помощниках по доказательству и других приложениях искусственного интеллекта. ^[45]
модель мешка слов: Упрощающее представление, используемое при обработке естественного языка и поиске информации (IR). В этой модели текст (например, предложение или документ) представлен как мешок (мультисбор) его слов, не учитывая грамматику и даже порядок слов, но сохраняя множественность . Модель «мешка слов» также использовалась для компьютерного зрения. ^[46] Модель «мешка слов» обычно используется в методах классификации документов , где (частота) появления каждого слова используется в качестве признака для обучения классификатора . ^[47]
Модель мешка слов в компьютерном зрении: В компьютерном зрении модель «мешка слов» (модель BoW) может применяться для классификации изображений , рассматривая элементы изображения как слова. В классификации документов набор слов представляет собой разреженный вектор количества вхождений слов; то есть разреженная гистограмма словарного запаса. В компьютерном зрении набор визуальных слов представляет собой вектор количества вхождений словаря локальных особенностей изображения.
пакетная нормализация: Методика повышения производительности и стабильности искусственных нейронных сетей. Это метод предоставления любому слою нейронной сети входных данных с нулевой средней/единичной дисперсией. ^[48] Пакетная нормализация была представлена в статье 2015 года. ^[49]^[50] Он используется для нормализации входного слоя путем настройки и масштабирования активаций. ^[51]
Байесовское программирование: Формализм и методология, обеспечивающие технику определения вероятностных моделей и решения проблем, когда доступно меньше необходимой информации.
алгоритм пчел: Алгоритм поиска на основе населения, разработанный Фамом, Ганбарзаде и др. в 2005 году. ^[52] Он имитирует поведение семей медоносных пчел в поисках пищи. В своей базовой версии алгоритм выполняет своего рода поиск окрестностей в сочетании с глобальным поиском и может использоваться как для комбинаторной , так и для непрерывной оптимизации . Единственным условием применения алгоритма пчел является определение некоторой меры расстояния между решениями. Эффективность и специфические возможности алгоритма пчел были доказаны в ряде исследований. ^[53]^[54]^[55]^[56]
информатика поведения (BI): Информатика поведения для получения поведенческого интеллекта и понимания поведения. ^[57]
дерево поведения (BT): Математическая модель выполнения плана , используемая в информатике , робототехнике , системах управления и видеоиграх . Они описывают переключение между конечным набором задач по модульному принципу. Их сила заключается в способности создавать очень сложные задачи, состоящие из простых задач, не беспокоясь о том, как простые задачи реализуются. BT имеют некоторое сходство с иерархическими конечными автоматами с той ключевой разницей, что основным строительным блоком поведения является задача, а не состояние. Простота человеческого понимания делает BT менее подверженными ошибкам и очень популярными в сообществе разработчиков игр. Было показано, что BT обобщают несколько других архитектур управления. ^[58]^[59]
Программная модель убеждения-желания-намерения (BDI): Программная модель, разработанная для программирования интеллектуальных агентов. На первый взгляд характеризующийся реализацией убеждений , желаний и намерений агента , на самом деле он использует эти концепции для решения конкретной проблемы в программировании агента. По сути, он обеспечивает механизм разделения действий по выбору плана (из библиотеки планов или внешнего приложения-планировщика) от выполнения активных в данный момент планов. Следовательно, агенты BDI могут сбалансировать время, затрачиваемое на обсуждение планов (выбор того, что делать) и выполнение этих планов (выполнение этого). Третье действие, в первую очередь создание планов (планирование), выходит за рамки модели и оставлено на усмотрение проектировщика и программиста системы.
компромисс между предвзятостью и дисперсией: В статистике и машинном обучении компромисс между предвзятостью и дисперсией — это свойство набора прогнозирующих моделей, при котором модели с меньшим смещением в оценке параметров имеют более высокую дисперсию оценок параметров в выборках , и наоборот.
большие данные: Термин, используемый для обозначения наборов данных , которые слишком велики или сложны для того, чтобы традиционные прикладные программы обработки данных могли их адекватно обрабатывать. Данные с большим количеством случаев (строк) обеспечивают большую статистическую мощность , тогда как данные с более высокой сложностью (больше атрибутов или столбцов) могут привести к более высокому уровню ложного обнаружения . ^[60]
Обозначение большого О: Математическая запись, описывающая предельное поведение функции , когда аргумент стремится к определенному значению или бесконечности. Это член семейства обозначений, изобретенных Полом Бахманом , ^[61] Эдмундом Ландау , ^[62] и другими, которые вместе называются нотацией Бахмана-Ландау или асимптотической нотацией.
двоичное дерево: Древовидная структура данных , в которой каждый узел имеет не более двух дочерних узлов , которые называютсялевый ребенок иправильный ребенок . Рекурсивноеопределение,использующее толькотеории множеств, заключается в том, что (непустое) двоичное дерево представляет собой кортеж(L,S,R), гдеLиR— двоичные деревья илипустое множество, аS—одноэлементное множество. ^[63]Некоторые авторы допускают, что двоичное дерево также является пустым множеством. ^[64]
система доски: Подход искусственного интеллекта, основанный на архитектурной модели доски , ^[65]^[66]^[67]^[68] , где общая база знаний, «доска», итеративно обновляется разнообразной группой источников специализированных знаний, начиная с проблемы. спецификации и заканчивая решением. Каждый источник знаний обновляет доску частичным решением, когда его внутренние ограничения соответствуют состоянию доски. Таким образом, специалисты работают вместе над решением проблемы.
Машина Больцмана: Разновидность стохастической рекуррентной нейронной сети и марковского случайного поля . ^[69] Машины Больцмана можно рассматривать как стохастический , генеративный аналог сетей Хопфилда .
Проблема логической выполнимости: Проблема определения, существует ли интерпретация , удовлетворяющая данной булевой формуле . Другими словами, он спрашивает, могут ли переменные данной логической формулы быть последовательно заменены значениями ИСТИНА или ЛОЖЬ таким образом, чтобы формула имела значение ИСТИНА. В этом случае формула называется выполнимой . С другой стороны, если такого присвоения не существует, функция, выраженная формулой, является ЛОЖНОЙ для всех возможных присвоений переменных, и формула является невыполнимой . Например, формула « a AND NOT b » выполнима, поскольку можно найти значения a = TRUE и b = FALSE, которые делают ( a AND NOT b ) = TRUE. Напротив, выражение « А И НЕ а » невыполнимо.
мозговая технология: Технология, использующая последние достижения нейробиологии . Этот термин был впервые введен Лабораторией искусственного интеллекта в Цюрихе, Швейцария , в контексте проекта ROBOY . ^[70] Мозговая технология может использоваться в роботах, ^[71] системах управления ноу-хау ^[72] и любых других приложениях с возможностями самообучения. В частности, приложения Brain Technology позволяют визуализировать базовую архитектуру обучения, которую часто называют «картами ноу-хау».
фактор разветвления: В вычислительной технике , древовидных структурах данных и теории игр количество детей в каждом узле — исходящая степень . Если это значение неоднородно, можно рассчитать средний коэффициент ветвления .
грубый поиск: Очень общий метод решения проблем и алгоритмическая парадигма , состоящая из систематического перебора всех возможных кандидатов на решение и проверки, удовлетворяет ли каждый кандидат условию задачи.

С

капсульная нейронная сеть (CapsNet): Система машинного обучения, представляющая собой тип искусственной нейронной сети (ИНС), которую можно использовать для лучшего моделирования иерархических отношений. Этот подход представляет собой попытку более точно имитировать биологическую нейронную организацию. ^[73]
рассуждение на основе прецедентов (CBR): В широком смысле это процесс решения новых проблем, основанный на решении аналогичных прошлых проблем.
чат-бот: Компьютерная программа или искусственный интеллект, который ведет разговор с помощью слуховых или текстовых методов. ^[74]
облачная робототехника: Область робототехники , которая пытается использовать облачные технологии, такие как облачные вычисления , облачное хранилище и другие интернет-технологии, сосредоточенные на преимуществах конвергентной инфраструктуры и общих услуг для робототехники. При подключении к облаку роботы могут извлечь выгоду из мощных вычислительных, хранилищных и коммуникационных ресурсов современного центра обработки данных в облаке, который может обрабатывать и обмениваться информацией от различных роботов или агентов (других машин, интеллектуальных объектов, людей и т. д.). . Люди также могут делегировать задачи роботам удаленно через сети . Технологии облачных вычислений позволяют наделить роботизированные системы мощными возможностями, одновременно снижая затраты за счет облачных технологий. Таким образом, можно создавать легких, недорогих и более умных роботов с интеллектуальным «мозгом» в облаке. «Мозг» состоит из центра обработки данных , базы знаний , планировщиков задач, глубокого обучения , обработки информации, моделей среды, коммуникационной поддержки и т. д. ^[75]^[76]^[77]^[78]
кластерный анализ: Задача сгруппировать набор объектов таким образом, чтобы объекты одной группы (называемой кластером) были более похожи (в некотором смысле) друг на друга, чем на объекты других групп (кластеров). Это основная задача исследовательского интеллектуального анализа данных и распространенный метод статистического анализа данных , используемый во многих областях, включая машинное обучение, распознавание образов , анализ изображений , поиск информации , биоинформатику , сжатие данных и компьютерную графику .
Паутина: Инкрементальная система иерархической концептуальной кластеризации . COBWEB был изобретен профессором Дугласом Х. Фишером , который в настоящее время работает в Университете Вандербильта. ^[79]^[80] COBWEB постепенно организует наблюдения в дерево классификации . Каждый узел в дереве классификации представляет класс (концепцию) и помечен вероятностной концепцией, которая суммирует распределения значений атрибутов объектов, классифицированных в этом узле. Это дерево классификации можно использовать для прогнозирования отсутствующих атрибутов или класса нового объекта. ^[81]
когнитивная архитектура: Институт креативных технологий определяет когнитивную архитектуру как «гипотезу о фиксированных структурах, которые обеспечивают разум, будь то в естественных или искусственных системах, и о том, как они работают вместе – в сочетании со знаниями и навыками, воплощенными в архитектуре – чтобы обеспечить разумное поведение в разнообразие сложных сред». ^[82]
когнитивные вычисления: В целом, термин «когнитивные вычисления» использовался для обозначения нового аппаратного и/или программного обеспечения, которое имитирует функционирование человеческого мозга ^[83]^[84]^[85]^[86]^[87]^[88] и помогает улучшить работу человеческого мозга. принятие решений. ^[89]^[90] В этом смысле CC — это новый тип вычислений, целью которого является создание более точных моделей того, как человеческий мозг/ разум воспринимает, рассуждает и реагирует на стимулы.
когнитивная наука: Междисциплинарное научное исследование разума и его процессов. ^[91]
комбинаторная оптимизация: В исследовании операций , прикладной математике и теоретической информатике комбинаторная оптимизация — это тема, состоящая из поиска оптимального объекта из конечного набора объектов. ^[92]
машина комитета: Тип искусственной нейронной сети, использующей стратегию «разделяй и властвуй» , в которой ответы нескольких нейронных сетей (экспертов) объединяются в один ответ. ^[93] Предполагается, что совместная реакция аппарата комитета превосходит реакцию входящих в него экспертов. Сравнить ансамбли классификаторов .
здравый смысл: В исследованиях искусственного интеллекта здравый смысл состоит из фактов из повседневного мира, таких как «Лимоны кислые», которые, как ожидается, будут знать все люди. Первой программой искусственного интеллекта, обращающейся к знаниям здравого смысла, была программа Advice Taker, разработанная Джоном Маккарти в 1959 году. ^[94]
рассуждения здравого смысла: Раздел искусственного интеллекта, занимающийся моделированием способности человека делать предположения о типе и сути обычных ситуаций, с которыми он сталкивается каждый день. ^[95]
вычислительная химия: Раздел химии , использующий компьютерное моделирование для решения химических задач.
теория сложности вычислений: Основное внимание уделяется классификации вычислительных задач в соответствии с присущей им сложностью и связыванию этих классов друг с другом. Вычислительная задача – это задача, решаемая компьютером. Вычислительную задачу можно решить путем механического применения математических шагов, таких как алгоритм.
вычислительное творчество: Междисциплинарное начинание, включающее области искусственного интеллекта, когнитивной психологии , философии и искусства .
вычислительная кибернетика: Интеграция кибернетики и методов вычислительного интеллекта.
вычислительный юмор: Раздел компьютерной лингвистики и искусственного интеллекта, использующий компьютеры в исследованиях юмора . ^[96]
вычислительный интеллект (CI): Обычно относится к способности компьютера обучаться конкретной задаче на основе данных или экспериментальных наблюдений.
теория вычислительного обучения: В информатике теория вычислительного обучения (или просто теория обучения) — это раздел искусственного интеллекта, посвященный изучению разработки и анализа алгоритмов машинного обучения. ^[97]
компьютерная лингвистика: Междисциплинарная область, занимающаяся статистическим или основанным на правилах моделированием естественного языка с вычислительной точки зрения, а также изучением соответствующих вычислительных подходов к лингвистическим вопросам.
вычислительная математика: Математические исследования в областях науки, где вычислительная техника играет важную роль.
вычислительная нейробиология: Раздел нейробиологии , который использует математические модели, теоретический анализ и абстракции мозга для понимания принципов, управляющих развитием , структурой , физиологией и когнитивными способностями нервной системы . ^[98]^[99]^[100]^[101]
вычислительная теория чисел: Исследование алгоритмов выполнения теоретико-числовых вычислений .
вычислительная задача: В теоретической информатике вычислительная задача — это математический объект , представляющий собой набор вопросов, которые компьютеры могут решить.
вычислительная статистика: Интерфейс между статистикой и информатикой.
компьютерное автоматизированное проектирование (CAutoD): Автоматизация проектирования обычно относится к автоматизации электронного проектирования или автоматизации проектирования , которая представляет собой конфигуратор продукта . Расширение систем автоматизированного проектирования (САПР), автоматизированного проектирования и компьютерного проектирования ^[102]^[103]^[104] касается более широкого спектра приложений, таких как автомобилестроение , гражданское строительство , ^{[105] [}^106]^{[107 ] ]}^[108] проектирование композитных материалов , техника управления , ^[109]идентификация и оптимизация динамических систем, ^[110] финансовые системы, промышленное оборудование, мехатронные системы, стальные конструкции , ^[111] структурная оптимизация , ^[112] и изобретение новых систем . Совсем недавно традиционное CAD-моделирование было преобразовано в CAutoD с помощью машинного обучения, вдохновленного биологией, ^{[113] включая}методы эвристического поиска, такие как эволюционные вычисления , ^[114]^[115] и алгоритмы роевого интеллекта. ^[116]
компьютерное прослушивание (CA): См. машинное прослушивание .
Информатика: Теория, экспериментирование и инженерия, составляющие основу проектирования и использования компьютеров . Он предполагает изучение алгоритмов, которые обрабатывают, хранят и передают цифровую информацию . Ученый-компьютерщик специализируется на теории вычислений и проектировании вычислительных систем. ^[117]
компьютерное зрение: Междисциплинарная научная область , изучающая, как можно заставить компьютеры получать глубокое понимание цифровых изображений или видео . С точки зрения инженерии , он стремится автоматизировать задачи, которые может выполнять зрительная система человека . ^[118]^[119]^[120]
дрейф концепции: В прогнозной аналитике и машинном обучении дрейф концепции означает, что статистические свойства целевой переменной, которую пытается предсказать модель, изменяются со временем непредвиденным образом. Это вызывает проблемы, поскольку с течением времени прогнозы становятся менее точными.
коннекционизм: Подход в области когнитивной науки , который надеется объяснить психические явления с помощью искусственных нейронных сетей. ^[121]
последовательная эвристика: При изучении задач поиска пути в искусственном интеллекте эвристическая функция называется последовательной или монотонной, если ее оценка всегда меньше или равна предполагаемому расстоянию от любой соседней вершины до цели плюс стоимость достижения тот сосед.
ограниченная условная модель (CCM): Платформа машинного обучения и вывода, которая дополняет обучение условных (вероятностных или дискриминативных) моделей декларативными ограничениями.
программирование логики ограничений: Форма программирования в ограничениях , в которой логическое программирование расширяется за счет включения концепций удовлетворения ограничений . Программа логики ограничений — это логическая программа, которая содержит ограничения в теле предложений. Примером предложения, включающего ограничение, является . В этом пункте – ограничение; , , и являются литералами , как и в обычном логическом программировании. В этом пункте указано одно условие, при котором утверждение справедливо: оно больше нуля и оба являются истинными.A(X,Y) :- X+Y>0, B(X), C(Y)X+Y>0A(X,Y)B(X)C(Y)A(X,Y)X+YB(X)C(Y)
программирование ограничений: Парадигма программирования , в которой отношения между переменными выражаются в форме ограничений . Ограничения отличаются от общих примитивов императивных языков программирования тем, что они не определяют шаг или последовательность шагов для выполнения, а скорее свойства искомого решения.
искусственный язык: Язык , фонология , грамматика и словарный запас которого созданы сознательно, а не развились естественным путем . Искусственные языки также можно назвать искусственными, запланированными или изобретенными языками. ^[122]
теория управления: В инженерии систем управления это раздел математики, который занимается управлением непрерывно действующими динамическими системами в инженерных процессах и машинах. Целью является разработка модели управления такими системами с использованием управляющего воздействия оптимальным образом без задержек и перерегулирований и обеспечения устойчивости управления .
сверточная нейронная сеть: В глубоком обучении сверточная нейронная сеть (CNN или ConvNet) — это класс глубоких нейронных сетей , чаще всего применяемых для анализа визуальных изображений. CNN используют разновидность многослойных персептронов , требующую минимальной предварительной обработки . ^[123] Они также известны как инвариантные к сдвигу или пространственно-инвариантные искусственные нейронные сети (SIANN) на основе их архитектуры с общими весами и характеристик трансляционной инвариантности . ^[124]^[125]
кроссовер: В генетических алгоритмах и эволюционных вычислениях — генетический оператор , используемый для объединения генетической информации двух родителей для создания нового потомства. Это один из способов стохастически генерировать новые решения из существующей популяции, аналогичный скрещиванию , которое происходит во время полового размножения в биологических организмах. Решения также могут быть созданы путем клонирования существующего решения, что аналогично бесполому размножению . Вновь созданные решения обычно мутируют перед добавлением в популяцию.

Д

Темный лес: Компьютерная программа Go , разработанная Facebook и основанная на методах глубокого обучения с использованием сверточной нейронной сети . Его обновленная версия Darkfores2 сочетает в себе методы своего предшественника с поиском по дереву Монте-Карло . ^[126]^[127] MCTS эффективно использует методы поиска по дереву, обычно встречающиеся в компьютерных шахматных программах, и рандомизирует их. ^[128] После обновления система стала называться Darkfmcts3. ^[129]
Дартмутская мастерская: Дартмутский летний исследовательский проект по искусственному интеллекту — так назывался летний семинар 1956 года, который сейчас многие ^[130]^[131] (хотя и не все ^[132] ) считают плодотворным событием в области искусственного интеллекта как области.
увеличение данных: Увеличение данных при анализе данных — это методы, используемые для увеличения объема данных. Это помогает уменьшить переобучение при обучении машинному обучению .
объединение данных: Процесс интеграции нескольких источников данных для получения более последовательной, точной и полезной информации, чем та, которую предоставляет любой отдельный источник данных. ^[133]
интеграция данных: Процесс объединения данных , находящихся в разных источниках, и предоставления пользователям единого представления о них. ^[134] Этот процесс становится важным в различных ситуациях, которые включают как коммерческую (например, когда двум схожим компаниям необходимо объединить свои базы данных ), так и научную ( например, объединение результатов исследований из разных репозиториев биоинформатики ) области. Интеграция данных возникает все чаще по мере увеличения объема (то есть больших данных ) и необходимости совместного использования существующих данных . ^[135] Это стало центром обширной теоретической работы, и многочисленные открытые проблемы остаются нерешенными.
сбор данных: Процесс обнаружения закономерностей в больших наборах данных, включающий методы на стыке машинного обучения, статистики и систем баз данных.
наука о данных: Междисциплинарная область, в которой используются научные методы, процессы, алгоритмы и системы для извлечения знаний и идей из данных в различных формах, как структурированных, так и неструктурированных, ^[136]^[137] аналогично интеллектуальному анализу данных . Наука о данных — это «концепция объединения статистики, анализа данных, машинного обучения и связанных с ними методов» с целью «понимания и анализа реальных явлений» с помощью данных. ^[138] Он использует методы и теории, взятые из многих областей в контексте математики , статистики , информатики и информатики .
набор данных: Сбор данных . Чаще всего набор данных соответствует содержимому одной таблицы базы данных или одной матрицы статистических данных , где каждый столбец таблицы представляет определенную переменную, а каждая строка соответствует данному члену рассматриваемого набора данных. В наборе данных перечислены значения каждой переменной, например высоты и веса объекта, для каждого члена набора данных. Каждое значение известно как исходное значение. Набор данных может содержать данные для одного или нескольких членов, соответствующих количеству строк.
хранилище данных (DW или DWH): Система, используемая для отчетности и анализа данных . ^[139] ХД являются центральными хранилищами интегрированных данных из одного или нескольких разрозненных источников. Они хранят текущие и исторические данные в одном месте ^[140].
Журнал данных: Язык программирования декларативной логики, синтаксически являющийся подмножеством Пролога. Он часто используется в качестве языка запросов для дедуктивных баз данных . В последние годы Datalog нашел новое применение в интеграции данных , извлечении информации , сетевых технологиях , анализе программ , безопасности и облачных вычислениях . ^[141]
граница решения: В случае искусственных нейронных сетей или персептронов на основе обратного распространения ошибки тип границы принятия решения, которую может изучить сеть, определяется количеством скрытых слоев, которые имеет сеть. Если у него нет скрытых слоев, то он может изучать только линейные задачи. Если у него есть один скрытый слой, то он может изучить любую непрерывную функцию на компактных подмножествах R n , как показано в теореме об универсальной аппроксимации , таким образом, он может иметь произвольную границу решения.
система поддержки принятия решений (СППР): Информационная система , которая поддерживает деятельность по принятию деловых или организационных решений . DSS обслуживают уровни управления, операций и планирования организации (обычно среднего и высшего руководства) и помогают людям принимать решения по проблемам, которые могут быстро меняться и которые нелегко определить заранее, то есть неструктурированные и полуструктурированные проблемы принятия решений. Системы поддержки принятия решений могут быть либо полностью компьютеризированными, либо управляемыми человеком, либо комбинацией того и другого.
теория принятия решений: Изучение рассуждений, лежащих в основе выбора агента . ^[142] Теорию принятия решений можно разделить на две ветви: нормативную теорию принятия решений, которая дает советы о том, как принимать наилучшие решения с учетом набора неопределенных убеждений и набора ценностей , и описательную теорию принятия решений, которая анализирует, как существующие, возможно, иррациональные агенты на самом деле принимать решения.
обучение дереву решений: Использует дерево решений (как модель прогнозирования ) для перехода от наблюдений за элементом (представленных в ветвях) к выводам о целевом значении элемента (представленных в листьях). Это один из подходов прогнозного моделирования, используемых в статистике , интеллектуальном анализе данных и машинном обучении.
декларативное программирование: Парадигма программирования — стиль построения структуры и элементов компьютерных программ, — который выражает логику вычислений без описания потока управления . ^[143]
дедуктивный классификатор: Тип машины вывода искусственного интеллекта . В качестве входных данных он принимает набор объявлений на фреймовом языке о такой области, как медицинские исследования или молекулярная биология. Например, имена классов, подклассов , свойств и ограничений на допустимые значения.
Темно-синий: — компьютер для игры в шахматы, разработанный IBM . Она известна тем, что является первой компьютерной системой игры в шахматы, которая выиграла и шахматную партию, и шахматный матч против действующего чемпиона мира при регулярном контроле времени.
глубокое обучение: Часть более широкого семейства методов машинного обучения, основанных на представлениях обучающих данных , а не на алгоритмах, ориентированных на конкретные задачи. Обучение может быть контролируемым , полуконтролируемым или неконтролируемым . ^[144]^[145]^[146]
ДипМайнд Технологии: Британская компания по искусственному интеллекту, основанная в сентябре 2010 года, в настоящее время принадлежит Alphabet Inc. Компания базируется в Лондоне , а исследовательские центры находятся в Канаде , ^[147]Франции , [ ^148] и США . Приобретенная Google в 2014 году, компания создала нейронную сеть , которая учится играть в видеоигры так же, как это делают люди, ^[149] , а также нейронную машину Тьюринга , ^[150] или нейронную сеть, которая может быть способный получить доступ к внешней памяти, как обычная машина Тьюринга , в результате чего появился компьютер, имитирующий кратковременную память человеческого мозга. ^[151]^[152] Компания попала в заголовки газет в 2016 году после того, как ее программа AlphaGo победила профессионального игрока в го Ли Седоля , чемпиона мира, в матче из пяти игр , о котором был снят документальный фильм. ^[153] Более общая программа, AlphaZero , победила самые мощные программы, играющие в го , шахматы и сёги (японские шахматы) после нескольких дней игры против самой себя с использованием обучения с подкреплением. ^[154]
логика по умолчанию: Немонотонная логика , предложенная Раймондом Рейтером для формализации рассуждений с предположениями по умолчанию.
логика описания (DL): Семейство языков формального представления знаний . Многие DL более выразительны, чем логика высказываний , но менее выразительны, чем логика первого порядка . В отличие от последнего, основные проблемы рассуждения для DL (обычно) разрешимы, и для этих проблем разработаны и реализованы эффективные процедуры принятия решений. Существуют общие, пространственные, временные, пространственно-временные и нечеткие логики описаний, и каждая логика описания имеет разный баланс между выразительностью DL и сложностью рассуждений за счет поддержки разных наборов математических конструкторов. ^[155]
развивающая робототехника (DevRob): Научная область, целью которой является изучение механизмов развития, архитектуры и ограничений, которые позволяют на протяжении всей жизни и без ограничений осваивать новые навыки и новые знания в воплощенных машинах .
диагноз: Занимается разработкой алгоритмов и методов, которые способны определить правильность поведения системы. Если система работает неправильно, алгоритм должен иметь возможность как можно точнее определить, какая часть системы выходит из строя и с каким типом неисправности она сталкивается. Вычисления основаны на наблюдениях , которые предоставляют информацию о текущем поведении.
диалоговая система: Компьютерная система, предназначенная для общения с человеком и имеющая последовательную структуру. Диалоговые системы используют текст, речь, графику, тактильные ощущения, жесты и другие режимы общения как на входном, так и на выходном канале.
диффузионная модель: В машинном обучении диффузионные модели , также известные как диффузионные вероятностные модели или генеративные модели на основе оценок , представляют собой класс моделей со скрытыми переменными . Это цепи Маркова , обученные с использованием вариационного вывода . ^[156] Цель диффузионных моделей — изучить скрытую структуру набора данных путем моделирования того, как точки данных распространяются через скрытое пространство . В компьютерном зрении это означает, что нейронная сеть обучена шумоподавлять изображения, размытые гауссовым шумом, путем обучения обращать вспять процесс диффузии. ^[157]^[158] В основном он состоит из трех основных компонентов: прямого процесса, обратного процесса и процедуры отбора проб. ^[159] Три примера общих структур моделирования диффузии, используемых в компьютерном зрении, - это вероятностные модели диффузии с шумоподавлением, сети оценок, обусловленные шумом, и стохастические дифференциальные уравнения. ^[160]
уменьшение размерности: Процесс уменьшения количества рассматриваемых случайных величин ^[161] за счет получения набора главных переменных. Его можно разделить на выбор признаков и извлечение признаков . ^[162]
дискретная система: Любая система со счетным числом состояний. Дискретным системам можно противопоставить непрерывные системы, которые также можно назвать аналоговыми системами. Конечная дискретная система часто моделируется с помощью ориентированного графа и анализируется на предмет правильности и сложности в соответствии с теорией вычислений . Поскольку дискретные системы имеют счетное число состояний, их можно описать с помощью точных математических моделей . Компьютер — это конечный автомат , который можно рассматривать как дискретную систему. Поскольку компьютеры часто используются для моделирования не только других дискретных систем, но и непрерывных систем, были разработаны методы представления реальных непрерывных систем как дискретных. Один из таких методов предполагает выборку непрерывного сигнала через дискретные интервалы времени.
распределенный искусственный интеллект (DAI): Подобласть исследований искусственного интеллекта, посвященная разработке распределенных решений проблем. DAI тесно связан с многоагентными системами и является их предшественником . ^[163]
динамическая эпистемическая логика (ДЭЛ): Логическая структура, связанная с изменением знаний и информации. Обычно DEL фокусируется на ситуациях с участием нескольких агентов и изучает, как их знания изменяются при возникновении событий .

Э

нетерпеливое обучение: Метод обучения, при котором система пытается построить общую, независимую от входных данных целевую функцию во время обучения системы, в отличие от ленивого обучения , при котором обобщение данных обучения откладывается до тех пор, пока к системе не будет сделан запрос. ^[164]
тест Эберта: Тест, который определяет, может ли компьютерно-синтезированный голос ^[165]^[166] рассказать шутку с достаточным мастерством, чтобы заставить людей смеяться . ^[167]Кинокритик Роджер Эберт на конференции TED в 2011 году предложил разработчикам программного обеспечения задачу заставить компьютерный голос освоить интонации, подачу, время и интонации говорящего человека. ^[165] Этот тест аналогичен тесту Тьюринга , предложенному Аланом Тьюрингом в 1950 году как способ оценить способность компьютера проявлять разумное поведение, генерируя производительность, неотличимую от человеческой . ^[168]
сеть состояния эха (ESN): Рекуррентная нейронная сеть с редко связанным скрытым слоем (обычно со связностью 1%). Связность и веса скрытых нейронов фиксированы и назначаются случайным образом. Можно узнать веса выходных нейронов, чтобы сеть могла (вос) создавать определенные временные паттерны. Основной интерес этой сети заключается в том, что, хотя ее поведение нелинейно, единственные веса, которые изменяются во время обучения, предназначены для синапсов, которые соединяют скрытые нейроны с выходными нейронами. Таким образом, функция ошибок квадратична по отношению к вектору параметров и ее можно легко дифференцировать до линейной системы. ^[169]^[170]
воплощенный агент: Интеллектуальный агент, который взаимодействует с окружающей средой через физическое тело внутри этой среды. Агенты, которые графически представлены телом, например человеком или мультяшным животным, также называются воплощенными агентами, хотя они имеют только виртуальное, а не физическое воплощение. ^[171]
воплощенная когнитивная наука: Междисциплинарная область исследований, цель которой — объяснить механизмы, лежащие в основе разумного поведения. Он включает в себя три основные методологии: 1) целостное моделирование психологических и биологических систем, рассматривающее разум и тело как единое целое, 2) формирование общего набора общих принципов разумного поведения и 3) экспериментальное использование роботизированных агентов в контролируемых средах.
обучение, основанное на ошибках: Подобласть машинного обучения, связанная с тем, как агент должен действовать в окружающей среде , чтобы свести к минимуму некоторую обратную связь по ошибкам. Это тип обучения с подкреплением.
усреднение по ансамблю: В машинном обучении, особенно при создании искусственных нейронных сетей, усреднение по ансамблю — это процесс создания нескольких моделей и их объединения для получения желаемого результата, а не создания только одной модели.
эпоха (машинное обучение): В машинном обучении, особенно при создании искусственных нейронных сетей, эпоха обучает модель в течение одного цикла с использованием полного набора обучающих данных. Маленькие модели обычно обучаются на столько эпох, сколько необходимо для достижения наилучшей производительности на наборе проверочных данных. Самые большие модели могут обучаться только одну эпоху.
этика искусственного интеллекта: Часть этики технологий , специфичная для искусственного интеллекта.
эволюционный алгоритм (ЭА): Подмножество эволюционных вычислений, ^[172] общий алгоритм метаэвристической оптимизации на основе совокупности . ЭА использует механизмы, вдохновленные биологической эволюцией , такие как размножение , мутация , рекомбинация и отбор . Кандидаты на решение задачи оптимизации играют роль особей в популяции, а функция приспособленности определяет качество решений (см. также функцию потерь ). Эволюция популяции тогда происходит после многократного применения вышеуказанных операторов.
эволюционные вычисления: Семейство алгоритмов глобальной оптимизации , вдохновленное биологической эволюцией и областью искусственного интеллекта и мягких вычислений, изучающей эти алгоритмы. С технической точки зрения, они представляют собой семейство средств для решения задач методом проб и ошибок, основанных на совокупности , с метаэвристическим или стохастическим оптимизационным характером.
развивающаяся функция классификации (ECF): Развивающиеся функции классификатора или развивающиеся классификаторы используются для классификации и кластеризации в области машинного обучения и искусственного интеллекта, обычно используемых для задач анализа потоков данных в динамических и меняющихся средах.
экзистенциальный риск: Гипотеза о том, что существенный прогресс в области искусственного интеллекта (AGI) может когда-нибудь привести к вымиранию человечества или какой-либо другой необратимой глобальной катастрофе . ^[173]^[174]^[175]
экспертная система: Компьютерная система, имитирующая способность человека-эксперта принимать решения. ^[176] Экспертные системы предназначены для решения сложных проблем путем рассуждения с помощью массивов знаний, представленных в основном как правила «если-то» , а не с помощью обычного процедурного кода . ^[177]

Ф

быстрые и бережливые деревья: Тип дерева классификации . Деревья быстрого и экономичного использования можно использовать в качестве инструментов принятия решений, которые действуют как лексикографические классификаторы и, при необходимости, связывают действие (решение) с каждым классом или категорией. ^[178]
извлечение признаков: В машинном обучении, распознавании образов и обработке изображений извлечение признаков начинается с исходного набора измеренных данных и создает производные значения ( признаки ), которые должны быть информативными и неизбыточными, облегчая последующие этапы обучения и обобщения, а в некоторых случаях ведущие к лучшим человеческим интерпретациям.
особенности обучения: В машинном обучении обучение признакам или обучение представлениям ^[144] — это набор методов, которые позволяют системе автоматически обнаруживать представления, необходимые для обнаружения или классификации признаков, на основе необработанных данных. Это заменяет ручную разработку функций и позволяет машине как изучать функции, так и использовать их для выполнения конкретной задачи.
выбор функции: В машинном обучении и статистике выбор признаков, также известный как выбор переменных, выбор атрибутов или выбор подмножества переменных, представляет собой процесс выбора подмножества соответствующих признаков (переменных, предикторов) для использования при построении модели.
федеративное обучение: Тип машинного обучения, который позволяет проводить обучение на нескольких устройствах с децентрализованными данными, помогая тем самым сохранить конфиденциальность отдельных пользователей и их данных.
логика первого порядка: Коллекция формальных систем, используемых в математике , философии , лингвистике и информатике . Логика первого порядка использует количественные переменные вместо нелогических объектов и позволяет использовать предложения, содержащие переменные, так что вместо таких предложений, как « Сократ — это человек », можно иметь выражения в форме «существует X такой, что X — это Сократ и X — человек», и существует квантор, а X — переменная. ^[179] Это отличает ее от логики высказываний , которая не использует кванторы или отношения. ^[180]
беглый: Состояние, которое может меняться со временем. В логических подходах к рассуждениям о действиях флюенты могут быть представлены в логике первого порядка предикатами , имеющими аргумент, зависящий от времени.
формальный язык: Набор слов , буквы которых взяты из алфавита и составлены согласно определенному набору правил.
прямая цепочка: Один из двух основных методов рассуждения при использовании машины вывода , который логически можно описать как многократное применение modus ponens . Прямая цепочка является популярной стратегией внедрения экспертных систем , предприятий и систем производственных правил . Противоположностью прямой цепочки является обратная цепочка. Прямая цепочка начинается с доступных данных и использует правила вывода для извлечения большего количества данных (например, от конечного пользователя) до тех пор, пока цель не будет достигнута. Механизм вывода , использующий прямую цепочку, ищет правила вывода, пока не найдет тот, в котором антецедент (предложение If) является истинным. Когда такое правило найдено, механизм может заключить или вывести консеквент (предложение Then), что приводит к добавлению новой информации к его данным. ^[181]
рамка: Структура данных искусственного интеллекта, используемая для разделения знаний на подструктуры путем представления « стереотипных ситуаций». Фреймы — это основная структура данных, используемая в языке фреймов искусственного интеллекта.
язык фреймов: Технология, используемая для представления знаний в искусственном интеллекте. Фреймы хранятся как онтологии наборов и подмножеств концепций фреймов . Они похожи на иерархии классов в объектно-ориентированных языках, хотя их фундаментальные цели проектирования различны. Фреймы ориентированы на явное и интуитивное представление знаний, тогда как объекты ориентированы на инкапсуляцию и сокрытие информации . Фреймы возникли в результате исследований искусственного интеллекта, а объекты — в первую очередь в области разработки программного обеспечения . Однако на практике методы и возможности фреймовых и объектно-ориентированных языков существенно совпадают.
проблема с рамой: Проблема поиска адекватного набора аксиом для жизнеспособного описания среды робота. ^[182]
дружелюбный искусственный интеллект: Гипотетический общий искусственный интеллект (AGI), который окажет положительное влияние на человечество. Это часть этики искусственного интеллекта и тесно связана с машинной этикой . В то время как машинная этика связана с тем, как должен вести себя агент с искусственным интеллектом, дружественные исследования искусственного интеллекта сосредоточены на том, как практически добиться такого поведения и обеспечить его адекватное ограничение.
исследования будущего: Исследование постулирования возможного, вероятного и предпочтительного будущего , а также мировоззрений и мифов, которые лежат в его основе. ^[183]
нечеткая система управления: Система управления, основанная на нечеткой логике — математическая система, которая анализирует аналоговые входные значения с точки зрения логических переменных, принимающих непрерывные значения от 0 до 1, в отличие от классической или цифровой логики, которая оперирует дискретными значениями либо 1, либо 0 ( истина или ложь соответственно). ^[184]^[185]
нечеткая логика: Простая форма многозначной логики , в которой истинностные значения переменных могут иметь любую степень « Истинности », которая может быть представлена любым действительным числом в диапазоне от 0 (как в «Полностью ложно») до 1 (как в «Полностью ложно»). Правда) включительно. Следовательно, он используется для обработки концепции частичной истины, где значение истинности может варьироваться от полностью истинного до полностью ложного. В отличие от булевой логики , где истинностные значения переменных могут иметь только целочисленные значения 0 или 1.
нечеткое правило: Правило, используемое в системах нечеткой логики для получения вывода на основе входных переменных.
нечеткий набор: В классической теории множеств принадлежность элементов множеству оценивается в двоичных терминах по бивалентному условию — элемент либо принадлежит, либо не принадлежит множеству. Напротив, теория нечетких множеств допускает постепенную оценку принадлежности элементов множеству; это описывается с помощью функции принадлежности, имеющей значение в действительном единичном интервале [0, 1]. Нечеткие множества обобщают классические множества, поскольку индикаторные функции (также известные как характеристические функции ) классических множеств являются частными случаями функций принадлежности нечетких множеств, если последние принимают только значения 0 или 1. ^[186] В теории нечетких множеств классические бивалентные множества обычно называются четкими множествами . Теория нечетких множеств может использоваться в широком спектре областей, в которых информация является неполной или неточной, например, в биоинформатике . ^[187]

г

теория игры: Исследование математических моделей стратегического взаимодействия между рациональными лицами, принимающими решения. ^[188]
общая игра (GGP): Общие игры — это разработка программ искусственного интеллекта, позволяющих успешно запускать и играть в более чем одну игру. ^[189]^[190]^[191]
генеративно-состязательная сеть (GAN): Класс систем машинного обучения. Две нейронные сети соревнуются друг с другом в рамках игры с нулевой суммой .
генеративный искусственный интеллект: Генеративный искусственный интеллект — это искусственный интеллект , способный генерировать текст, изображения или другие медиаданные в ответ на подсказки . ^[192]^[193] Генеративные модели ИИ изучают шаблоны и структуру входных обучающих данных , а затем генерируют новые данные, имеющие аналогичные характеристики, обычно с использованием глубоких нейронных сетей на основе Transformer . ^[194]^[195]
генетический алгоритм (ГА): Метаэвристика , вдохновленная процессом естественного отбора и принадлежащая к более широкому классу эволюционных алгоритмов (EA). Генетические алгоритмы обычно используются для генерации высококачественных решений задач оптимизации и поиска , полагаясь на биологические операторы, такие как мутация , скрещивание и отбор . ^[196]
генетический оператор: Оператор , используемый в генетических алгоритмах для направления алгоритма к решению заданной проблемы. Существует три основных типа операторов ( мутация , кроссовер и выбор ), которые должны работать совместно друг с другом, чтобы алгоритм был успешным.
генеративный предобученный трансформатор (GPT): Большая языковая модель, основанная на архитектуре преобразователя, генерирующая текст. Сначала он предварительно обучается предсказывать следующий токен в тексте (токен обычно представляет собой слово, подслово или знак препинания). После предварительного обучения модели GPT могут генерировать текст, похожий на человеческий, многократно предсказывая токен, которому они будут следовать. Модели GPT обычно также настраиваются, например, с помощью RLHF для уменьшения галлюцинаций или вредного поведения или для форматирования вывода в диалоговом формате. ^[197]
оптимизация роя светлячков: Алгоритм оптимизации роевого интеллекта , основанный на поведении светлячков (также известных как светлячки или светлячки).
график (абстрактный тип данных): В информатике граф — это абстрактный тип данных , который предназначен для реализации концепций неориентированного графа и ориентированного графа из математики ; в частности, в области теории графов.
граф (дискретная математика): В математике, а точнее в теории графов, граф — это структура, состоящая из набора объектов, в которых некоторые пары объектов в некотором смысле «связаны». Объекты соответствуют математическим абстракциям, называемым вершинами (также называемыми узлами или точками ), а каждая из связанных пар вершин называется ребром ( также называемым дугой или линией ). ^[198]
графовая база данных (GDB): База данных , которая использует графовые структуры для семантических запросов с узлами , ребрами и свойствами для представления и хранения данных. Ключевой концепцией системы является граф (или ребро , или взаимосвязь ), который напрямую связывает элементы данных в хранилище коллекции узлов данных и ребер, представляющих отношения между узлами. Отношения позволяют напрямую связывать данные в хранилище и во многих случаях получать их с помощью одной операции. В графовых базах данных отношения между данными являются приоритетом. Запрос связей внутри графовой базы данных выполняется быстро, поскольку они постоянно хранятся в самой базе данных. Отношения можно интуитивно визуализировать с помощью графовых баз данных, что делает их полезными для сильно взаимосвязанных данных. ^[199]^[200]
теория графов: Изучение графов , представляющих собой математические структуры, используемые для моделирования парных отношений между объектами.
обход графа: Процесс посещения (проверки и/или обновления) каждой вершины графа . Такие обходы классифицируются по порядку посещения вершин. Обход дерева — это частный случай обхода графа.

ЧАС

проблема с остановкой
эвристика: Техника, предназначенная для более быстрого решения проблемы , когда классические методы слишком медленны, или для поиска приближенного решения, когда классические методы не могут найти точное решение. Это достигается путем обмена оптимальности, полноты, точности или точности на скорость. В каком-то смысле это можно считать ярлыком. Эвристическая функция, также называемая просто эвристикой, — это функция , которая ранжирует альтернативы в алгоритмах поиска на каждом этапе ветвления на основе доступной информации, чтобы решить, какой ветви следовать. Например, оно может аппроксимировать точное решение. ^[201]
скрытый слой: Внутренний слой нейронов в искусственной нейронной сети, не предназначенный для ввода или вывода.
скрытый блок: Нейрон в скрытом слое искусственной нейронной сети.
гиперэвристический: Метод эвристического поиска, целью которого является автоматизация процесса выбора, объединения, генерации или адаптации нескольких более простых эвристик (или компонентов таких эвристик) для эффективного решения задач вычислительного поиска, часто с использованием методов машинного обучения. Одной из причин изучения гиперэвристики является создание систем, способных решать классы задач, а не только одну проблему. ^[202]^[203]^[204]

я

Общество вычислительной разведки IEEE: Профессиональное общество Института инженеров по электротехнике и электронике (IEEE), специализирующееся на «теории, проектировании, применении и разработке биологически и лингвистически мотивированных вычислительных парадигм с упором на нейронные сети , коннекционистские системы, генетические алгоритмы , эволюционное программирование , нечеткие системы и гибридные интеллектуальные системы, в которых содержатся эти парадигмы». ^[205]
постепенное обучение: Метод машинного обучения, при котором входные данные постоянно используются для расширения знаний существующей модели, т.е. для дальнейшего обучения модели. Он представляет собой динамический метод контролируемого и неконтролируемого обучения , который можно применять, когда обучающие данные становятся доступными постепенно с течением времени или их размер выходит за пределы системной памяти. Алгоритмы, которые могут способствовать поэтапному обучению, известны как алгоритмы инкрементного машинного обучения.
Механизм логического вывода: Компонент системы, который применяет логические правила к базе знаний для получения новой информации.
информационная интеграция (II): Объединение информации из разнородных источников с разными концептуальными, контекстуальными и типографскими представлениями. Он используется при интеллектуальном анализе и консолидации данных из неструктурированных или полуструктурированных ресурсов. Обычно информационная интеграция относится к текстовому представлению знаний, но иногда применяется к мультимедийному контенту. Информационное слияние, которое является родственным термином, предполагает объединение информации в новый набор информации с целью уменьшения избыточности и неопределенности. ^[133]
Язык обработки информации (IPL): Язык программирования, включающий функции, предназначенные для помощи программам, выполняющим простые действия по решению проблем, такие как списки, динамическое распределение памяти , типы данных , рекурсия , функции в качестве аргументов, генераторы и совместная многозадачность . IPL изобрела концепцию обработки списков, хотя и в стиле ассемблера .
усиление интеллекта (IA): Эффективное использование информационных технологий для повышения человеческого интеллекта .
разведывательный взрыв: Возможный результат создания человечеством общего искусственного интеллекта (AGI). AGI будет способен к рекурсивному самосовершенствованию, что приведет к быстрому появлению ИСИ ( искусственного сверхинтеллекта ), пределы которого неизвестны, во времена технологической сингулярности.
интеллектуальный агент (IA): Автономная сущность , которая действует, направляя свою деятельность на достижение целей (т. е. является агентом ) , на окружающую среду , используя наблюдение посредством датчиков и последующих исполнительных механизмов (т. е. она разумна). Интеллектуальные агенты также могут учиться или использовать знания для достижения своих целей. Они могут быть очень простыми или очень сложными .
интеллектуальное управление: Класс методов управления , в которых используются различные вычислительные подходы искусственного интеллекта, такие как нейронные сети , байесовская вероятность , нечеткая логика, машинное обучение, обучение с подкреплением, эволюционные вычисления и генетические алгоритмы . ^[206]
умный личный помощник: Программный агент , который может выполнять задачи или услуги для человека на основе устных команд. Иногда термин « чат-бот » используется для обозначения виртуальных помощников, к которым обычно или специально осуществляется доступ через онлайн-чат (или, в некоторых случаях, программы онлайн-чата, предназначенные исключительно для развлекательных целей). Некоторые виртуальные помощники способны интерпретировать человеческую речь и отвечать посредством синтезированного голоса. Пользователи могут задавать вопросы своим помощникам, управлять устройствами домашней автоматизации и воспроизведением мультимедиа с помощью голоса, а также управлять другими базовыми задачами, такими как электронная почта, списки дел и календари, с помощью устных команд. ^[207]
интерпретация: Присвоение значения символам формального языка. Многие формальные языки, используемые в математике , логике и теоретической информатике, определяются исключительно в синтаксических терминах и как таковые не имеют никакого значения, пока им не будет дана определенная интерпретация. Общее исследование интерпретаций формальных языков называется формальной семантикой .
внутренняя мотивация: Интеллектуальный агент внутренне мотивирован к действию, если мотивирующим фактором является только информационное содержание опыта, полученного в результате действия. Содержание информации в этом контексте измеряется в смысле теории информации как количественная оценка неопределенности. Типичной внутренней мотивацией является поиск необычных (удивительных) ситуаций, в отличие от типичной внешней мотивации, такой как поиск еды. Искусственные агенты с внутренней мотивацией демонстрируют поведение, похожее на исследование и любопытство . ^[208]
дерево проблем: Графическая разбивка вопроса, которая разбивает его на различные компоненты по вертикали и детализирует по мере чтения справа. ^[209]^{: 47} Деревья проблем полезны при решении проблем для выявления коренных причин проблемы, а также для определения ее потенциальных решений. Они также служат ориентиром, позволяющим увидеть, как каждая часть вписывается в общую картину проблемы. ^[210]

Дж

алгоритм дерева соединений: Метод, используемый в машинном обучении для извлечения маргинализации в общих графах . По сути, это влечет за собой распространение убеждений на модифицированном графе, называемом деревом соединений . Граф называется деревом, потому что он разветвляется на разные разделы данных; узлы переменных являются ветвями. ^[211]

К

метод ядра: В машинном обучении методы ядра — это класс алгоритмов анализа шаблонов , наиболее известным членом которого является машина опорных векторов (SVM). Общая задача анализа шаблонов — найти и изучить общие типы отношений (например, кластеры , рейтинги , главные компоненты , корреляции , классификации ) в наборах данных.
КЛ-ОДИН: Известная система представления знаний в традиции семантических сетей и фреймов ; то есть это язык фреймов . Система представляет собой попытку преодолеть семантическую нечеткость в представлениях семантической сети и явно представить концептуальную информацию в виде структурированной сети наследования. ^[212]^[213]^[214]
приобретение знаний: Процесс, используемый для определения правил и онтологий, необходимых для системы, основанной на знаниях . Эта фраза впервые использовалась в сочетании с экспертными системами для описания первоначальных задач, связанных с разработкой экспертной системы, а именно поиска и опроса экспертов в предметной области и сбора их знаний с помощью правил , объектов и онтологий на основе фреймов .
система, основанная на знаниях (KBS): Компьютерная программа , которая рассуждает и использует базу знаний для решения сложных задач . Этот термин является широким и относится к множеству различных типов систем. Одна общая тема, которая объединяет все системы, основанные на знаниях, — это попытка явного представления знаний и система рассуждений , которая позволяет извлекать новые знания. Таким образом, система, основанная на знаниях, имеет две отличительные особенности: базу знаний и механизм вывода .
инженерия знаний (KE): Все технические, научные и социальные аспекты, связанные с созданием, обслуживанием и использованием систем, основанных на знаниях.
извлечение знаний: Создание знаний из структурированных ( реляционные базы данных , XML ) и неструктурированных ( текст , документы, изображения ) источников. Полученные знания должны быть в машиночитаемом и машиноинтерпретируемом формате и должны представлять знания таким образом, чтобы облегчить вывод. Хотя методически это похоже на извлечение информации ( NLP ) и ETL (хранилище данных), основным критерием является то, что результат извлечения выходит за рамки создания структурированной информации или преобразования в реляционную схему . Это требует либо повторного использования существующих формальных знаний (повторное использование идентификаторов или онтологий ), либо генерации схемы на основе исходных данных.
Формат обмена знаниями (KIF): Компьютерный язык, предназначенный для того, чтобы позволить системам обмениваться и повторно использовать информацию из систем, основанных на знаниях . KIF похож на фреймовые языки , такие как KL-ONE и LOOM , но в отличие от них его основная роль заключается не в качестве основы для выражения или использования знаний, а скорее в обмене знаниями между системами. Дизайнеры KIF сравнили его с PostScript . PostScript был разработан в первую очередь не как язык для хранения документов и управления ими, а скорее как формат обмена между системами и устройствами для обмена документами. Таким же образом KIF предназначен для облегчения обмена знаниями между различными системами, использующими разные языки, формализмы, платформы и т. д.
представление знаний и рассуждение (KR² или KR&R): Область искусственного интеллекта, предназначенная для представления информации о мире в форме, которую компьютерная система может использовать для решения сложных задач, таких как диагностика состояния здоровья или ведение диалога на естественном языке . Представление знаний включает в себя данные психологии ^[215] о том, как люди решают проблемы и представляют знания, чтобы разработать формализмы , которые упростят проектирование и построение сложных систем. Представление знаний и рассуждения также включают результаты логики для автоматизации различных видов рассуждений , таких как применение правил или отношений множеств и подмножеств . ^[216] Примеры формализмов представления знаний включают семантические сети , архитектуру систем , фреймы , правила и онтологии . Примеры автоматизированных механизмов рассуждения включают машины вывода , средства доказательства теорем и классификаторы.

л

языковая модель: Вероятностная модель, манипулирующая естественным языком .
большая языковая модель (LLM): Языковая модель с большим количеством параметров (обычно не менее миллиарда), которые корректируются во время обучения. Из-за своего размера для обучения требуется много данных и вычислительных мощностей. Большие языковые модели обычно основаны на архитектуре преобразователя. ^[217]
ленивое обучение: В машинном обучении ленивое обучение — это метод обучения, при котором обобщение обучающих данных теоретически откладывается до тех пор, пока к системе не будет сделан запрос, в отличие от нетерпеливого обучения , когда система пытается обобщить обучающие данные перед получением. запросы.
Лисп (язык программирования) (LISP): Семейство языков программирования с долгой историей и характерной префиксной записью , заключенной в круглые скобки . ^[218]
логическое программирование: Тип парадигмы программирования , в значительной степени основанный на формальной логике . Любая программа, написанная на языке логического программирования, представляет собой набор предложений в логической форме, выражающих факты и правила некоторой проблемной области. Основные семейства языков логического программирования включают Пролог, программирование набора ответов (ASP) и Datalog.
длинная кратковременная память (LSTM): Архитектура искусственной рекуррентной нейронной сети ^[219], используемая в области глубокого обучения. В отличие от стандартных нейронных сетей прямого распространения , LSTM имеет соединения обратной связи, которые делают его «компьютером общего назначения» (то есть он может вычислять все, что может машина Тьюринга). ^[220] Он может обрабатывать не только отдельные точки данных (например, изображения), но и целые последовательности данных (например, речь или видео).

М

машинное зрение (МВ): Технология и методы, используемые для обеспечения автоматического контроля и анализа на основе изображений для таких приложений, как автоматический контроль, управление процессами и управление роботами, обычно в промышленности. Машинное зрение — это термин, охватывающий большое количество технологий, программных и аппаратных продуктов, интегрированных систем, действий, методов и опыта. Машинное зрение как дисциплину системной инженерии можно считать отличной от компьютерного зрения , формы информатики . Он пытается по-новому интегрировать существующие технологии и применить их для решения проблем реального мира. Этот термин является распространенным для этих функций в средах промышленной автоматизации, но также используется для этих функций в других средах, таких как безопасность и управление транспортными средствами.
Цепь Маркова: Стохастическая модель , описывающая последовательность возможных событий, в которой вероятность каждого события зависит только от состояния, достигнутого в предыдущем событии. ^[221]^[222]^[223]
Марковский процесс принятия решений (MDP): Стохастический процесс управления с дискретным временем . Он обеспечивает математическую основу для моделирования принятия решений в ситуациях, когда результаты частично случайны , а частично находятся под контролем лица, принимающего решения. MDP полезны для изучения задач оптимизации , решаемых с помощью динамического программирования и обучения с подкреплением.
математическая оптимизация: В математике , информатике и исследовании операций — выбор лучшего элемента (по некоторому критерию) из некоторого набора доступных альтернатив. ^[224]
машинное обучение (МО): Научное исследование алгоритмов и статистических моделей , которые компьютерные системы используют для эффективного выполнения конкретной задачи без использования явных инструкций, вместо этого полагаясь на закономерности и логические выводы.
машинное прослушивание: Общая область изучения алгоритмов и систем машинного понимания звука. ^[225]^[226]
машинное восприятие: Способность компьютерной системы интерпретировать данные таким же образом, как люди используют свои чувства для взаимодействия с окружающим миром. ^[227]^[228]^[229]
конструкция механизма: Область экономики и теории игр , использующая инженерный подход к разработке экономических механизмов или стимулов для достижения желаемых целей в стратегических условиях , где игроки действуют рационально . Поскольку она начинается в конце игры, а затем идет в обратном направлении, ее также называют теорией обратной игры. Он имеет широкое применение: от экономики и политики (рынки, аукционы, процедуры голосования) до сетевых систем (междоменная маршрутизация в Интернете, спонсируемые поисковые аукционы).
мехатроника: Многопрофильная отрасль инженерии, которая фокусируется на разработке как электрических , так и механических систем , а также включает в себя сочетание робототехники , электроники , компьютеров , телекоммуникаций , систем , управления и разработки продуктов . ^[230]^[231]
реконструкция и моделирование метаболической сети: Позволяет глубже понять молекулярные механизмы конкретного организма. В частности, эти модели соотносят геном с молекулярной физиологией. ^[232]
метаэвристический: В информатике и математической оптимизации метаэвристика — это процедура или эвристика более высокого уровня , предназначенная для поиска, генерации или выбора эвристики (алгоритма частичного поиска), которая может обеспечить достаточно хорошее решение задачи оптимизации , особенно с неполной или несовершенной информацией. или ограниченная вычислительная мощность. ^[233]^[234] Метаэвристика выбирает набор решений, который слишком велик для полной выборки.
проверка модели: В информатике проверка модели или проверка свойств — это для данной модели системы исчерпывающая и автоматическая проверка того, соответствует ли эта модель заданной спецификации . Обычно имеются в виду аппаратные или программные системы, тогда как спецификация содержит требования безопасности, такие как отсутствие взаимоблокировок и подобных критических состояний, которые могут привести к сбою системы . Проверка модели — это метод автоматической проверки свойств корректности систем с конечным числом состояний .
модус поненс: В логике высказываний modus ponens — это правило вывода . ^[235] Его можно резюмировать следующим образом: « P подразумевает Q, а P утверждается как истинное, следовательно, Q должно быть истинным».
модус толленс: В логике высказываний modus tollens является допустимой формой аргумента и правилом вывода . Это применение общей истины, согласно которой, если утверждение истинно, то и обратное ему истинно . Правило вывода modus tollens утверждает, что вывод из P подразумевает Q , а отрицание Q подразумевает, что отрицание P допустимо.
Поиск по дереву Монте-Карло: В информатике поиск по дереву Монте-Карло (MCTS) — это эвристический алгоритм поиска для некоторых видов процессов принятия решений .
мультиагентная система (МАС): Компьютеризированная система, состоящая из множества взаимодействующих интеллектуальных агентов. Мультиагентные системы могут решать проблемы, которые сложно или невозможно решить отдельному агенту или монолитной системе . Интеллект может включать методический , функциональный , процедурный подходы, алгоритмический поиск или обучение с подкреплением.
многороевая оптимизация: Вариант оптимизации роя частиц (PSO), основанный на использовании нескольких подроев вместо одного (стандартного) роя. Общий подход к оптимизации нескольких роев заключается в том, что каждый под-рой фокусируется на определенном регионе, в то время как конкретный метод диверсификации решает, где и когда запускать под-рои. Структура мульти-роя особенно подходит для оптимизации мультимодальных задач, где существует несколько (локальных) оптимумов.
мутация: Генетический оператор , используемый для поддержания генетического разнообразия от одного поколения популяции хромосом генетического алгоритма к другому. Это аналогично биологической мутации . Мутация изменяет одно или несколько значений гена в хромосоме по сравнению с его исходным состоянием. При мутации решение может полностью измениться по сравнению с предыдущим решением. Следовательно, GA может прийти к лучшему решению, используя мутацию. Мутация происходит в ходе эволюции в соответствии с вероятностью мутации, определяемой пользователем. Эту вероятность следует установить низкой. Если оно установлено слишком высоким, поиск превратится в примитивный случайный поиск.
Мицин: Ранняя экспертная система обратной цепочки , которая использовала искусственный интеллект для выявления бактерий, вызывающих тяжелые инфекции, такие как бактериемия и менингит , и рекомендовала антибиотики с дозировкой, адаптированной к массе тела пациента – название произошло от самих антибиотиков, поскольку многие антибиотики имеют название суффикс «-мицин». Система MYCIN также использовалась для диагностики заболеваний свертываемости крови.

Н

наивный классификатор Байеса: В машинном обучении наивные классификаторы Байеса представляют собой семейство простых вероятностных классификаторов , основанных на применении теоремы Байеса с сильными (наивными) предположениями о независимости между признаками.
наивная семантика: Подход, используемый в информатике для представления базовых знаний о конкретной области, а также в таких приложениях, как представление значения предложений естественного языка в приложениях искусственного интеллекта. В общем смысле этот термин использовался для обозначения использования ограниченного хранилища общепонятных знаний о конкретной области в мире и применялся к таким областям, как проектирование схем данных, основанное на знаниях. ^[236]
привязка имени: В языках программирования привязка имен — это ассоциация сущностей (данных и/или кода) с идентификаторами . ^[237] Говорят, что идентификатор, привязанный к объекту, ссылается на этот объект. В машинных языках нет встроенного понятия идентификаторов, но привязка имени к объекту как услуга и нотация для программиста реализуются языками программирования. Связывание тесно связано с областью видимости , поскольку область видимости определяет, какие имена привязываются к каким объектам – в каких местах программного кода ( лексически ) и в каком из возможных путей выполнения ( временно ). Использование идентификатора idв контексте, который устанавливает привязку, idназывается вхождением привязки (или определения). Во всех других случаях (например, в выражениях, присваиваниях и вызовах подпрограмм) идентификатор обозначает то, с чем он связан; такие явления называются прикладными явлениями.
распознавание именованных объектов (NER): Подзадача извлечения информации , целью которой является поиск и классификация упоминаний названных объектов в неструктурированном тексте по заранее определенным категориям, таким как имена людей, организации, местоположения, медицинские коды , выражения времени, количества, денежные значения, проценты и т. д.
именованный граф: Ключевая концепция архитектуры семантической паутины , в которой набор операторов структуры описания ресурсов ( график ) идентифицируется с использованием URI , ^[238] позволяющий создавать описания этого набора операторов, такие как контекст, информация о происхождении или другие подобные метаданные . Именованные графы являются простым расширением модели данных RDF ^[239] , с помощью которой можно создавать графики, но в модели отсутствуют эффективные средства различения между ними после их публикации в Интернете .
генерация естественного языка (NLG): Программный процесс, который преобразует структурированные данные в контент на простом английском языке. Его можно использовать для создания подробного контента для организаций для автоматизации пользовательских отчетов, а также для создания пользовательского контента для веб-приложений или мобильных приложений. Его также можно использовать для создания коротких фрагментов текста в интерактивных беседах ( чат-бот ), которые могут даже быть прочитаны вслух системой преобразования текста в речь .
обработка естественного языка (НЛП): Подобласть информатики, информационной инженерии и искусственного интеллекта, занимающаяся взаимодействием между компьютерами и человеческими (естественными) языками, в частности, тем, как программировать компьютеры для обработки и анализа больших объемов данных на естественном языке .
программирование на естественном языке: Способ программирования с использованием онтологий с использованием предложений естественного языка , например английского . ^[240]
сетевой мотив: Все сети, включая биологические сети, социальные сети, технологические сети (например, компьютерные сети и электрические схемы) и многое другое, могут быть представлены в виде графов , включающих большое количество разнообразных подграфов. Одним из важных локальных свойств сетей являются так называемые сетевые мотивы, которые определяются как повторяющиеся и статистически значимые подграфы или шаблоны.
нейронный машинный перевод (NMT): Подход к машинному переводу , который использует большую искусственную нейронную сеть для прогнозирования вероятности последовательности слов, обычно моделируя целые предложения в одной интегрированной модели.
нейронная сеть: Нейронная сеть может относиться либо к нейронной цепи биологических нейронов (иногда также называемой биологической нейронной сетью ), либо к сети искусственных нейронов или узлов в случае искусственной нейронной сети . ^[241] Искусственные нейронные сети используются для решения задач искусственного интеллекта (ИИ); они моделируют связи биологических нейронов как веса между узлами. Положительный вес отражает возбуждающую связь, а отрицательные значения означают тормозящие связи. Все входные данные модифицируются по весу и суммируются. Эта деятельность называется линейной комбинацией . Наконец, функция активации контролирует амплитуду выходного сигнала. Например, приемлемый диапазон выходных данных обычно составляет от 0 до 1 или от −1 до 1.
нейронная машина Тьюринга (НТМ): Рекуррентная модель нейронной сети . НТМ сочетают в себе возможности нейронных сетей по нечеткому сопоставлению с алгоритмической мощью программируемых компьютеров . NTM имеет контроллер нейронной сети, связанный с ресурсами внешней памяти , с которыми он взаимодействует посредством механизмов внимания. Взаимодействия с памятью являются сквозными дифференцируемыми, что позволяет оптимизировать их с помощью градиентного спуска . ^[242] NTM с сетевым контроллером с длинной краткосрочной памятью (LSTM) может выводить простые алгоритмы, такие как копирование, сортировка и ассоциативный вызов, только на основе примеров. ^[243]
нейро-нечеткий: Комбинации искусственных нейронных сетей и нечеткой логики.
нейрокибернетика: Прямой путь связи между расширенным или проводным мозгом и внешним устройством. BCI отличается от нейромодуляции тем, что обеспечивает двунаправленный поток информации. BCI часто направлены на исследование, картирование, помощь, улучшение или восстановление когнитивных или сенсомоторных функций человека. ^[244]
нейроморфная инженерия: Концепция, описывающая использование систем очень большой интеграции (СБИС), содержащих электронные аналоговые схемы для имитации нейробиологической архитектуры, присутствующей в нервной системе. ^[245] В последнее время термин « нейроморфный» используется для описания аналоговых, цифровых, смешанных аналогово-цифровых СБИС и программных систем, которые реализуют модели нейронных систем (для восприятия , управления движением или мультисенсорной интеграции ). Реализация нейроморфных вычислений на аппаратном уровне может быть реализована с помощью мемристоров на основе оксидов , ^[246] спинтронной памяти, ^[247] пороговых переключателей и транзисторов . ^[248]^[249]^[250]^[251]
узел: Базовая единица структуры данных , например связанный список или древовидная структура данных. Узлы содержат данные , а также могут быть связаны с другими узлами. Ссылки между узлами часто реализуются указателями .
недетерминированный алгоритм: Алгоритм, который даже для одних и тех же входных данных может демонстрировать разное поведение при разных запусках, в отличие от детерминированного алгоритма .
новый ИИ: Nouvelle AI отличается от классического искусственного интеллекта тем, что стремится создавать роботов с уровнем интеллекта, подобным насекомым. Исследователи полагают, что интеллект может возникнуть органически из простого поведения, когда этот интеллект взаимодействует с «реальным миром», вместо использования сконструированных миров, которые символическому ИИ обычно необходимо было запрограммировать в них. ^[252]
НП: В теории сложности вычислений NP (недетерминированное полиномиальное время) — это класс сложности, используемый для классификации проблем принятия решений . NP — это набор задач решения, для которых экземпляры задач , где ответ «да», имеют доказательства , проверяемые за полиномиальное время . ^[253]^{[Примечание 1]}
NP-полнота: В теории сложности вычислений задача считается NP-полной, если ее можно решить с помощью ограниченного класса алгоритмов поиска методом перебора и можно использовать для моделирования любой другой задачи с помощью аналогичного алгоритма. Точнее, каждый вход задачи должен быть связан с набором решений полиномиальной длины, достоверность которых можно быстро проверить (за полиномиальное время ^[254] ), так что выход для любого входа будет «да», если набор решений непусто и «нет», если оно пусто.
NP-твердость: В теории сложности вычислений - определяющее свойство класса задач, которые, неформально, «по крайней мере так же сложны, как самые сложные проблемы в NP». Простым примером NP-трудной задачи является задача о сумме подмножеств .

О

бритва Оккама: Принцип решения проблем, который гласит, что при представлении конкурирующих гипотез , делающих одни и те же прогнозы, следует выбрать решение с наименьшим количеством предположений; ^[255] этот принцип не предназначен для фильтрации гипотез, которые делают разные предсказания. Идея приписывается английскому монаху- францисканцу Уильяму Оккаму ( ок. 1287–1347), схоластическому философу и теологу .
оффлайн обучение
машинное обучение онлайн: Метод машинного обучения, при котором данные становятся доступными в последовательном порядке и используются для обновления лучшего предиктора для будущих данных на каждом этапе, в отличие от методов пакетного обучения, которые генерируют лучший предиктор путем одновременного обучения на всем наборе обучающих данных. . Онлайн-обучение — это распространенный метод, используемый в областях машинного обучения, где вычислительно невозможно обучить весь набор данных, что требует использования внешних алгоритмов. Он также используется в ситуациях, когда алгоритму необходимо динамически адаптироваться к новым закономерностям в данных или когда сами данные генерируются как функция времени.
обучение онтологии: Автоматическое или полуавтоматическое создание онтологий , включая извлечение соответствующих терминов предметной области и отношений между понятиями , которые эти термины представляют, из корпуса текста на естественном языке, а также их кодирование с помощью языка онтологий для облегчения поиска.
ОпенАИ: Коммерческая корпорация OpenAI LP, материнской организацией которой является некоммерческая организация OpenAI Inc ^[256] , которая проводит исследования в области искусственного интеллекта (ИИ) с заявленной целью продвижения и развития дружественного ИИ таким образом, чтобы принести пользу человечеству в целом.
OpenCog: Проект, целью которого является создание платформы искусственного интеллекта с открытым исходным кодом. OpenCog Prime — это архитектура для роботизированного и виртуального воплощенного познания , которая определяет набор взаимодействующих компонентов, предназначенных для создания общего искусственного интеллекта (AGI), эквивалентного человеческому, как возникающего явления всей системы. ^[257]
Открытый разум, здравый смысл: Проект искусственного интеллекта, базирующийся в Медиа-лаборатории Массачусетского технологического института (MIT) , цель которого — создать и использовать большую базу знаний, основанную на здравом смысле , на основе вклада многих тысяч людей в Интернете.
программное обеспечение с открытым исходным кодом (OSS): Тип компьютерного программного обеспечения , исходный код которого распространяется по лицензии , согласно которой владелец авторских прав предоставляет пользователям права на изучение, изменение и распространение программного обеспечения кому угодно и для любых целей. ^[258]Программное обеспечение с открытым исходным кодом может разрабатываться совместно с общественностью . Программное обеспечение с открытым исходным кодом является ярким примером открытого сотрудничества . ^[259]

п

частичное сокращение заказа: Метод уменьшения размера пространства состояний, в котором осуществляется поиск, с помощью алгоритма проверки модели или автоматического планирования и планирования . Он использует коммутативность одновременно выполняемых переходов , которые приводят к одному и тому же состоянию при выполнении в разных порядках.
частично наблюдаемый марковский процесс принятия решений (POMDP): Обобщение марковского процесса принятия решений (MDP). POMDP моделирует процесс принятия решений агентом, в котором предполагается, что динамика системы определяется MDP, но агент не может напрямую наблюдать основное состояние. Вместо этого он должен поддерживать распределение вероятностей по множеству возможных состояний на основе набора наблюдений и вероятностей наблюдений, а также лежащего в основе MDP.
оптимизация роя частиц (PSO): Вычислительный метод, который оптимизирует задачу, итеративно пытаясь улучшить возможное решение с учетом заданной меры качества. Он решает проблему, имея совокупность возможных решений, называемых здесь частицами , и перемещая эти частицы в пространстве поиска в соответствии с простыми математическими формулами относительно положения и скорости частицы. На движение каждой частицы влияет ее локальное наиболее известное положение, но оно также направляется к наиболее известным позициям в пространстве поиска, которые обновляются по мере того, как другие частицы находят лучшие позиции. Ожидается, что это подтолкнет рой к лучшим решениям.
Найти путь: Построение с помощью компьютерного приложения кратчайшего маршрута между двумя точками. Это более практичный вариант решения лабиринтов . Эта область исследований в значительной степени основана на алгоритме Дейкстры для поиска кратчайшего пути на взвешенном графе .
распознавание образов: Занимается автоматическим обнаружением закономерностей в данных с помощью компьютерных алгоритмов и использованием этих закономерностей для принятия таких действий, как классификация данных по различным категориям. ^[260]
логика предикатов: Коллекция формальных систем, используемых в математике , философии , лингвистике и информатике . Логика первого порядка использует количественные переменные вместо нелогических объектов и позволяет использовать предложения, содержащие переменные, так что вместо таких предложений, как « Сократ — это человек », можно иметь выражения в форме «существует x такой, что x есть Сократ и x — человек», и существует квантификатор, а x — переменная. ^[179] Это отличает ее от логики высказываний , которая не использует кванторы или отношения ; ^[261] в этом смысле логика высказываний является основой логики первого порядка.
прогнозная аналитика: Разнообразные статистические методы, включая интеллектуальный анализ данных , прогнозное моделирование и машинное обучение, которые анализируют текущие и исторические факты, чтобы делать прогнозы о будущих или неизвестных событиях. ^[262]^[263]
анализ главных компонент (PCA): Статистическая процедура, использующая ортогональное преобразование для преобразования набора наблюдений возможно коррелирующих переменных (объектов, каждая из которых принимает различные числовые значения) в набор значений линейно некоррелированных переменных, называемых главными компонентами. Это преобразование определяется таким образом, что первый главный компонент имеет максимально возможную дисперсию (то есть учитывает как можно большую изменчивость данных), а каждый последующий компонент, в свою очередь, имеет максимально возможную дисперсию при ограничение, что он ортогонален предыдущим компонентам. Результирующие векторы (каждый из которых представляет собой линейную комбинацию переменных и содержит n наблюдений) представляют собой некоррелированный ортогональный базисный набор . PCA чувствителен к относительному масштабированию исходных переменных.
принцип рациональности: Принцип, сформулированный Карлом Р. Поппером в его Гарвардской лекции 1963 года и опубликованный в его книге «Миф о структуре» . ^[264] Это связано с тем, что он назвал «логикой ситуации» в статье «Экономика» 1944–1945 годов, опубликованной позже в его книге «Бедность историзма» . ^[265] Согласно принципу рациональности Поппера, агенты действуют наиболее адекватным образом в соответствии с объективной ситуацией. Это идеализированная концепция человеческого поведения, которую он использовал в качестве модели ситуационного анализа .
вероятностное программирование (ПП): Парадигма программирования , в которой задаются вероятностные модели и вывод для этих моделей выполняется автоматически. ^[266] Он представляет собой попытку объединить вероятностное моделирование и традиционное программирование общего назначения, чтобы сделать первое более простым и более широко применимым. ^[267]^[268] Его можно использовать для создания систем, помогающих принимать решения в условиях неопределенности. Языки программирования, используемые для вероятностного программирования, называются «вероятностными языками программирования» (PPL).
производственная система
язык программирования: Формальный язык, который включает в себя набор инструкций , которые производят различные виды вывода . Языки программирования используются в компьютерном программировании для реализации алгоритмов.
Пролог: Язык логического программирования, связанный с искусственным интеллектом и компьютерной лингвистикой . ^[269]^[270]^[271] Пролог уходит своими корнями в логику первого порядка , формальную логику , и в отличие от многих других языков программирования , Пролог задуман в первую очередь как декларативный язык программирования: логика программы выражается в терминах отношений, представлены в виде фактов и правил . Вычисление инициируется путем выполнения запроса по этим отношениям. ^[272]
исчисление высказываний: Раздел логики , который занимается предложениями (которые могут быть истинными или ложными) и потоком аргументов. Сложные предложения образуются путем соединения предложений логическими связками . Предложения без логических связок называются атомарными предложениями. В отличие от логики первого порядка , логика высказываний не имеет дело с нелогическими объектами, предикатами о них или кванторами. Однако весь механизм логики высказываний включен в логику первого порядка и логику высшего порядка. В этом смысле логика высказываний является основой логики первого порядка и логики высшего порядка.
Питон: Интерпретируемый высокоуровневый язык программирования общего назначения , созданный Гвидо ван Россумом и впервые выпущенный в 1991 году . Философия дизайна Python подчеркивает читаемость кода за счет заметного использования значительных пробелов . Его языковые конструкции и объектно-ориентированный подход призваны помочь программистам писать понятный и логичный код для небольших и крупномасштабных проектов. ^[273]

вопрос

квалификационная проблема: В философии и искусственном интеллекте (особенно в системах, основанных на знаниях) проблема квалификации связана с невозможностью перечислить все предварительные условия, необходимые для того, чтобы действие в реальном мире имело запланированный эффект. ^[274]^[275] Это можно было бы представить как бороться с вещами, которые мешают мне достичь намеченного результата . Она тесно связана с проблемой фрейма и противоположна ее стороне разветвления . ^[274]
квантификатор: В логике количественная оценка определяет количество экземпляров в области дискурса , которые удовлетворяют открытой формуле . Два наиболее распространенных квантора означают « для всех » и « существует ». Например, в арифметике кванторы позволяют сказать, что натуральные числа продолжаются вечно, записывая, что для всех n (где n — натуральное число) существует другое число (скажем, последующее n), которое на единицу больше. чем н.
квантовые вычисления: Использование квантово-механических явлений, таких как суперпозиция и запутанность, для выполнения вычислений . Для выполнения таких вычислений используется квантовый компьютер, который может быть реализован теоретически или физически. ^[276]^{: И-5}
язык запросов: Языки запросов или языки запросов к данным (DQL) — это компьютерные языки , используемые для выполнения запросов в базах данных и информационных системах . В широком смысле языки запросов можно классифицировать в зависимости от того, являются ли они языками запросов к базам данных или языками запросов для поиска информации . Разница в том, что язык запросов к базе данных пытается дать фактические ответы на фактические вопросы, тогда как язык запросов для поиска информации пытается найти документы, содержащие информацию, относящуюся к области исследования.

р

язык программирования R: Язык программирования и бесплатная программная среда для статистических вычислений и графики, поддерживаемые R Foundation for Statistical Computing. ^[277] Язык R широко используется статистиками и специалистами по сбору данных для разработки статистического программного обеспечения ^[278] и анализа данных . ^[279]
сеть радиальных базисных функций: В области математического моделирования сеть радиальных базисных функций представляет собой искусственную нейронную сеть, которая использует радиальные базисные функции в качестве функций активации . Выход сети представляет собой линейную комбинацию радиальных базисных функций входов и параметров нейрона. Сети радиальных базисных функций имеют множество применений, включая аппроксимацию функций , прогнозирование временных рядов , классификацию и управление системой . Впервые они были сформулированы в статье 1988 года Брумхедом и Лоу, исследователями из Королевского института сигналов и радаров . ^[280]^[281]^[282]
случайный лес: Метод ансамблевого обучения для классификации , регрессии и других задач, который работает путем построения множества деревьев решений во время обучения и вывода класса, который является режимом классов (классификация) или средним предсказанием (регрессия) отдельных деревьев. ^[283]^[284] Случайные леса решений корректируют привычку деревьев решений подстраиваться под свой обучающий набор . ^[285]
система рассуждений: В информационных технологиях система рассуждений — это программная система , которая генерирует выводы на основе имеющихся знаний с использованием логических методов, таких как дедукция и индукция . Системы рассуждения играют важную роль в реализации искусственного интеллекта и систем, основанных на знаниях .
рекуррентная нейронная сеть (RNN): Класс искусственных нейронных сетей, в которых связи между узлами образуют ориентированный граф во временной последовательности. Это позволяет ему демонстрировать временное динамическое поведение. В отличие от нейронных сетей прямого распространения , RNN могут использовать свое внутреннее состояние (память) для обработки последовательностей входных данных. Это делает их применимыми для таких задач, как несегментированное, связанное распознавание рукописного текста ^[286] или распознавание речи . ^[287]^[288]
исчисление связей между регионами
обучение с подкреплением (RL): Область машинного обучения, связанная с тем, как программные агенты должны действовать в окружающей среде, чтобы максимизировать некоторое понятие совокупного вознаграждения. Обучение с подкреплением — одна из трех основных парадигм машинного обучения, наряду с обучением с учителем и обучением без учителя . Оно отличается от обучения с учителем тем, что не требуется представлять помеченные пары ввода/вывода и не нужно явно корректировать неоптимальные действия. Вместо этого основное внимание уделяется поиску баланса между исследованием (неизведанной территории) и эксплуатацией (современных знаний). ^[289]
Обучение с подкреплением на основе обратной связи с человеком (RLHF): Метод, который включает в себя обучение «модели вознаграждения» для прогнозирования того, как люди оценивают качество сгенерированного контента, а затем обучение генеративной модели ИИ для удовлетворения этой модели вознаграждения посредством обучения с подкреплением. Его можно использовать, например, для того, чтобы сделать генеративную модель ИИ более правдивой или менее вредной. ^[290]
расчет пласта: Платформа для вычислений, которую можно рассматривать как расширение нейронных сетей. ^[291] Обычно входной сигнал подается в фиксированную (случайную) динамическую систему , называемую резервуаром , и динамика резервуара отображает входной сигнал в более высокое измерение. Затем простой механизм считывания обучается считывать состояние резервуара и отображать его на желаемый результат. Основное преимущество заключается в том, что обучение осуществляется только на этапе считывания и резервуар фиксируется. Машины с жидким состоянием ^[292] и сети эхо-состояний ^[293] являются двумя основными типами резервуарных вычислений. ^[294]
Структура описания ресурсов (RDF): Семейство спецификаций Консорциума Всемирной паутины (W3C) ^[295], первоначально разработанных как модель метаданных . Он стал использоваться в качестве общего метода концептуального описания или моделирования информации, реализованной в веб-ресурсах , с использованием различных синтаксических обозначений и форматов сериализации данных . Он также используется в приложениях для управления знаниями .
ограниченная машина Больцмана (RBM): Генеративная стохастическая искусственная нейронная сеть, которая может изучать распределение вероятностей по набору входных данных.
Алгоритм Рете: Алгоритм сопоставления с образцом для реализации систем, основанных на правилах . Алгоритм был разработан для эффективного применения множества правил или шаблонов ко многим объектам или фактам в базе знаний . Он используется для определения того, какое из правил системы должно сработать, на основе хранилища данных и фактов.
робототехника: Междисциплинарная отрасль науки и техники, включающая машиностроение , электронную инженерию , информационную инженерию , информатику и другие. Робототехника занимается проектированием, конструированием, эксплуатацией и использованием роботов , а также компьютерных систем для их управления, сенсорной обратной связи и обработки информации .
система, основанная на правилах: В информатике система, основанная на правилах, используется для хранения и манипулирования знаниями для полезной интерпретации информации. Он часто используется в приложениях и исследованиях искусственного интеллекта. Обычно термин « система, основанная на правилах» , применяется к системам, включающим созданные человеком или курируемые наборы правил. Системы, основанные на правилах, построенные с использованием автоматического вывода правил, такие как машинное обучение на основе правил , обычно исключаются из этого типа систем.

С

выполнимость: В математической логике выполнимость и обоснованность являются элементарными понятиями семантики . Формула является выполнимой , если можно найти интерпретацию ( модель ), которая делает формулу истинной. ^[296] Формула действительна , если все интерпретации делают ее истинной. Противоположностями этих понятий являются невыполнимость и недействительность, то есть формула невыполнима, если ни одна из интерпретаций не делает формулу истинной, и недействительна , если какая-то такая интерпретация делает формулу ложной. Эти четыре понятия связаны друг с другом точно так же, как квадрат оппозиции Аристотеля .
алгоритм поиска: Любой алгоритм, который решает задачу поиска , а именно, извлекает информацию, хранящуюся в некоторой структуре данных или вычисляемую в пространстве поиска проблемной области , с дискретными или непрерывными значениями .
выбор: Этап генетического алгоритма, на котором из популяции выбираются отдельные геномы для последующего разведения (с помощью оператора скрещивания ).
самоуправление: Процесс, посредством которого компьютерные системы управляют своей работой без вмешательства человека.
семантическая сеть: База знаний , которая представляет семантические отношения между понятиями в сети. Это часто используется как форма представления знаний . Это ориентированный или неориентированный граф, состоящий из вершин , которые представляют понятия , и ребер , которые представляют семантические отношения между понятиями, ^[297] отображающие или соединяющие семантические поля .
семантический мыслитель: Часть программного обеспечения, способная выводить логические следствия из набора установленных фактов или аксиом . Понятие семантического рассуждения обобщает понятие машины вывода , предоставляя более богатый набор механизмов для работы. Правила вывода обычно задаются с помощью языка онтологий и часто языка логики описания . Многие исследователи для рассуждений используют логику предикатов первого порядка ; Вывод обычно осуществляется путем прямого и обратного связывания.
семантический запрос: Позволяет выполнять запросы и аналитику ассоциативного и контекстного характера. Семантические запросы позволяют извлекать как явно, так и неявно полученную информацию на основе синтаксической, семантической и структурной информации, содержащейся в данных. Они предназначены для получения точных результатов (возможно, четкого выбора одного фрагмента информации) или для ответа на более нечеткие и широко открытые вопросы посредством сопоставления шаблонов и цифровых рассуждений .
семантика: В теории языков программирования семантика — это область, занимающаяся строгим математическим исследованием значения языков программирования. Он делает это, оценивая значение синтаксически допустимых строк , определенных конкретным языком программирования, и показывая задействованные вычисления. В таком случае, если оценка будет состоять из синтаксически недопустимых строк, результатом будет отсутствие вычислений. Семантика описывает процессы, которым следует компьютер при выполнении программы на этом конкретном языке. Это можно показать, описав взаимосвязь между входными и выходными данными программы или объяснив, как программа будет выполняться на определенной платформе , тем самым создав модель вычислений .
сенсорный синтез: Объединение сенсорных данных или данных, полученных из разрозненных источников, таким образом, чтобы полученная информация имела меньшую неопределенность, чем это было бы возможно при использовании этих источников по отдельности.
логика разделения: Расширение логики Хоара , способ рассуждения о программах. Язык утверждений логики разделения является частным случаем логики группированных импликаций (BI). ^[298]
обучение по сходству: Область контролируемого машинного обучения в области искусственного интеллекта. Он тесно связан с регрессией и классификацией , но цель состоит в том, чтобы изучить функцию сходства, которая измеряет, насколько похожи или связаны два объекта. Он имеет приложения для ранжирования , в системах рекомендаций , визуального отслеживания личности, проверки лица и проверки говорящего.
имитация отжига (SA): Вероятностный метод аппроксимации глобального оптимума заданной функции . В частности, это метаэвристика для аппроксимации глобальной оптимизации в большом пространстве поиска для задачи оптимизации .
Ситуационный подход: В исследованиях искусственного интеллекта ситуационный подход создает агентов, которые предназначены для эффективного и успешного поведения в своей среде. Это требует разработки ИИ «снизу вверх», сосредоточив внимание на базовых перцептивных и моторных навыках, необходимых для выживания. Ситуационный подход отдает гораздо меньший приоритет абстрактному мышлению или навыкам решения проблем.
ситуационный расчет: Логический формализм , предназначенный для представления и рассуждений о динамических областях.
Выборочное линейное разрешение определенного предложения: Основное правило вывода , используемое в логическом программировании . Это уточнение резолюции , которое является одновременно обоснованным и полным опровержением положений Хорна .
программное обеспечение: Набор данных или компьютерных инструкций, которые сообщают компьютеру, как работать. В этом отличие от физического оборудования , из которого система построена и фактически выполняет работу. В информатике и разработке программного обеспечения компьютерное программное обеспечение — это вся информация , обрабатываемая компьютерными системами , программами и данными . Компьютерное программное обеспечение включает в себя компьютерные программы , библиотеки и связанные с ними неисполняемые данные , такие как онлайн-документация или цифровые носители .
разработка программного обеспечения: Применение инженерии к разработке программного обеспечения систематическим методом. ^[299]^[300]^[301]
пространственно-временное мышление: Область искусственного интеллекта, основанная на компьютерных науках , когнитивной науке и когнитивной психологии . Теоретическая цель — с когнитивной стороны — предполагает представление и рассуждение пространственно-временных знаний в уме. Прикладная цель — с точки зрения вычислений — предполагает разработку систем управления автоматами высокого уровня для навигации и понимания времени и пространства.
СПАРКЛ: Язык запросов RDF , то есть язык семантических запросов для баз данных , способный извлекать и манипулировать данными, хранящимися в формате Resource Description Framework (RDF) . ^[302]^[303]
распознавание речи: Междисциплинарная область компьютерной лингвистики , которая разрабатывает методологии и технологии, позволяющие распознавать и переводить разговорную речь в текст с помощью компьютеров. Он также известен как автоматическое распознавание речи (ASR), компьютерное распознавание речи или преобразование речи в текст (STT). Он включает в себя знания и исследования в области лингвистики , информатики и электротехники .
импульсная нейронная сеть (SNN): Искусственная нейронная сеть, которая более точно имитирует естественную нейронную сеть. ^[304] В дополнение к состоянию нейронов и синапсов SNN включают в свою операционную модель концепцию времени .
состояние: В информационных технологиях и информатике программа описывается как сохраняющая состояние, если она предназначена для запоминания предыдущих событий или действий пользователя; ^[305] Запомненная информация называется состоянием системы.
статистическая классификация: В машинном обучении и статистике классификация — это проблема определения того, к какой из множества категорий (субпопуляций) принадлежит новое наблюдение, на основе обучающего набора данных, содержащих наблюдения (или экземпляры), принадлежность к категории которых известна. Примерами могут служить отнесение данного электронного письма к классу «спам» или «не спам» , а также назначение диагноза данному пациенту на основе наблюдаемых характеристик пациента (пол, артериальное давление, наличие или отсутствие определенных симптомов и т. д.). . Классификация является примером распознавания образов .
статистическое реляционное обучение (SRL): Поддисциплина искусственного интеллекта и машинного обучения, которая занимается моделями предметной области , которые демонстрируют как неопределенность (с которой можно справиться с помощью статистических методов), так и сложную реляционную структуру. ^[306]^[307] Обратите внимание, что в литературе SRL иногда называют реляционным машинным обучением (RML). Обычно формализмы представления знаний , разработанные в SRL, используют (подмножество) логику первого порядка для описания реляционных свойств предметной области в общем виде ( универсальная количественная оценка ) и опираются на вероятностные графические модели (такие как байесовские сети или сети Маркова ) для моделировать неопределенность; некоторые также основываются на методах индуктивного логического программирования .
стохастическая оптимизация (СО): Любой метод оптимизации , генерирующий и использующий случайные переменные . В стохастических задачах случайные величины появляются в формулировке самой задачи оптимизации, которая включает в себя случайные целевые функции или случайные ограничения. К методам стохастической оптимизации также относятся методы со случайными итерациями. Некоторые методы стохастической оптимизации используют случайные итерации для решения стохастических задач, сочетая оба значения стохастической оптимизации. ^[308] Методы стохастической оптимизации обобщают детерминированные методы для детерминированных задач.
стохастический семантический анализ: Подход, используемый в информатике как семантический компонент понимания естественного языка . Стохастические модели обычно используют определение сегментов слов как основных семантических единиц семантических моделей, а в некоторых случаях включают двухуровневый подход. ^[309]
Средство решения проблем Стэнфордского исследовательского института (STRIPS)
Эксперт предметной области
сверхинтеллект: Гипотетический агент, обладающий интеллектом, намного превосходящим интеллект самых ярких и одаренных людей. Сверхинтеллект также может относиться к свойству систем решения проблем (например, сверхразумных языковых переводчиков или помощников инженеров), независимо от того, воплощены ли эти интеллектуальные компетенции высокого уровня в агентах, действующих в физическом мире. Сверхразум может быть создан, а может и не быть создан в результате интеллектуального взрыва и связан с технологической сингулярностью.
контролируемое обучение: Задача машинного обучения по изучению функции, которая сопоставляет входные данные с выходными данными на основе примеров пар ввода-вывода. ^[310] Он выводит функцию изпомеченные обучающие данные , состоящие из набораобучающих примеров. ^[311] При обучении с учителем каждый пример представляет собойпару, состоящую из входного объекта (обычно вектора) и требуемого выходного значения (также называемогоуправляющим сигналом). Алгоритм обучения с учителем анализирует данные обучения и создает выведенную функцию, которую можно использовать для отображения новых примеров. Оптимальный сценарий позволит алгоритму правильно определить метки классов для невидимых экземпляров. Это требует от алгоритма обучения «разумного» обобщения обучающих данных на невидимые ситуации (см.Индуктивное смещение).
машины опорных векторов: В машинном обучении машины опорных векторов (SVM, также сети опорных векторов ^[312] ) представляют собой модели обучения с учителем и соответствующими алгоритмами обучения, которые анализируют данные, используемые для классификации и регрессионного анализа .
роевой интеллект (СИ): Коллективное поведение децентрализованных , самоорганизующихся систем, естественных или искусственных . Выражение было введено в контексте клеточных роботизированных систем. ^[313]
символический искусственный интеллект: Термин, обозначающий совокупность всех методов исследования искусственного интеллекта, основанных на «символических» (удобочитаемых) представлениях проблем, логике и поиске высокого уровня.
синтетический интеллект (СИ): Альтернативный термин для искусственного интеллекта, который подчеркивает, что интеллект машин не обязательно должен быть имитацией или каким-либо образом искусственным; это может быть подлинная форма интеллекта. ^[314]^[315]
системная нейробиология: Субдисциплина нейробиологии и системной биологии , изучающая структуру и функции нейронных цепей и систем. Это общий термин, охватывающий ряд областей исследований, посвященных тому, как ведут себя нервные клетки , когда они соединяются вместе, образуя нервные пути , нейронные цепи и более крупные мозговые сети .

Т

технологическая сингулярность: Гипотетическая точка в будущем, когда технологический рост станет неконтролируемым и необратимым, что приведет к непостижимым изменениям в человеческой цивилизации . ^[316]^[317]^[318]
обучение временной разнице: Класс методов обучения с подкреплением без модели , которые обучаются путем начальной загрузки текущей оценки функции ценности. Эти методы выбирают данные из окружающей среды, например методы Монте-Карло , и выполняют обновления на основе текущих оценок, как методы динамического программирования . ^[319]
теория тензорных сетей: Теория функции мозга (особенно мозжечка ), которая предоставляет математическую модель преобразования сенсорных пространственно - временных координат в двигательные координаты и наоборот нейронными сетями мозжечка . Теория развивалась как геометризация функций мозга (особенно центральной нервной системы ) с помощью тензоров . ^[320]^[321]
Тензорфлоу: Бесплатная библиотека программного обеспечения с открытым исходным кодом для управления потоками данных и дифференцированного программирования для решения широкого спектра задач. Это символьная математическая библиотека, которая также используется в приложениях машинного обучения, таких как нейронные сети. ^[322]
теоретическая информатика (TCS): Подраздел общей информатики и математики , который фокусируется на более математических темах вычислений и включает теорию вычислений .
теория вычислений: В теоретической информатике и математике теория вычислений — это раздел, который занимается изучением того, насколько эффективно проблемы могут быть решены на модели вычислений с использованием алгоритма. Эта область разделена на три основных раздела: теория автоматов и языков, теория вычислимости и теория сложности вычислений, которые связаны вопросом: «Каковы фундаментальные возможности и ограничения компьютеров?». ^[323]
Выборка Томпсона: Эвристика выбора действий, которая решает дилемму разведки-эксплуатации в задаче о многоруких бандитах . Он заключается в выборе действия, которое максимизирует ожидаемое вознаграждение относительно случайно выбранного убеждения. ^[324]^[325]
временная сложность: Вычислительная сложность , которая описывает количество времени, необходимое для запуска алгоритма. Временная сложность обычно оценивается путем подсчета количества элементарных операций, выполняемых алгоритмом, при условии, что выполнение каждой элементарной операции занимает фиксированное количество времени. Таким образом, количество затраченного времени и количество элементарных операций, выполняемых алгоритмом, считаются различающимися не более чем в постоянный коэффициент .
трансформатор: Тип архитектуры глубокого обучения, в которой используется механизм внимания нескольких голов. Трансформаторы устраняют некоторые ограничения LSTM и стали широко использоваться при обработке естественного языка, хотя они также могут обрабатывать другие типы данных, такие как изображения в случае преобразователей зрения . ^[326]
трансгуманизм: Международное философское движение , выступающее за преобразование условий жизни человека путем разработки и широкого распространения сложных технологий, значительно улучшающих человеческий интеллект и физиологию. ^[327]^[328]
переходная система: В теоретической информатике переходная система — это концепция, используемая при изучении вычислений . Он используется для описания потенциального поведения дискретных систем. Он состоит из состояний и переходов между состояниями, которые могут быть помечены метками, выбранными из набора; одна и та же метка может появляться более чем на одном переходе. Если набор меток является синглтоном , система по сути не имеет меток, и возможно более простое определение, в котором метки отсутствуют.
обход дерева: Форма обхода графа , относящаяся к процессу посещения (проверки и/или обновления) каждого узла в древовидной структуре данных ровно один раз. Такие обходы классифицируются по порядку посещения узлов.
истинная количественная булева формула: В теории сложности вычислений язык TQBF является формальным языком, состоящим из истинных количественных булевых формул. (Полностью) квантифицированная булева формула — это формула в квантифицированной логике высказываний , в которой каждая переменная количественно определяется (или ограничивается ) с использованием кванторов существования или универсальности в начале предложения. Такая формула эквивалентна либо истине, либо ложности (поскольку свободных переменных нет ). Если такая формула верна, то эта формула написана на языке TQBF. Он также известен как QSAT (количественный SAT).
Машина Тьюринга
Тест Тьюринга: Тест способности машины демонстрировать разумное поведение, эквивалентное поведению человека или неотличимое от него, разработанный Аланом Тьюрингом в 1950 году. Тьюринг предположил, что оценщик-человек будет оценивать разговоры на естественном языке между человеком и машиной, предназначенные для создания человеческих сообщений. -подобные ответы. Оценщик будет знать, что один из двух собеседников является машиной, и все участники будут отделены друг от друга. Разговор будет ограничен только текстовым каналом, таким как компьютерная клавиатура и экран , поэтому результат не будет зависеть от способности машины отображать слова как речь. ^[329] Если оценщик не может достоверно отличить машину от человека, говорят, что машина прошла испытание. Результаты теста не зависят от способности машины давать правильные ответы на вопросы, а лишь от того, насколько близко ее ответы похожи на те, которые дал бы человек.
система типов: В языках программирования — набор правил, которые присваивают свойство, называемое типом, различным конструкциям компьютерной программы , таким как переменные , выражения , функции или модули . ^[330] Эти типы формализуют и реализуют неявные категории, которые программист использует для алгебраических типов данных , структур данных или других компонентов (например, «строка», «массив с плавающей запятой», «функция, возвращающая логическое значение»). Основная цель системы типов — уменьшить вероятность ошибок в компьютерных программах ^[331] путем определения интерфейсов между различными частями компьютерной программы, а затем проверки того, что эти части соединены согласованным образом. Эта проверка может происходить статически (во время компиляции ), динамически (во время выполнения ) или в виде комбинации статической и динамической проверки. Системы типов имеют и другие цели, такие как выражение бизнес-правил, обеспечение определенной оптимизации компилятора, возможность множественной отправки , предоставление формы документации и т. д.

ты

обучение без присмотра: Тип самоорганизованного обучения Хебба , который помогает находить ранее неизвестные закономерности в наборе данных без заранее существовавших меток. Это также известно как самоорганизация и позволяет моделировать плотности вероятности заданных входных данных. ^[332] Это одна из трех основных категорий машинного обучения, наряду с обучением с учителем и обучением с подкреплением. Также было описано обучение с полуконтролем, которое представляет собой гибрид методов с учителем и без учителя.

В

блок обработки изображений (VPU): Тип микропроцессора , предназначенный для ускорения задач машинного зрения. ^[333]^[334]Выравнивание значений завершено. Аналогично задаче полного выравнивания значений , задача полного выравнивания значений — это проблема, для решения которой необходимо полностью решить проблему управления ИИ . ^{[ нужна цитата ]}

Вт

Ватсон: Компьютерная система «вопрос-ответ» , способная отвечать на вопросы, заданные на естественном языке , ^[335] разработана в рамках проекта IBM DeepQA исследовательской группой под руководством главного исследователя Дэвида Ферруччи . ^[336] Watson был назван в честь первого генерального директора IBM, промышленника Томаса Дж. Уотсона . ^[337]^[338]
слабый ИИ: Искусственный интеллект, ориентированный на одну узкую задачу. ^[339]^[340]^[341]
Консорциум Всемирной паутины (W3C): Основная международная организация по стандартизации Всемирной паутины (сокращенно WWW или W3).

Смотрите также

Искусственный интеллект

Примечания

^ Полиномиальное время показывает, насколько быстро растет количество операций, необходимых алгоритму, относительно размера задачи. Следовательно, это мера эффективности алгоритма.

Глоссарий искусственного интеллекта

А

Б

С

Д

Э

Ф

г

ЧАС

я

Дж

К

л

М

Н

О

п

вопрос

р

С

Т

ты

В

Вт

Смотрите также

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

Цитируемые работы

Примечания