Rabota poswqschena probleme porozhdeniq reshaüschej programmy po estestwenno-qzykowoj postanowke zadachi. Predlozheny raspoznaüschie ob#ektno-sobytijnye modeli (OSM), pozwolqüschie izwlekat' iz textowoj postanowki znaniq, i transformirowat' ih, porozhdaq wyhodnye modeli, po kotorym generiruetsq programma. Dokazan rqd utwerzhdenij ob äkwiwalentnosti predel'nyh raspoznaüschih OSM nekotorym widam rasshirennyh mashin T'üringa (RMT). Predlozhen nowyj wid takih mashin ¿ kompozicionnye RMT, obladaüschie sposobnostqmi wypolnqt' perebornuü unifikaciü shablonow. Razobrana problema primeneniq sloq grammaticheskogo razbora whodnyh textow, postroen (na baze obychnogo/konstruiruüschego XPath) T'üring-polnyj algoritmicheskij mikroqzyk dlq wzaimodejstwiq s takim sloem. Dlq obrabotki izwlechennyh znanij ispol'zuütsq skripty obratnogo i/ili prqmogo logicheskogo wywoda. Predlozhena nowaq parallel'naq mashina prqmogo smyslowogo wywoda na baze sistemy slabyh XPath-podobnyh ogranichenij, uprawlqemaq markowskoj model'ü, matrica perehodow kotoroj sinteziruetsq nejronnoj set'ü na osnowe analiza precedentow. Predlozhennyj podhod aprobirowan w zadachah porozhdeniq programm po textowoj postanowke i werifikacii porozhdaüschih skriptow.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.