350 руб
Журнал «Нейрокомпьютеры: разработка, применение» №12 за 2015 г.
Статья в номере:
Теория LP-структур для интеллектуальных систем: основные приложения и перспективы
Ключевые слова: продукционно-логическая система база знаний управление знаниями алгебраизация LP-структура логическая редукция релевантный вывод
Авторы:
С.Д. Махортов - д.ф.-м.н., доцент, зав. кафедрой математического обеспечения ЭВМ, Воронежский государственный университет (ВГУ). E-mail: sd@expert.vrn.ru
Аннотация:
Приведены базовые понятия теории LP-структур, дан обзор возможностей ее применения, описаны перспективы развития. Перечислены задачи в различных областях информатики, описание которых сводится к продукционно-логическим системам, моделируемым LP-структурами. Показано, что исследование этих задач может осуществляться на основе LP-структур или их модификаций.
Страницы: 34-43
Список источников

 

  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.