Matches in SemOpenAlex for { <https://semopenalex.org/work/W4312827828> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W4312827828 endingPage "153" @default.
- W4312827828 startingPage "146" @default.
- W4312827828 abstract "Despite the extensive development of first-principles planning in recent years, planning applications are still primarily developed using knowledge-based planners which can exploit domain-specific heuristics and weaker domain models. Hierarchical Task Network (HTN) planners capture domain-specific heuristics for more efficient search, accommodate incomplete causal models, and can be used to enforce standard operating procedures. Unfortunately, we do not have semantics for the methods or tasks that make up HTN models, that help evaluate the correctness of methods, or to build a reliable executive for HTN plans. This paper fills the gap by providing a well-defined semantics for the methods and plans of SHOP2, a state-of-the-art HTN planner. The semantics are defined in terms of concurrent golog (ConGolog) and the situation calculus. We provide a proof of equivalence between the plans generated by SHOP2 and the action sequences of the ConGolog semantics. We show how the semantics reflects the distinction between plan-time and execution-time, and provide some simple examples showing how the semantics can support method verification. The semantics provide an implementation-neutral specification for an executive, showing how an executive must treat the plans SHOP2 generates in order to enforce the expected behaviors. Future directions include automated verification of method specifications, automatically generating plan monitors, and plan revision and repair." @default.
- W4312827828 created "2023-01-05" @default.
- W4312827828 creator A5018879019 @default.
- W4312827828 date "2009-10-16" @default.
- W4312827828 modified "2023-10-03" @default.
- W4312827828 title "A Semantics for HTN Methods" @default.
- W4312827828 doi "https://doi.org/10.1609/icaps.v19i1.13377" @default.
- W4312827828 hasPublicationYear "2009" @default.
- W4312827828 type Work @default.
- W4312827828 citedByCount "4" @default.
- W4312827828 countsByYear W43128278282012 @default.
- W4312827828 countsByYear W43128278282015 @default.
- W4312827828 countsByYear W43128278282016 @default.
- W4312827828 countsByYear W43128278282023 @default.
- W4312827828 crossrefType "journal-article" @default.
- W4312827828 hasAuthorship W4312827828A5018879019 @default.
- W4312827828 hasBestOaLocation W43128278281 @default.
- W4312827828 hasConcept C111919701 @default.
- W4312827828 hasConcept C115903868 @default.
- W4312827828 hasConcept C127705205 @default.
- W4312827828 hasConcept C134306372 @default.
- W4312827828 hasConcept C138885662 @default.
- W4312827828 hasConcept C154945302 @default.
- W4312827828 hasConcept C156325763 @default.
- W4312827828 hasConcept C184337299 @default.
- W4312827828 hasConcept C199360897 @default.
- W4312827828 hasConcept C2776999362 @default.
- W4312827828 hasConcept C2780069185 @default.
- W4312827828 hasConcept C33923547 @default.
- W4312827828 hasConcept C36503486 @default.
- W4312827828 hasConcept C41008148 @default.
- W4312827828 hasConcept C41895202 @default.
- W4312827828 hasConcept C55439883 @default.
- W4312827828 hasConcept C80444323 @default.
- W4312827828 hasConceptScore W4312827828C111919701 @default.
- W4312827828 hasConceptScore W4312827828C115903868 @default.
- W4312827828 hasConceptScore W4312827828C127705205 @default.
- W4312827828 hasConceptScore W4312827828C134306372 @default.
- W4312827828 hasConceptScore W4312827828C138885662 @default.
- W4312827828 hasConceptScore W4312827828C154945302 @default.
- W4312827828 hasConceptScore W4312827828C156325763 @default.
- W4312827828 hasConceptScore W4312827828C184337299 @default.
- W4312827828 hasConceptScore W4312827828C199360897 @default.
- W4312827828 hasConceptScore W4312827828C2776999362 @default.
- W4312827828 hasConceptScore W4312827828C2780069185 @default.
- W4312827828 hasConceptScore W4312827828C33923547 @default.
- W4312827828 hasConceptScore W4312827828C36503486 @default.
- W4312827828 hasConceptScore W4312827828C41008148 @default.
- W4312827828 hasConceptScore W4312827828C41895202 @default.
- W4312827828 hasConceptScore W4312827828C55439883 @default.
- W4312827828 hasConceptScore W4312827828C80444323 @default.
- W4312827828 hasLocation W43128278281 @default.
- W4312827828 hasOpenAccess W4312827828 @default.
- W4312827828 hasPrimaryLocation W43128278281 @default.
- W4312827828 hasRelatedWork W1496719043 @default.
- W4312827828 hasRelatedWork W1548537923 @default.
- W4312827828 hasRelatedWork W1568835640 @default.
- W4312827828 hasRelatedWork W1587224678 @default.
- W4312827828 hasRelatedWork W2013747113 @default.
- W4312827828 hasRelatedWork W2620643861 @default.
- W4312827828 hasRelatedWork W2915995131 @default.
- W4312827828 hasRelatedWork W3021003119 @default.
- W4312827828 hasRelatedWork W4312441394 @default.
- W4312827828 hasRelatedWork W4361865401 @default.
- W4312827828 hasVolume "19" @default.
- W4312827828 isParatext "false" @default.
- W4312827828 isRetracted "false" @default.
- W4312827828 workType "article" @default.