Eftersom intelligenta, autonoma system är inbäddade i kritiska verklighetsmiljöer blir det allt viktigare att noggrant karakterisera hur dessa system kommer att fungera. Forskning i realtid databehandling och kontroll har utvecklat sätt att bevisa att ett givet kontrollsystem kommer att uppfylla kraven i en miljö, men har inte behandlat den dynamiska planeringen av kontrollåtgärder. Att bygga en agent som kan nå sina mål i föränderliga miljöer kräver en blandning av realtidsdatorteknik och AI-teknik. Kooperativet I n teligent Real-time Control Architecture (CIRCA) genomför denna blandning genom att utföra komplexa AI-metoder och garanterade realtidskontrollplaner för separata delsystem. Vi beskriver den formella modellen av agent/miljöinteraktioner som CIRCA använder för att bygga kontrollplaner, och vi s h o w h o w w dessa kontrollplaner är garanterade att uppfylla domänkrav. CIRCA:s globala modell ger den information som krävs för att göra prestandagarantier i realtid, men undviker onödig komplexitet.
Deras strategi är implementerad på Circa, en intelligent realtidskontrollarkitektur som kombinerar AI planeringstekniker för att möta kraven i en dynamisk realtid dator- och kontrollmiljö REF.
World Modeling for the Dynamic Construction of Real � Time Control Plans
{'venue': 'Artif. Intell.', 'journal': 'Artif. Intell.', 'mag_field_of_study': ['Mathematics', 'Computer Science']}