Как создаются интеллектуальные алгоритмы для решения логических задач?

Для создания интеллектуальных алгоритмов для решения логических задач используются четыре основных подхода: www.ulsu.ru

1. Логический подход. www.ulsu.ru Основой служит булева алгебра. www.ulsu.ru Такая интеллектуальная система представляет собой машину доказательства теорем. www.ulsu.ru Исходные данные хранятся в базе данных в виде аксиом, правила логического вывода — как отношения между ними. www.ulsu.ru Кроме того, каждая такая машина имеет блок генерации цели, и система вывода пытается доказать данную цель как теорему. www.ulsu.ru Если цель доказана, то трассировка применённых правил позволяет получить цепочку действий, необходимых для реализации поставленной цели. www.ulsu.ru
2. Структурный подход. www.ulsu.ru Подразумевает построение интеллектуальной системы путём моделирования структуры человеческого мозга. www.ulsu.ru
3. Эволюционный подход. www.ulsu.ru lib.laop.ulstu.ru Основное внимание уделяется построению начальной модели и правилам, по которым она может изменяться (эволюционировать). www.ulsu.ru На основании проверки моделей отбираются самые лучшие из них, и на их базе по различным правилам генерируются новые модели, из которых опять выбираются самые лучшие и т. д.. www.ulsu.ru
4. Имитационный подход. www.ulsu.ru Используется в рамках направления «кибернетика чёрного ящика». www.ulsu.ru Интеллектуальные системы при таком подходе должны моделировать некую интеллектуальную функцию, то есть устанавливать необходимое соответствие между входами и выходами системы. www.ulsu.ru