📖 Система порождения, реконструкции и преобразования программ PGEN++..

Приведены основные теоретические и практические сведения о системе PGEN++. Система позволяет: а) порождать решающие программы как по естественно-языковой так и по визуальной постановке задачи, б) реконструировать порождающие и/или иные смысловые модели программ/текстов, в) выполнять интеллектуальную трансформацию программ. Описаны порождающие объектно-событийные модели (ОСМ). Предложены распознающие ОСМ, позволяющие извлекать из текстовой постановки знания, и трансформировать их, порождая выходные модели, по которым генерируется программа. Разобрана проблема применения слоя грамматического разбора входных текстов, построен (на базе обычного/конструирующего XPath) Тьюринг-полный алгоритмический микроязык для взаимодействия с таким слоем. Для обработки извлеченных знаний используются скрипты обратного/прямого логического вывода. Предложена новая параллельная машина прямого смыслового вывода на базе системы слабых XPath-подобных ограничений, управляемая марковской моделью, матрица переходов которой синтезируется нейронной сетью на основе анализа прецедентов. Подходы апробированы в задачах порождения программ, верификации порождающих скриптов, распараллеливающей трансформации программ.