Système de génération, de reconstruction et de conversion de programmes PGEN

Des informations théoriques et pratiques de base sur le système PGEN++ sont données. Le système permet : a) de générer des programmes de résolution à la fois pour le langage naturel et la définition de problèmes visuels, b) de reconstruire des modèles générateurs et/ou d'autres modèles sémantiques de programmes/textes, c) d'effectuer une transformation intellectuelle des programmes. Les modèles d'objets et d'événements générateurs (OSM) sont décrits. La reconnaissance des OSM, qui permettent d'extraire les connaissances de l'énoncé du texte, et de les transformer, en générant des modèles de sortie, sur lesquels le programme est généré, est proposée. Le problème de l'application de la couche d'analyse grammaticale des textes d'entrée est analysé, un micro-langage algorithmique complet de Turing pour l'interaction avec cette couche est construit (sur la base de XPath habituel/constructif). Des scripts de sortie à logique inverse/directe sont utilisés pour traiter les connaissances extraites. Une nouvelle machine parallèle de sortie à détection directe basée sur un système de faibles contraintes de type XPath est proposée, contrôlée par le modèle de Markov, dont la matrice des transitions est synthétisée par un réseau de neurones basé sur des études de cas. Les approches sont testées dans des tâches de génération de programmes, de vérification des scripts de génération et de mise en parallèle des transformations de programmes.