Применение многопоточности в релевантном LP-выводе
- 1 аспирант, Воронежский госуниверситет (ВГУ)
Ключевые слова:
обратный выводрелевантный обратный выводлогические уравненияпараллелизммного-поточность
Аннотация
Описана реализация алгоритма многопоточного релевантного LP-вывода, основанного на распараллеливании этапов построения нескольких множеств фактов, необходимых при выводе, а также их дальнейшего исследования. Приведены псевдокоды предлагаемых алгоритмов, а также дана модель вычислений в виде графа.
Для цитирования
Болотова С.Ю. Применение многопоточности в релевантном LP-выводе // Нейрокомпьютеры: разработка, применение. 2013. № 9. С. 53–58.
Список источников
- Gupta A. Parallelism in production systems. Pitman. 1987. 224 p.
- Махортов С.Д. Математические основы искусственного интеллекта: теория LP-структур для построения и исследования моделей знаний продукционного типа / под ред. В.А. Васенина. М. : Изд-во МЦНМО. 2009. 299 с.
- Рихтер Д. Windows для профессионалов: Программирование для Windows 95 и Windows NT 4 на базе Win32 API / пер. Ю.Е. Купцевич и др. под общ. ред. Ю.Е. Купцевича. Изд-е 3-е. М.: Изд. отд. «Рус. Редакция» ТОО «Channel Trading Ltd». 1997. 679 с.
- Воеводин В.В., Воеводин Вл.В. Параллельные вычисления: Учеб. пособие для студ. вузов, обуч. по направлению 510200 «Прикладная математика и информатика». СПб.: БХВ-Петербург. 2002. 599 с.
- Чечкин А.В. Нейрокомпьютерная парадигма информатики // Нейрокомпьютеры: разработка, применение. 2011. № 7. С. 3-9.