Matches in SemOpenAlex for { <https://semopenalex.org/work/W2135381560> ?p ?o ?g. }
- W2135381560 abstract "Planning as Satisfiability (SAT) is the best approach for optimally (wrt makespan) solving classical planning problems. SAT-based planners, like satplan , can thus return plans having minimal makespan guaranteed. However, the returned plan does not take into account plan quality issues introduced in the last two International Planning Competitions (IPCs): such issues include minimal-actions plans and plans with goals, where a metric has to be optimized over actions/goals. Recently, an approach to address such issues has been presented, in the framework of planning as satisfiability with preferences: by modifying the heuristic of the underlying SAT solver, the related system (called satplan(P) ) is guaranteed to return plans with minimal number of actions, or with maximal number of soft goals satisfied. But, besides such feature, it is well-known that introducing ordering in SAT heuristics can lead to significant degradation in performances. In this paper, we present a generate-and-test approach to tackle the problem of dealing with such optimization issues: without imposing any ordering, a (candidate optimal) plan is first generated, and then a constraint is added imposing that the new plan (if any) has to be better than the last computed, i.e., the plan quality is increased at each iteration. We implemented this idea in satplan , and compared the resulting systems wrt satplan(P) and SGPlan on planning problems coming from IPCs. The analysis shows performance benefits for the new approach, in particular on planning problems with many preferences." @default.
- W2135381560 created "2016-06-24" @default.
- W2135381560 creator A5004609930 @default.
- W2135381560 creator A5077756388 @default.
- W2135381560 date "2009-01-01" @default.
- W2135381560 modified "2023-09-25" @default.
- W2135381560 title "Improving Plan Quality in SAT-Based Planning" @default.
- W2135381560 cites W1531639447 @default.
- W2135381560 cites W1989914740 @default.
- W2135381560 cites W2033274122 @default.
- W2135381560 cites W2061876041 @default.
- W2135381560 cites W2114660707 @default.
- W2135381560 cites W2138481840 @default.
- W2135381560 cites W4236121579 @default.
- W2135381560 cites W4245630182 @default.
- W2135381560 doi "https://doi.org/10.1007/978-3-642-10291-2_26" @default.
- W2135381560 hasPublicationYear "2009" @default.
- W2135381560 type Work @default.
- W2135381560 sameAs 2135381560 @default.
- W2135381560 citedByCount "1" @default.
- W2135381560 countsByYear W21353815602012 @default.
- W2135381560 crossrefType "book-chapter" @default.
- W2135381560 hasAuthorship W2135381560A5004609930 @default.
- W2135381560 hasAuthorship W2135381560A5077756388 @default.
- W2135381560 hasConcept C111472728 @default.
- W2135381560 hasConcept C111919701 @default.
- W2135381560 hasConcept C11413529 @default.
- W2135381560 hasConcept C126255220 @default.
- W2135381560 hasConcept C127705205 @default.
- W2135381560 hasConcept C138885662 @default.
- W2135381560 hasConcept C154945302 @default.
- W2135381560 hasConcept C162324750 @default.
- W2135381560 hasConcept C166957645 @default.
- W2135381560 hasConcept C168773769 @default.
- W2135381560 hasConcept C173801870 @default.
- W2135381560 hasConcept C176217482 @default.
- W2135381560 hasConcept C199360897 @default.
- W2135381560 hasConcept C199622910 @default.
- W2135381560 hasConcept C21547014 @default.
- W2135381560 hasConcept C2776505523 @default.
- W2135381560 hasConcept C2778770139 @default.
- W2135381560 hasConcept C2779530757 @default.
- W2135381560 hasConcept C31258907 @default.
- W2135381560 hasConcept C33923547 @default.
- W2135381560 hasConcept C41008148 @default.
- W2135381560 hasConcept C42475967 @default.
- W2135381560 hasConcept C49937458 @default.
- W2135381560 hasConcept C55416958 @default.
- W2135381560 hasConcept C6943359 @default.
- W2135381560 hasConcept C74172769 @default.
- W2135381560 hasConcept C95457728 @default.
- W2135381560 hasConceptScore W2135381560C111472728 @default.
- W2135381560 hasConceptScore W2135381560C111919701 @default.
- W2135381560 hasConceptScore W2135381560C11413529 @default.
- W2135381560 hasConceptScore W2135381560C126255220 @default.
- W2135381560 hasConceptScore W2135381560C127705205 @default.
- W2135381560 hasConceptScore W2135381560C138885662 @default.
- W2135381560 hasConceptScore W2135381560C154945302 @default.
- W2135381560 hasConceptScore W2135381560C162324750 @default.
- W2135381560 hasConceptScore W2135381560C166957645 @default.
- W2135381560 hasConceptScore W2135381560C168773769 @default.
- W2135381560 hasConceptScore W2135381560C173801870 @default.
- W2135381560 hasConceptScore W2135381560C176217482 @default.
- W2135381560 hasConceptScore W2135381560C199360897 @default.
- W2135381560 hasConceptScore W2135381560C199622910 @default.
- W2135381560 hasConceptScore W2135381560C21547014 @default.
- W2135381560 hasConceptScore W2135381560C2776505523 @default.
- W2135381560 hasConceptScore W2135381560C2778770139 @default.
- W2135381560 hasConceptScore W2135381560C2779530757 @default.
- W2135381560 hasConceptScore W2135381560C31258907 @default.
- W2135381560 hasConceptScore W2135381560C33923547 @default.
- W2135381560 hasConceptScore W2135381560C41008148 @default.
- W2135381560 hasConceptScore W2135381560C42475967 @default.
- W2135381560 hasConceptScore W2135381560C49937458 @default.
- W2135381560 hasConceptScore W2135381560C55416958 @default.
- W2135381560 hasConceptScore W2135381560C6943359 @default.
- W2135381560 hasConceptScore W2135381560C74172769 @default.
- W2135381560 hasConceptScore W2135381560C95457728 @default.
- W2135381560 hasLocation W21353815601 @default.
- W2135381560 hasOpenAccess W2135381560 @default.
- W2135381560 hasPrimaryLocation W21353815601 @default.
- W2135381560 hasRelatedWork W133654294 @default.
- W2135381560 hasRelatedWork W140344221 @default.
- W2135381560 hasRelatedWork W1719051695 @default.
- W2135381560 hasRelatedWork W2111633042 @default.
- W2135381560 hasRelatedWork W2125116444 @default.
- W2135381560 hasRelatedWork W2183742018 @default.
- W2135381560 hasRelatedWork W2398316151 @default.
- W2135381560 hasRelatedWork W2401408165 @default.
- W2135381560 hasRelatedWork W2416483216 @default.
- W2135381560 hasRelatedWork W2463911310 @default.
- W2135381560 hasRelatedWork W2542423668 @default.
- W2135381560 hasRelatedWork W2725754956 @default.
- W2135381560 hasRelatedWork W2949651836 @default.
- W2135381560 hasRelatedWork W2952418015 @default.
- W2135381560 hasRelatedWork W2966467823 @default.
- W2135381560 hasRelatedWork W3103867486 @default.
- W2135381560 hasRelatedWork W3105826019 @default.
- W2135381560 hasRelatedWork W3119810193 @default.
- W2135381560 hasRelatedWork W3174644787 @default.