Abstrakt. Temporära begränsningar utgör en utmaning för villkorlig planering, eftersom det är nödvändigt för en villkorlig planerare att avgöra om en kandidatplan kommer att uppfylla de angivna tidsbegränsningarna. Detta kan vara svårt, eftersom timliga uppdrag som uppfyller de begränsningar som är förbundna med en viss villkorad gren kan misslyckas med att tillfredsställa de begränsningar som finns längs en annan gren. I detta dokument tar vi itu med denna utmaning genom att utveckla Formalismen för det villkorliga temporala problemet (CTP), en utvidgning av standardbehandlingsmodeller för tidsbegränsning och tillfredsställelse som används i icke-villkorlig tidsplanering. Specifikt förstärker vi tidsbaserade CSP-ramverk genom att (1) lägga till observationsnoder, och (2) bifoga etiketter till alla noder för att indikera den situation(er) i vilken varje kommer att utföras. Vårt utökade ramverk gör det möjligt att bygga villkorade planer som garanterat uppfyller komplexa tidsbegränsningar. Viktigt är att detta kan uppnås även om beslut om den exakta tidpunkten för åtgärder kan skjutas upp till genomförandetid, vilket ökar flexibiliteten och gör det möjligt att dynamiskt anpassa planen till de iakttagelser som gjordes under genomförandet. Vi visar också att även för planer utan explicita kvantitativa tidsbegränsningar löser vårt tillvägagångssätt ett problem i de tidigare strategierna för villkorlig planering, vilket ledde till att de blev ofullständiga.
Inom planeringsområdet föreslog Ref-författarna villkorlig tidsmässig problematik (CTP) formalism som gör det möjligt att bygga villkorliga planer som uppfyller komplexa tidsmässiga begränsningar.
CTP: A New Constraint-Based Formalism for Conditional, Temporal Planning
{'venue': 'Constraints', 'journal': 'Constraints', 'mag_field_of_study': ['Computer Science', 'Mathematics']}