Konform planering är uppgiften att generera planer med tanke på osäkerhet om de initiala tillstånds- och åtgärdseffekterna, och utan någon avkänningsförmåga under planens genomförande. Planen bör vara framgångsrik oavsett vilken speciell startvärld vi utgår från. Det är välkänt att konform planering kan omvandlas till ett sökproblem i trosrymden, det utrymme vars element är uppsättningar av möjliga världar. Vi introducerar en ny representation av detta sökområde, som ersätter behovet av att lagra uppsättningar av möjliga världar med ett behov av att resonera om effekterna av handlingssekvenser. Motiveringen görs genom att bestämma löslighet av CNFs som fångar handlingen sekvens semantik. Utifrån detta tillvägagångssätt utsträcker vi det klassiska heuristiska planeringssystemet FF till den konforma inställningen. Nyckeln till denna förlängning är införandet av ett ungefärligt CNF-resonemang i FF:s heuristiska funktion. Vår experimentella utvärdering visar att Conformant-FF är överlägsen de toppmoderna konforma planerarna MBP, KACMBP och GPT inom en mängd olika referensområden.
Hoffmann och Brafman ger en ny representation av sökområdet och utökar det klassiska heuristiska planeringssystemet FF till den konforma inställningen REF.
Conformant Planning via Heuristic Forward Search: A New Approach
{'venue': 'ICAPS', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}