Формально-грамматическая модель логического вывода в системах искусственного интеллекта Анисимова, Ирина Николаевна

Краткое описание

Анисимова, Ирина Николаевна.
Формально-грамматическая модель логического вывода в системах искусственного интеллекта : диссертация ... кандидата физико-математических наук : 01.01.09. - Санкт-Петербург, 1999. - 143 с.
Оглавление диссертациикандидат физико-математических наук Анисимова, Ирина Николаевна
ВВЕДЕНИЕ.
ЛОГИЧЕСКИЙ ВЫВОД И МЕТОДЫ ПОВЫШЕНИЯ ЕГО ЭФФЕКТИВНОСТИ В
СИСТЕМАХ ИИ (ОБЗОР).
Глава 1. МЕТОД ПОСТРОЕНИЯ ЛОГИЧЕСКОГО ВЫВОДА В ИВ, ОПИРАЮЩИЙСЯ НА ФОРМАЛЬНО-ГРАММАТИЧЕСКУЮ МОДЕЛЬ.
1.1. Хорновские дизъюнкты ИВ и КС-грамматики.
1.2. Моделирование множества гипотез ИВ КС-грамматикой.
1.3. Построение логической шкапы и проверка выводимости целей.
1.4. Алгоритм предварительной настройки для построения логических выводов.
1.5. Построение опровержений в множествах дизъюнктов
ИВ методом с предварительной настройкой.
1.6. Особенности построения опровержений в рекурсивном случае.