I flera industriella tillämpningar av planering, komplexa temporal metrisk bana begränsningar behövs för att korrekt modellera det aktuella problemet. Till exempel, i produktionsanläggningar, måste föremål bearbetas efter en "mottagande" av steg som är föremål för exakta tidsbegränsningar. Att modellera sådana områden är mycket utmanande i befintliga handlingsbaserade språk på grund av bristen på tillräckligt uttrycksfulla begränsningar i banan. Vi föreslår en ny tidsplaneringsformalism som tillåter kvantifierade tidsbegränsningar över verkställandet av åtgärdsinstanser. Vi bygger vidare på omedelbara åtgärder som lånats från klassisk planering och lägger till expressiva tidskonstruktioner. Tidningen beskriver semantiken i vår nya formalism och presenterar en lösningsteknik baserad i klassisk, heuristisk framtidsplanering. Våra experiment visar att den föreslagna ramen är överlägsen alternativa "state-of-t heart planing"-strategier för industriella riktmärken, och att konkurrenskraften med liknande lösningsmetoder på välkända riktmärken hämtades från planeringstävlingen.
I en nyligen publicerad publikation föreslog REF att tidsbundna metriska banbegränsningar skulle användas för att koda tidsfunktionerna i planeringsproblemen.
Temporal Planning with Temporal Metric Trajectory Constraints
{'venue': 'AAAI', 'journal': None, 'mag_field_of_study': ['Computer Science']}