Пролог — язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.
Ло́гика (др.-греч. λογική — «наука о правильном мышлении»; «способность к рассуждению»; от λόγος «учение, наука») — философская дисциплина и нормативная наука о законах, формах и приёмах интеллектуальной деятельности.
Компара́тор, нуль-орган — устройство, сравнивающее величины аналоговых сигналов. Для аналоговых сигналов компаратор является логическим элементом с релейным режимом работы.
Теория возможностей — математическая теория, имеющая дело с особым типом неопределенности, альтернативна теории вероятностей. Профессор Лотфи Заде впервые ввел теорию возможностей в 1978 году в качестве расширения его теорий нечётких множеств и нечёткой логики. Д. Дюбуа и Г. Праде позже внесли свой вклад в её развитие. Раньше, в 1950-х годах экономист Дж. Шекл предложил min/max-алгебру для описания степени потенциальных неожиданностей. В конце 1990-х годов профессор МГУ Ю. П. Пытьев предложил вариант теории возможностей, в котором возможность и необходимость определяются значениями линейного счётно-аддитивного функционала (интеграла).
CLIPS, — программная среда для разработки экспертных систем. Синтаксис и название предложены Чарльзом Форги в OPS. Первые версии CLIPS разрабатывались с 1984 года в Космическом центре Джонсона NASA, как альтернатива существовавшей тогда системе ART*Inference, пока в начале 1990-х не было приостановлено финансирование, и NASA вынудили купить коммерческие продукты.
Представление знаний — вопрос, возникающий в когнитологии и информатике, а также в исследовании вопросов, связанных с искусственным интеллектом. В когнитологии он связан с тем, как люди хранят и обрабатывают информацию. В информатике — с подбором представления конкретных и обобщённых знаний, сведений и фактов для накопления и обработки информации в ЭВМ. Главная задача в искусственном интеллекте (ИИ) — научиться хранить знания таким образом, чтобы программы могли осмысленно обрабатывать их и достигнуть тем подобия человеческого интеллекта.
Интеллектуальная информационная система (ИИС) - комплекс программных, лингвистических и логико-математических средств для реализации основной задачи – осуществления поддержки деятельности человека и поиска информации в режиме продвинутого диалога на естественном языке. ИИС являются разновидностью интеллектуальной системы, а также одним из видов информационных систем.
Бот — программа, имитирующая действия игрока в компьютерных играх: сетевых поединках, командных сражениях и т. д. В основе ботов лежит модуль искусственного интеллекта, адаптированный к особенностям данной игры: карте, правилам, а также другим тонкостям геймплея. В некоторых[каких?] консольных играх также можно найти ботов.
Под гибридной интеллектуальной системой (ГиИС) принято понимать систему, в которой для решения задачи используется более одного метода имитации интеллектуальной деятельности человека. Таким образом ГиИС — это совокупность:
- аналитических моделей
- экспертных систем
- искусственных нейронных сетей
- нечётких систем
- генетических алгоритмов
- имитационных статистических моделей
Ви́ктор Константи́нович Финн — советский и российский философ, учёный, доктор технических наук, заведующий отделением интеллектуальных систем РГГУ, член Диссертационного совета Д 002.073.05 по защите докторских диссертаций при ФИЦ ИУ РАН, член редколлегии журнала «Научно-техническая информация», член Научного совета Российской ассоциации искусственного интеллекта, член Международной ассоциации оснований науки, заслуженный деятель науки РФ.
Rete — эффективный алгоритм сопоставления с образцом для продукционных систем, экспертных систем и баз знаний, созданный Чарльзом Форги из Университета Карнеги — Меллона. Впервые был описан в рабочем документе 1974 года, затем в докторской диссертации 1979 года и в статье 1982 года. Rete стал основой многих популярных экспертных систем, включая CLIPS, Jess, Drools, BizTalk Rules Engine и Soar.
Нечёткий регулятор — регулятор, построенный на базе нечеткой логики
Неклассические логики — группа формальных систем, существенно отличающихся от классических логик путём различных вариаций законов и правил. Благодаря этим вариациям возможно построение различных моделей логических выводов и логической истины.
RIF, Rule Interchange Format — стандартный формат Семантической паутины для обеспечения взаимодействия между системами, основанными на правилах. Является рекомендацией W3C с 22 июня 2010 года.
Адаптивная сеть на основе системы нечеткого вывода или Адаптивная нейро-нечеткая система вывода, ANFIS — это искусственная нейронная сеть, основанная на нечеткой системе вывода Такаги-Сугено.
Нейро-нечёткие системы или Нечёткие нейронные сети — это системы из области искусственного интеллекта, были предложены Ж. С. Р. Чангом, которые комбинируют методы искусственных нейронных сетей и систем на нечёткой логике. Нейро-нечёткие системы являются результатом попытки создания гибридной интеллектуальной системы, которая бы давала синергетический эффект этих двух подходов путём комбинирования человекоподобного стиля рассуждений нечётких систем с обучением и коннекционистской структурой нейронных сетей. Основная сила нейро-нечётких систем состоит в том, что они являются универсальными аппроксиматорами со способностью запрашивать интерпретируемые правила ЕСЛИ-ТО.
Семанти́ческий механи́зм рассужде́ний, семанти́ческая машина формирования рассуждений или движо́к пра́вил — это часть программного обеспечения, способная вывести логические умозаключения из набора адекватно формализованных базовых знаний или аксиом. Понятие семантического механизма рассуждений обобщает понятие машины вывода, предоставляя более богатый набор механизмов для работы. Правила вывода обычно определяются с помощью языка онтологий и часто языков описательной логики. Многие семантические механизмы рассуждений используют логику первого порядка для выполнения рассуждений; вывод обычно происходит путём прямой и обратной цепочек рассуждений. Существуют также примеры вероятностных механизмов рассуждений, включая неаксиоматическую систему рассуждений Пей Ванга и вероятностные логические сети.
Правовая (юридическая) экспертная система — предметно-ориентированная экспертная система, которая использует искусственный интеллект для эмуляции работы эксперта в области права в части принятия решений. Юридические экспертные системы используют базы правил и базы знаний и механизм вывода для накопления, реферирования и получения экспертных знаний по конкретным предметам в правовой области.
Эбрахим (Эйб) Мамдани — английский математик и информатик. Профессор математики лондонского Имперского колледжа.
