Резюме:

Теоретически обоснована линейная вычислительная сложность автоматического конструирования алгоритмов из переменных-объектов и правил-процедур миварных сетей. В качестве миварных правил могут быть использованы различные сервисы, модули и вычислительные процедуры. Автоматический конструктор алгоритмов может использоваться для поиска логического вывода в области создания экспертных систем. МИВАР (Многомерная Информационная Варьирующаяся Адаптивная Реальность). УДАВ (Универсальный Делатель Алгоритмов Варламова). На основе миварных сетей создан программный комплекс УДАВ, который обрабатывает более 1,17 млн переменных и более 3,5 млн правил на обычных компьютерах и ноутбуках. Приведены результаты практических расчетов и решений различных прикладных задач, которые на практике подтверждают линейную вычислительную сложность конструирования алгоритмов в формализме миварных сетей.

Ключевые слова: мивар, миварные сети, логический вывод, вычислительная сложность, искусственный интеллект, интеллектуальные системы, экспертные системы.

Варламов О.О. ¹ ПРАКТИЧЕСКАЯ РЕАЛИЗАЦИЯ ЛИНЕЙНОЙ ВЫЧИСЛИТЕЛЬНОЙ СЛОЖНОСТИ ЛОГИЧЕСКОГО ВЫВОДА НА ПРАВИЛАХ "ЕСЛИ-ТО" В МИВАРНЫХ СЕТЯХ И ОБРАБОТКА БОЛЕЕ ТРЕХ МИЛЛИОНОВ ПРАВИЛ // Автоматизация и управление в технических системах. – 2013. – № 1(3);
URL: auts.esrae.ru/3-66 (дата обращения: 07.05.2024).

Сегодня: 834 | За неделю: 835 | Всего: 4071

Комментарии (0)