Радиотехника
Издательство РАДИОТЕХНИКА

"Издательство Радиотехника":
научно-техническая литература.
Книги, журналы издательств ИПРЖР, РС-ПРЕСС, САЙНС-ПРЕСС


Тел.: +7 (495) 625-9241

::Журналы
::Книги
 

Теория LP-структур для интеллектуальных систем: основные приложения и перспективы

Ключевые слова:

С.Д. Махортов – д.ф.-м.н., доцент, зав. кафедрой математического обеспечения ЭВМ, Воронежский государственный университет (ВГУ). E-mail: sd@expert.vrn.ru


Приведены базовые понятия теории LP-структур, дан обзор возможностей ее применения, описаны перспективы развития. Перечислены задачи в различных областях информатики, описание которых сводится к продукционно-логическим системам, моделируемым LP-структурами. Показано, что исследование этих задач может осуществляться на основе LP-структур или их модификаций.
Список литературы:

 

  1. Чечкин А.В. Математическая информатика. М.: Физматлит. 1991. 416 с.
  2. Бениаминов Е.М. Алгебраические методы в теории баз данных и представлении знаний. М.: Научный мир. 2003. 184 с.
  3. Расева Е., Сикорский Р. Математика метаматематики: Пер. с англ. М.: Наука. 1972. 591 с.
  4. Davis R., King J. An overview of production systems // Machine Intelligence. 1977. V. 8, Ellis Horwood Limited, Chichester. P. 300–332.
  5. МахортовС.Д.Логическиеотношениянарешетках// ВестникВГУ. Сер. Физика, математика. Воронеж. 2003. №2. С. 203–209.
  6. Aho A.V., Garey M.R., Ulman J.D. The transitive reduction of a directed graph // SIAM J. Computing. 1972. V. 1. № 2. P. 131–137.
  7. Doorenbos R.B.Production Matching for Large Learning Systems. Doctoral Thesis. UMI Order Number: UMI Order No. GAX95-22942. CarnegieMellonUniversity. 1995.
  8. Сойер Б., Фостер Д.Л. Программирование экспертных систем на Паскале: Пер. с англ. М.: Финансы и статистика. 1990. 191 с.
  9. Махортов С.Д. Логические уравнения на решетках // Вестник ВГУ. Сер. Физика, математика. Воронеж. 2004. № 2. С. 170–178.
  10. Болотова С.Ю., Махортов С.Д. Алгоритмы релевантного обратного вывода, основанные на решении продукционно-логических уравнений // Искусственный интеллект и принятие решений. 2011. № 2. С. 40–50.
  11. Болотова С.Ю., Махортов С.Д. Параллельные алгоритмы релевантного LP-вывода // Программная инженерия. 2014. № 7. С. 17–24.
  12. Махортов С.Д. Об алгебраической интерпретации продукционной логики нулевого порядка // Вестник ВГУ. Серия системный анализ и информационные технологии. Воронеж. 2007. № 1. С. 56–63.
  13. Иванов И.Ю. О приближенном решении продукционно-логического уравнения на булевой решетке // Нейрокомпьютеры. Разработка, применение. 2014. № 10. С. 53–63.
  14. Махортов С.Д.Продукционная логика первого порядка и ее алгебраическая интерпретация // Системы управления и информационные технологии. 2007. № 3(29). С. 21–26.
  15. Nemeti I. Algebraization of Quantifier Logics; an Overview // Studia Logica L. 1991. Nos3/4. С. 485–569.
  16. Тейз А., Грибомон П. и др. Логический подход к искусственному интеллекту: от классической логики к логическому программированию: Пер. с франц. М.: Мир. 1990. 432 с.
  17. Sowa J.F. Conceptual Structures: Information Processing in Mind and Machine. Reading, MA: Addison-Wesley. 1984.
  18. Фаулер М., Скотт К.UML. Основы: Пер. с англ. СПб: Символ-Плюс. 2002. 192 с.
  19. Махортов С.Д.LP-структуры на решетках типов и некоторые задачи рефакторинга // Программирование. 2009. № 4. С. 5–14.
  20. Махортов С.Д. LP-структуры для обоснования и автоматизации рефакторинга в объектно-ориентированном программировании // Программная инженерия. 2010. № 2. С. 15–21.
  21. Makhortov S.D., Shurlin M.D. LP-structures analysis: Substantiation of refactoring in object-oriented programming // Automation and Remote Control. 2013. V. 74. № 7. P. 1211–1217.
  22. Schmitt P.H., A Survey of Rewrite Systems. In Proceedings of the 1st Workshop on Computer Science Logic (October 12 – 16, 1987). Börger E., Büning H. K., Richter M. M., Eds. Lecture Notes In Computer Science, V. 329. Springer-Verlag, London. Р. 235–262.
  23. Dershowitz N., Okada M.,Sivakumar G. Canonical Conditional Rewrite Systems. In Proceedings of the 9th international Conference on Automated Deduction (May 23–26, 1988).E. L. Lusk and R. A. Overbeek (Eds). Lecture Notes In Computer Science. V. 310. Springer-Verlag. London. 1988. Р. 538–549.
  24. Махортов С.Д. Основанный на решетках подход к исследованию и оптимизации множества правил условной системы переписывания термов // Интеллектуальные системы. 2009. Т. 13. Вып. 1–4. С. 51–68.
  25. Баранов Д.В. Логические уравнения в эквациональных LP-структурах // Информационные технологии. 2012. № 8. C. 35–42.
  26. Чечкин А.В. Нейрокомпьютерная парадигма информатики // Нейрокомпьютеры: разработка, применение. 2011. № 7. С. 3–9.
  27. Махортов С.Д., Шмарин А.Н. Нечеткий LP-вывод и его программная реализация // Программная инженерия. 2013. № 12. С. 34–38.

 

© Издательство «РАДИОТЕХНИКА», 2004-2017            Тел.: (495) 625-9241                   Designed by [SWAP]Studio