I denna uppsats presenterar vi en teori för resonemang om handlingar som är baserade på dynamisk linjär tid Temporal Logic (DLTL). DLTL är en enkel förlängning av propositionell temporal logik av linjär tid där regelbundna program av propositionsdynamisk logik kan användas för indexering temporal modaliteter. Den handlingsteori vi definierar gör det möjligt att resonera med ofullständiga initialtillstånd, att göra postdiction och att hantera förgreningar och icke-deterministiska handlingar, som fångas upp av möjligen alternativa förlängningar (temporala modeller). Den temporala logikens uttrycksfullhet utnyttjas för att förbättra åtgärdsspråket genom att göra det möjligt att definiera allmänna tidsbegränsningar och komplexa åtgärder i specifikationen av domänbeskrivningen. Vi visar att tidsplaneringsproblemet och planeringsproblemet kan modelleras som tillfredsställande problem i DLTL.
I REF ) har en temporal handlingsteori utvecklats, som bygger på den linjära temporallogiken DLTL och antar en monoton lösning på ramproblemet baserat på fullbordan.
Reasoning about Actions in Dynamic Linear Time Temporal Logic
{'venue': 'Logic Journal of the IGPL', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}