Formell semantikk for autonome roboter i CRAM.

CRAM (Cognitive Robot Abstract Machine) er et programmeringssystem for autonome roboter. Oppgaven består i å utvikle en formell semantikk for CRAM, som gjør det mulig å resonnere om oppførselen til autonome roboter.

Bildet kan inneholde: tegnefilm, optisk instrument.

CRAM (Cognitive Robot Abstract Machine) er et programmeringssystem for å utvile programvare for autonome roboter. CRAM støtter introspeksjon, slik at en robot kan resonnere om sine egne erfaringer. Oppgaven går ut på å utvilkle en semantikk for CRAM slik at det er mulig å resonnere om hvordan autonome roboter programmert i CRAM vil oppføre seg. Semantikken kan f.eks. defineres i SOS (Structural Operational Semantics) eller som en interpret i spesifikasjonsspråket Maude.

 

  • Mer informasjon om CRAM:
    CRAM informasjon: Tobias Christian Rittweiler Bachelor thesis
  • Mer informasjon om SOS og formalisering av programmeringsspråk:
    Benjamin C. Pierce: Types and Programming Languages (MIT Press, 2002)

Prosjektet inngår i REMARO, et stort forskningsprosjekt om pålitelige AI-systemer for undervannsroboter, finansiert som et Marie-Curie nettverk av EU.

Emneord: Logikk, semantikk, autonome roboter
Publisert 22. sep. 2020 14:54 - Sist endret 22. sep. 2020 14:54

Veileder(e)

Omfang (studiepoeng)

60