|
Автоматика и телемеханика, 2001, выпуск 10, страницы 54–64
(Mi at2381)
|
|
|
|
Интеллектуальные системы
Параллелизм в дедуктивном выводе на графовых структурах
А. И. Аверин, В. Н. Вагин Московский государственный энергетический институт (технический университет)
Аннотация:
Дано теоретическое обоснование и описание практической реализации методов параллельного вывода на графах связей и семантических сетях в логике предикатов первого порядка. Исследована система параллельного вывода на тестовом примере “Стимроллер”, приведен анализ результатов вывода.
Образец цитирования:
А. И. Аверин, В. Н. Вагин, “Параллелизм в дедуктивном выводе на графовых структурах”, Автомат. и телемех., 2001, № 10, 54–64; Autom. Remote Control, 62:10 (2001), 1588–1596
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/at2381 https://www.mathnet.ru/rus/at/y2001/i10/p54
|
Статистика просмотров: |
Страница аннотации: | 182 | PDF полного текста: | 109 | Первая страница: | 2 |
|