Matches in SemOpenAlex for { <https://semopenalex.org/work/W2548305205> ?p ?o ?g. }
- W2548305205 abstract "Abstraction is a popular technique for speeding up planning and search. A problem that often arises in using abstraction is the generation of abstract states, called spurious states, from which the goal state is reachable in the abstract space but for which there is no corresponding state in the original space from which the goal state can be reached. The experiments in this paper demonstrate that this problem may arise even when standard abstraction methods are applied to benchmark planning problem domains: spurious states cause the pattern databases representing the heuristics to be excessively large and slow down planning and search by reducing the heuristic values. Known automated techniques to get rid of a large portion of spurious states turn out to avoid the memory problem, while at the same time not avoiding the problem of bad heuristic quality. The main contribution of this paper is theoretical. We formally define a characteristic property—the downward path preserving property (DPP)—that guarantees an abstraction will not contain spurious states. How this property can be achieved is studied both for techniques focussing on automated domain-independent abstraction and for techniques focussing on domain-specific abstraction. We analyze the computational complexity of (i) testing the downward path preserving property for a given state space and abstraction and of (ii) determining whether this property is achievable at all for a given state space. Strong hardness results show a close connection between these decision problems and the plan existence problem in typical planning settings including sas and propositional strips. On the positive side, we identify formal conditions under which finding downward path preserving abstractions is provably tractable and show that some popular heuristic search and planning domains have an encoding that matches these conditions. This includes a new encoding of the Blocks World domain, for which DPP abstractions can be easily defined." @default.
- W2548305205 created "2016-11-11" @default.
- W2548305205 creator A5036785155 @default.
- W2548305205 creator A5038595811 @default.
- W2548305205 creator A5077149145 @default.
- W2548305205 date "2009-01-01" @default.
- W2548305205 modified "2023-09-23" @default.
- W2548305205 title "Downward Path Preserving State Space Abstractions" @default.
- W2548305205 cites W1481195904 @default.
- W2548305205 cites W1534467528 @default.
- W2548305205 cites W1573735688 @default.
- W2548305205 cites W1575990843 @default.
- W2548305205 cites W1604397311 @default.
- W2548305205 cites W1646038686 @default.
- W2548305205 cites W1773969059 @default.
- W2548305205 cites W181299697 @default.
- W2548305205 cites W2019310097 @default.
- W2548305205 cites W2039153121 @default.
- W2548305205 cites W2048294946 @default.
- W2548305205 cites W2064591764 @default.
- W2548305205 cites W2064845711 @default.
- W2548305205 cites W2101901809 @default.
- W2548305205 cites W2122054842 @default.
- W2548305205 cites W2131910799 @default.
- W2548305205 cites W2165040934 @default.
- W2548305205 cites W2166566648 @default.
- W2548305205 cites W2321904034 @default.
- W2548305205 cites W2402164836 @default.
- W2548305205 cites W2605024514 @default.
- W2548305205 cites W2625766885 @default.
- W2548305205 cites W30784608 @default.
- W2548305205 cites W87187586 @default.
- W2548305205 cites W93616031 @default.
- W2548305205 doi "https://doi.org/10.7939/r3543x" @default.
- W2548305205 hasPublicationYear "2009" @default.
- W2548305205 type Work @default.
- W2548305205 sameAs 2548305205 @default.
- W2548305205 citedByCount "1" @default.
- W2548305205 crossrefType "journal-article" @default.
- W2548305205 hasAuthorship W2548305205A5036785155 @default.
- W2548305205 hasAuthorship W2548305205A5038595811 @default.
- W2548305205 hasAuthorship W2548305205A5077149145 @default.
- W2548305205 hasConcept C105795698 @default.
- W2548305205 hasConcept C111472728 @default.
- W2548305205 hasConcept C111919701 @default.
- W2548305205 hasConcept C11413529 @default.
- W2548305205 hasConcept C119857082 @default.
- W2548305205 hasConcept C124304363 @default.
- W2548305205 hasConcept C127705205 @default.
- W2548305205 hasConcept C13280743 @default.
- W2548305205 hasConcept C134306372 @default.
- W2548305205 hasConcept C138885662 @default.
- W2548305205 hasConcept C154945302 @default.
- W2548305205 hasConcept C173801870 @default.
- W2548305205 hasConcept C185798385 @default.
- W2548305205 hasConcept C189950617 @default.
- W2548305205 hasConcept C199360897 @default.
- W2548305205 hasConcept C205649164 @default.
- W2548305205 hasConcept C2777735758 @default.
- W2548305205 hasConcept C33923547 @default.
- W2548305205 hasConcept C36503486 @default.
- W2548305205 hasConcept C41008148 @default.
- W2548305205 hasConcept C48103436 @default.
- W2548305205 hasConcept C72434380 @default.
- W2548305205 hasConcept C80444323 @default.
- W2548305205 hasConcept C97256817 @default.
- W2548305205 hasConceptScore W2548305205C105795698 @default.
- W2548305205 hasConceptScore W2548305205C111472728 @default.
- W2548305205 hasConceptScore W2548305205C111919701 @default.
- W2548305205 hasConceptScore W2548305205C11413529 @default.
- W2548305205 hasConceptScore W2548305205C119857082 @default.
- W2548305205 hasConceptScore W2548305205C124304363 @default.
- W2548305205 hasConceptScore W2548305205C127705205 @default.
- W2548305205 hasConceptScore W2548305205C13280743 @default.
- W2548305205 hasConceptScore W2548305205C134306372 @default.
- W2548305205 hasConceptScore W2548305205C138885662 @default.
- W2548305205 hasConceptScore W2548305205C154945302 @default.
- W2548305205 hasConceptScore W2548305205C173801870 @default.
- W2548305205 hasConceptScore W2548305205C185798385 @default.
- W2548305205 hasConceptScore W2548305205C189950617 @default.
- W2548305205 hasConceptScore W2548305205C199360897 @default.
- W2548305205 hasConceptScore W2548305205C205649164 @default.
- W2548305205 hasConceptScore W2548305205C2777735758 @default.
- W2548305205 hasConceptScore W2548305205C33923547 @default.
- W2548305205 hasConceptScore W2548305205C36503486 @default.
- W2548305205 hasConceptScore W2548305205C41008148 @default.
- W2548305205 hasConceptScore W2548305205C48103436 @default.
- W2548305205 hasConceptScore W2548305205C72434380 @default.
- W2548305205 hasConceptScore W2548305205C80444323 @default.
- W2548305205 hasConceptScore W2548305205C97256817 @default.
- W2548305205 hasLocation W25483052051 @default.
- W2548305205 hasOpenAccess W2548305205 @default.
- W2548305205 hasPrimaryLocation W25483052051 @default.
- W2548305205 hasRelatedWork W1515398288 @default.
- W2548305205 hasRelatedWork W1548622238 @default.
- W2548305205 hasRelatedWork W1602826054 @default.
- W2548305205 hasRelatedWork W2012592827 @default.
- W2548305205 hasRelatedWork W2032347616 @default.
- W2548305205 hasRelatedWork W2119571962 @default.
- W2548305205 hasRelatedWork W2125374272 @default.