Глоссарий ИИ
Полный словарь искусственного интеллекта
Экспертные системы
Компьютерные программы, имитирующие способность принятия решений человеком-экспертом в определенной области.
Дедуктивное рассуждение
Логический процесс выведения новых заключений из известных посылок и правил вывода.
Формальная логика
Математическое исследование формальных систем рассуждений и принципов обоснованности умозаключений.
Логическое программирование
Парадигма программирования, основанная на математической логике, где программы представляют собой наборы логических формул.
Представление знаний
Дисциплина, направленная на структурирование и организацию информации таким образом, чтобы она была доступна для обработки интеллектуальными системами.
Системы на основе правил
Компьютерные системы, использующие правила типа ЕСЛИ-ТО для принятия решений.
Семантические графы
Структуры данных, представляющие концепты и их отношения в виде сетей узлов и дуг.
Символьная обработка естественного языка
Неметодические подходы к NLP, основанные на грамматических правилах и формальном синтаксическом анализе.
Автоматическое планирование
Автоматическая генерация последовательностей действий для достижения предопределенных целей в заданной среде.
Системы переписывания
Формальные механизмы преобразования выражений согласно предопределённым правилам подстановки.
Теория автоматических доказательств
Область, направленная на автоматизацию доказательства математических и логических теорем.
Программирование в ограничениях
Парадигма решения проблем, основанная на формулировании ограничений и их автоматическом удовлетворении.