А. И. Аверин, В. Н. Вагин, “Параллелизм в дедуктивном выводе на графовых структурах”, Автомат. и телемех., 2001, выпуск 10,страницы 54

Интеллектуальные системы

Параллелизм в дедуктивном выводе на графовых структурах

А. И. Аверин, В. Н. Вагин

Московский государственный энергетический институт (технический университет)

Аннотация: Дано теоретическое обоснование и описание практической реализации методов параллельного вывода на графах связей и семантических сетях в логике предикатов первого порядка. Исследована система параллельного вывода на тестовом примере “Стимроллер”, приведен анализ результатов вывода.

УДК: 658.012.011.56

Статья представлена к публикации членом редколлегии: О. П. Кузнецов

Поступила в редакцию: 01.06.2001