Logikprogrammering för styrning av autonoma system

Sammanfattning

Detta arbete behandlar utvecklandet av ett logikprogrammeringsspråk för att styraautonoma system. En konceptuell modell presenteras där ett autonomt systembeskrivs som en uppsättning inkanaler, utkanaler och regler som definierar hur dataflödar mellan dessa. Utifrån modellen utvecklas språket Channelog, inspirerat avDatalog med stöd för kanaler och tidsordnade datamängder. Arbetet resulterar i enprototyp av exekveringsmiljö för Channelog samt en konceptuell modell. Prototypenbestår huvudsakligen av en parser genererad av BNFC och en översättare somöversätter från den abstrakta syntaxen till SQL. Med denna prototyp kan manrealisera en styrmodell.