Прототип базы активных знаний на основе вычислительных моделей
Автор: Артюхов Алексей Андреевич
Журнал: Проблемы информатики @problem-info
Рубрика: Прикладные информационные технологии
Статья в выпуске: 4 (53), 2021 года.
Бесплатный доступ
В статье представлен результат разработки системы, которая позволяет сохранять информацию о программных модулях и связях между ними в форме, подходящей для автоматического применения при конструировании прикладных программ. В основе системы лежит теория структурного синтеза программ. Знания в такой системе представляются в виде вычислительных моделей, а в качестве атомарной единицы знаний рассматривается программный модуль. В результате проведенного исследования была разработана архитектура системы, разработан алгоритм автоматического конструирования прикладных программ и проверена работа системы на ряде тестов.
Структурный синтез программ, активные знания, синтез программ, база активных знаний, автоматическое конструирование программ, база знаний, хранение знаний, вычислительные модели
Короткий адрес: https://sciup.org/143178552
IDR: 143178552
Список литературы Прототип базы активных знаний на основе вычислительных моделей
- Загорулько Ю. А., Боровикова О. И. Подход к построению порталов научных знаний /7 Автометрия. 2008. Т. 44. № 1. С. 100 110.
- Соколова Е. Г., Кононенко И. С., Загорулько Ю. А. Проблемы описания компьютерной лингвистики в виде онтологии для портала знаний /7 Компьютерная лингвистика и интеллектуальные технологии: Труды международной конференции „Диалог 2008" (Бекасово, 4-8 июня 2008 г.). М.: РГГУ, 2008. Вып. 7 (14), С. 482 487.
- Боровикова О. И. и др. Разработка портала знаний но компьютерной лингвистике /7 КИИ-2008. 2008. С. 380 388.
- Geimari .J. Н. The evolution of Protflgfl: ан environment for knowledge-based systems development / .J. H. Geimari, M. A. Musen, R. W. Fergerson, W. E. Grosso, M. Crubflzy, H. Eriksson, N. F. Noy, S. W. Tu // International Journal of Human-Computer Studies. 2003. T. 58, Вып. 1. С. 89-123.
- McGuinness D. L. et al. OWL web ontology language overview // W3C recommendation. 2004. T. 10. № 10. C. 2004.
- Курбатов С. С., Лобзин А. П., Хахалин Г. К. Инструментальные средства построения онтологии для синтеза программ // Наукоемкие технологии. 2014. Т. 15. № 1. С. 098-100.
- Loveland D.W. Automated Theorem Proving: A Logical Basis / D. W. Loveland. — Amsterdam : North Holland, 1978. Fundamental Studies in Computer Science.
- Раутиайнен А. Автоматическая генерация логического знания // Discrete and Continuous Models and Applied Computational Science. 2008. № 4.
- Мазаков E. Б. Представление и обработка знаний в гибридных информационных автоматизированных системах // Инновации в науке. 2013. № 24.
- Павлов В. А., Пак В. Г. Система автоматического доказательства теорем интуиционистской логики на основе обратного метода // Программирование. 2018. № 1. С. 46-59.
- Давыдов А. В., Ларионов А. А., Черкашин Е. А. Об исчислении позитивно-образованных формул для автоматического доказательства теорем // Моделирование и анализ информационных систем. 2010. Т. 17. № 4. С. 60-70.
- Bratko I. Prolog Programming for Artificial Intelligence / I. Bratko. — Harlow : Pearson Education, 2001.
- Вальковский В. А. Синтез параллельных программ и систем на вычислительных моделях: монография / В. А. Вальковский, В. Э. Малышкин. Новосибирск: Изд-во „Наука" Сибирское отд-е, 1988.
- Малышкин В. Э. Структурный синтез параллельных программ / В. Э. Малышкин // Сборник третьей школы-семинара по параллельным и высокопроизводительным вычислениям: сб. статей. Томск, 2005. С. 3-9.
- Артюхов А. А., Парфенов Д. Р. Разработка и реализация подсистемы хранения и применения программных модулей для базы активных знаний // Информационные технологии. 2019. С. 155-155.
