Журнал
Научно-технический вестник информационных технологий, механики и оптики
УДК:004.89
Номер:2 (66)
Скачать PDF0 Кбайт
ТЕОРЕТИКО-МНОЖЕСТВЕННЫЙ ПОДХОД К ЛОГИЧЕСКОМУ ВЫВОДУ В БАЗАХ ЗНАНИЙ
Аннотация:
Рассматривается проблема комбинаторной сложности задачи поиска решений при резолюции правил в системах искусственного интеллекта. Предлагается подход к ускорению извлечения знаний путем индексации фактов и сокращения числа используемых фактов с помощью операций над множествами индексов. В отличие от известных алгоритмов, предполагающих предварительный отбор фактов для каждого правила, индексы абстрагируются от правил, что позволяет логически и физически разделить базы фактов и базы правил, а также упростить модификацию базы знаний. Демонстрируется возможность замены логического вывода реляционными операциями над кортежами переменных.
Ключевые слова:
Постоянный URL
Статьи в номере
- К ВОПРОСУ ИДЕНТИФИКАЦИИ ПОРОД ДРЕВЕСИНЫ С ПРИМЕНЕНИЕМ МЕТОДОВ АНАЛИЗА СПЕКТРОВ
- ЛАЗЕРНАЯ ОЧИСТКА ИСТОРИЧЕСКИХ ПАМЯТНИКОВ
- ИССЛЕДОВАНИЕ ПРОЦЕССА ОБРАЗОВАНИЯ СЛОИСТОСТИ ПРИ ВЫЩЕЛАЧИВАНИИ НАТРИЙБОРСИЛИКАТНЫХ СТЕКОЛ
- ЗАКОНОМЕРНОСТИ ВЗАИМОДЕЙСТВИЯ ВСТРЕЧНЫХ СВЕТОВЫХ ВОЛН ИЗ МАЛОГО ЧИСЛА КОЛЕБАНИЙ В НЕЛИНЕЙНЫХ ДИЭЛЕКТРИЧЕСКИХ СРЕДАХ
- АЛГЕБРАИЧЕСКАЯ ОРГАНИЗАЦИЯ УСЛОВИЙ ОБОБЩЕННОЙ СИНХРОНИЗИРУЕМОСТИ МНОГОАГРЕГАТНЫХ ДИНАМИЧЕСКИХ ОБЪЕКТОВ
- АЛГОРИТМ УСКОРЕННОГО ПОВТОРНОГО РЕШЕНИЯ СИСТЕМ ЛИНЕЙНЫХ АЛГЕБРАИЧЕСКИХ УРАВНЕНИЙ И ЕГО ИСПОЛЬЗОВАНИЕ ПРИ МАТЕМАТИЧЕСКОМ МОДЕЛИРОВАНИИ ЭЛЕКТРОННЫХ УСТРОЙСТВ
- ПРОГНОЗИРОВАНИЕ СЛОЖНЫХ СИГНАЛОВ НА ОСНОВЕ ВЫДЕЛЕНИЯ ГРАНИЦЫ РЕАЛИЗАЦИЙ ДИНАМИЧЕСКИХ СИСТЕМ
- КЛАССИФИКАЦИЯ НЕСТАЦИОНАРНЫХ ИЗОБРАЖЕНИЙ И РАЗРАБОТКА МЕТОДИКИ ОЦЕНКИ АЛГОРИТМОВ КОДИРОВАНИЯ ИСТОЧНИКА
- ОЦЕНКА ЭФФЕКТИВНОСТИ РАСПРЕДЕЛЕННЫХ СИСТЕМ ПРИ РЕШЕНИИ ЗАДАЧ ПЕРЕМЕННОГО РАЗМЕРА
- АКТОРНОЕ РАСШИРЕНИЕ ЯЗЫКА JAVA В СРЕДЕ MPS
- РОСТ НАНОВИСКЕРА ПОД ВОЗДЕЙСТВИЕМ ЭЛЕКТРОННОГО ПУЧКА: МАТЕМАТИЧЕСКАЯ МОДЕЛЬ
- ПРИМЕНЕНИЕ СУПЕРКОМПЬЮТЕРНЫХ ТЕХНОЛОГИЙ ДЛЯ ПРОВЕДЕНИЯ ТЕПЛОВОГО АНАЛИЗА РАДИОЭЛЕКТРОННЫХ УСТРОЙСТВ
- АППАРАТНО-ПРОГРАММНОЕ ПРОЕКТИРОВАНИЕ СЛОЖНЫХ ФУНКЦИОНАЛЬНЫХ БЛОКОВ С ИСПОЛЬЗОВАНИЕМ СИСТЕМ НА КРИСТАЛЛЕ
- ОПТИМИЗАЦИЯ АЛГОРИТМОВ ИДЕНТИФИКАЦИИ ГРАФОВОГО ИЗОМОРФИЗМА
- МОДЕЛЬ ОЦЕНКИ УГРОЗ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ НА ОСНОВЕ МАТЕРИАЛОВ ХАКЕРСКИХ КОНФЕРЕНЦИЙ
- ОЦЕНКА ЭФФЕКТИВНОСТИ АТАК ЗЛОУМЫШЛЕННИКА В ПРОЦЕССЕ ПОСТРОЕНИЯ ЕГО МОДЕЛИ
- СТРАТЕГИЯ ФОРМИРОВАНИЯ И РАЗВИТИЯ ИННОВАЦИОННОГО ПОТЕНЦИАЛА ПРОМЫШЛЕННОГО ПРЕДПРИЯТИЯ
- ИНТЕЛЛЕКТУАЛЬНЫЕ ТЕХНОЛОГИИ ПОДДЕРЖКИ ПОЛЬЗОВАТЕЛЕЙ В ОБЛАСТИ КОМПЬЮТЕРНОГО МОДЕЛИРОВАНИЯ НАНОРАЗМЕРНЫХ СТРУКТУР И НАНОМАТЕРИАЛОВ
- ИССЛЕДОВАНИЕ МЕХАНИЗМОВ ФОРМИРОВАНИЯ КОМПОНЕНТНОГО СОСТАВА МОЛЕКУЛЯРНЫХ СЛОЕВ
- РАЗРАБОТКА ФОТОННО-КРИСТАЛИЧЕСКОГО ОПТИЧЕСКОГО ВОЛОКНА С БОЛЬШОЙ СЕРДЦЕВИНОЙ
- СТАТИСТИЧЕСКИЕ СВОЙСТВА ГИПОТЕЗ, ПОРОЖДАЕМЫХ ДВУСЛОЙНОЙ НЕЙРОННОЙ СЕТЬЮ С МАТРИЦЕЙ ДВУНАПРАВЛЕННЫХ СВЯЗЕЙ, РЕАЛИЗУЕМОЙ МЕТОДОМ ГОЛОГРАФИИ ФУРЬЕ
- О МНОГОЧАСТОТНОЙ ГЕНЕРАЦИИ Er:YLF-ЛАЗЕРА С ДИОДНОЙ НАКАЧКОЙ И ПАССИВНЫМ Fe:ZnSe-ЗАТВОРОМ