Журнал
Научно-технический вестник информационных технологий, механики и оптики
УДК:004.89
Номер:3 (67)
БЫСТРЫЙ ЛОГИЧЕСКИЙ ВЫВОД В СРЕДЕ ПРОГРАММИРОВАНИЯ VISUAL PROLOG
Аннотация:
В статье обсуждается реализация логического вывода в системах искусственного интеллекта, построенных на продукционной модели знаний, с использованием теоретико-множественных операций в среде программирования Visual Prolog. Предлагается набор предикатов, реализующих быстрое выполнение операций реляционной алгебры. Приводятся результаты натурных экспериментов, подтверждающих существенное, не менее чем на три порядка, ускорение логического вывода для баз знаний с большим числом фактов.
Ключевые слова:
Постоянный URL
Статьи в номере
- МЕТОДЫ УМЕНЬШЕНИЯ ОПТИЧЕСКИХ ПОТЕРЬ В ФОТОННО-КРИСТАЛЛИЧЕСКОМ ОПТИЧЕСКОМ ВОЛОКНЕ
- МЕТОДИКА РАСЧЕТА ХАРАКТЕРИСТИК ОПТИЧЕСКОГО ЦИРКУЛЯТОРА ДЛЯ ВОЛОКОННО-ОПТИЧЕСКИХ ЛИНИЙ СВЯЗИ
- «ВОЛНОВОЙ» АЛГОРИТМ ДЛЯ РАБОТЫ С ЛИНЕЙКОЙ ФПЗС
- НАБЛЮДЕНИЕ ГЕНЕРАЦИИ ВТОРОЙ ГАРМОНИКИ ПРИ ИСПОЛЬЗОВАНИИ МОЛЕКУЛЯРНЫХ КРИСТАЛЛОВ DAST
- СИНТЕЗ НАБЛЮДАТЕЛЯ ДЛЯ НЕЛИНЕЙНОГО ОБЪЕКТА В УСЛОВИЯХ ГАРМОНИЧЕСКОГО ВОЗМУЩЕНИЯ, ПРИЛОЖЕННОГО К ВЫХОДНОЙ ПЕРЕМЕННОЙ
- РЕШЕНИЕ ПРОБЛЕМ ОГРАНИЧЕНИЯ ДОСТУПА К ПАМЯТИ В 64-БИТНЫХ ТЕХНОЛОГИЯХ ФИРМЫ MICROSOFT
- КРИТЕРИЙ ПОДОБИЯ ПРОЕКТНЫХ РЕШЕНИЙ ТРЕБОВАНИЯМ ТЕХНИЧЕСКОГО ЗАДАНИЯ В АВИОНИКЕ
- МЕТОД ОПРЕДЕЛЕНИЯ ПАРЕТО-ОПТИМАЛЬНЫХ ПРОЕКТНЫХ РЕШЕНИЙ В АВИОНИКЕ
- ГЕНЕРАЦИЯ ПРОЕКТНЫХ РЕШЕНИЙ БОРТОВОГО ОБОРУДОВАНИЯ С ИСПОЛЬЗОВАНИЕМ АППАРАТА ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ
- МОДЕЛИРОВАНИЕ ТРАЕКТОРИИ ПОЛЕТА В НАВИГАЦИОННЫХ КОМПЛЕКСАХ ЛЕТАТЕЛЬНЫХ АППАРАТОВ В ГОРИЗОНТАЛЬНОЙ ПЛОСКОСТИ
- ОСОБЕННОСТИ ДВИЖЕНИЯ ЛЕТАТЕЛЬНОГО АППАРАТА В ВЕРТИКАЛЬНОЙ ПЛОСКОСТИ В УСЛОВИЯХ ОГРАНИЧЕННОЙ ТЯГИ ДВИГАТЕЛЯ
- МЕТОД ГЕОМЕТРИЧЕСКОГО УПРОЩЕНИЯ 3D ПОЛИГОНАЛЬНЫХ ОБЪЕКТОВ
- АВТОМАТИЗИРОВАННЫЙ РАСЧЕТ ТЕПЛОВЫХ РЕЖИМОВ РАДИОЭЛЕКТРОННЫХ КОНСТРУКТИВОВ ПРИЕМО-ИЗМЕРИТЕЛЬНЫХ МОДУЛЕЙ
- МОДЕЛЬ КОНКУРЕНЦИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
- ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ АКТИВНЫХ ПРОГРАММНЫХ КОМПОНЕНТОВ МУЛЬТИАГЕНТНОЙ ВИРТУАЛЬНОЙ БИЗНЕС-СРЕДЫ РАЗВИТИЯ ИННОВАЦИЙ
- ПОНЯТИЯ ИНТЕЛЛЕКТУАЛЬНОГО ПОТЕНЦИАЛА И КАПИТАЛА КОМПАНИИ, ИХ СОСТАВЛЯЮЩИЕ И МЕТОДИКА ОЦЕНКИ
- КОНЦЕПТУАЛЬНЫЕ ПОЛОЖЕНИЯ УПРАВЛЕНИЯ ПРОЦЕССОМ ПОВЫШЕНИЯ ЭКОНОМИЧЕСКОЙ РЕЗУЛЬТАТИВНОСТИ ДЕЯТЕЛЬНОСТИ РЕКЛАМНО-ИЗДАТЕЛЬСКОГО КОМПЛЕКСА МЕГАПОЛИСА
- ПРОДУКТИВНОСТЬ НАУЧНОЙ РАБОТЫ ПРОФЕССОРСКО-ПРЕПОДАВАТЕЛЬСКОГО СОСТАВА: СПОСОБЫ ИЗМЕРЕНИЯ И МАТЕРИАЛЬНОГО СТИМУЛИРОВАНИЯ
- КЛАССИФИКАЦИЯ ТИПОВ НАУЧНЫХ СОРЕВНОВАНИЙ С АВТОМАТИЧЕСКОЙ ОБРАБОТКОЙ РЕШЕНИЙ
- ДИНАМИЧЕСКОЕ УПРАВЛЕНИЕ РАСПРЕДЕЛЕННЫМИ ВЫЧИСЛИТЕЛЬНЫМИ РЕСУРСАМИ В СОСТАВЕ КОМПОЗИТНОГО ПРИЛОЖЕНИЯ
- НЕЛИНЕЙНО-ОПТИЧЕСКИЕ ЭФФЕКТЫ В КАЛИЕВО-АЛЮМОБОРАТНОМ СТЕКЛЕ С НАНОЧАСТИЦАМИ ХЛОРИДА МЕДИ
- ВЛИЯНИЕ НАГРЕВА НА ЛЮМИНЕСЦЕНТНЫЕ СВОЙСТВА ИОНОВ ЭРБИЯ В СТЕКЛЕ
- ОПРЕДЕЛЕНИЕ УСЛОВИЙ СОБЛЮДЕНИЯ ИНВАРИАНТНОСТИ ИЗМЕРЕНИЯ УГЛА СКРУЧИВАНИЯ В ОПТИКО-ЭЛЕКТРОННЫХ АВТОКОЛЛИМАЦИОННЫХ СИСТЕМАХ
- ИССЛЕДОВАНИЕ ПУТЕЙ ОСЛАБЛЕНИЯ ВЛИЯНИЯ ВОЗДУШНОГО ТРАКТА В РАСПРЕДЕЛЕННЫХ ОПТИКО-ЭЛЕКТРОННЫХ СИСТЕМАХ ПРЕДУПРЕЖДЕНИЯ ТЕХНОГЕННЫХ КАТАСТРОФ