Logikprogrammering för styrning av autonoma system

Abstract

Detta arbete behandlar utvecklandet av ett logikprogrammeringsspråk för att styra autonoma system. En konceptuell modell presenteras där ett autonomt system beskrivs som en uppsättning inkanaler, utkanaler och regler som definierar hur data flödar mellan dessa. Utifrån modellen utvecklas språket Channelog, inspirerat av Datalog med stöd för kanaler och tidsordnade datamängder. Arbetet resulterar i en prototyp av exekveringsmiljö för Channelog samt en konceptuell modell. Prototypen bestå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 man realisera en styrmodell.