Vi studerar karakteriseringen och beräkningen av allmänna policyer för familjer av problem som delar en struktur som kännetecknas av en gemensam minskning till ett enda abstrakt problem. Policyer μ som löser det abstrakta problemet P har visat sig lösa alla problem Q som minskar till P under förutsättning att μ slutar i Q. I detta arbete kastar vi ljus över varför detta villkor för uppsägning är nödvändigt och hur det kan tas bort. Den viktigaste iakttagelsen är att det abstrakta problemet P fångar upp den gemensamma strukturen bland de konkreta problem Q som är lokala (Markovian) men saknar en gemensam struktur som är global. Vi visar hur en sådan global struktur kan fångas upp med hjälp av banbegränsningar som i många fall kan uttryckas som LTL-formler, vilket minskar den generaliserade planeringen till LTL-syntes. Dessutom, för en bred klass av problem som involverar heltal variabler som kan ökas eller minskas, kan bana begränsningar sammanställas bort, minska generaliserad planering till fullt observerbara icke-deterministisk planering.
QNP planeringsproblem kan enkelt översättas till LTL planering problem med FOND domäner, nåbarhet mål, och en viss typ av bana begränsningar som kan uttryckas som kompakt LTL formel REF.
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}