Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155173863> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2155173863 abstract "This paper introduces a logic-based framework for monitoring plan execution relative to a given set of trajectories. According to this fr amework, a monitoring agent can tell when things go wrong by checking the compatibility of the plan execution with the given trajectories, considering the current state informa tion. She finds an explanation for these detected discrepancies by examining the given trajectories against possible evolutions of the current state from the initial state. Such an explanat ion provides information about possible points of failure that may be useful in two ways. First, points of failure can be used to determine some checkpoints (specifying when to check for discrepancies), and this may be useful if the plan is executed many times. Second, they can be used for recovering from discrepancies. For instance, the agent can undo the plan execution until a point of failure, from which the remainder of the plan can be (re)executed, thus avoiding an expen- sive (re)planning step. In this paper, we present formal spe cifications for discrepancies and explanations for them in a general action representation fr amework, which can accommo- date nondeterminism, concurrency, and dynamic worlds. We describe two ways of finding explanations for detected discrepancies, and study their p roperties. Moreover, we analyze the computational complexity of detecting discrepancies and finding explanations for them, and describe how these computational problems can be solved." @default.
- W2155173863 created "2016-06-24" @default.
- W2155173863 creator A5016455314 @default.
- W2155173863 creator A5017101409 @default.
- W2155173863 creator A5082178480 @default.
- W2155173863 date "2004-01-01" @default.
- W2155173863 modified "2023-09-27" @default.
- W2155173863 title "DIAGNOSING PLAN EXECUTION DISCREPANCIES IN A LOGIC-BASED ACTION FRAMEWORK" @default.
- W2155173863 cites W1494273003 @default.
- W2155173863 cites W1498731127 @default.
- W2155173863 cites W1515684991 @default.
- W2155173863 cites W1520214770 @default.
- W2155173863 cites W1584985376 @default.
- W2155173863 cites W16661495 @default.
- W2155173863 cites W1782386753 @default.
- W2155173863 cites W1987080413 @default.
- W2155173863 cites W2017128525 @default.
- W2155173863 cites W2025008902 @default.
- W2155173863 cites W2026565317 @default.
- W2155173863 cites W2038809129 @default.
- W2155173863 cites W2045474169 @default.
- W2155173863 cites W2072046078 @default.
- W2155173863 cites W2101757655 @default.
- W2155173863 cites W2105197521 @default.
- W2155173863 cites W293498406 @default.
- W2155173863 cites W1571507530 @default.
- W2155173863 hasPublicationYear "2004" @default.
- W2155173863 type Work @default.
- W2155173863 sameAs 2155173863 @default.
- W2155173863 citedByCount "2" @default.
- W2155173863 countsByYear W21551738632014 @default.
- W2155173863 crossrefType "journal-article" @default.
- W2155173863 hasAuthorship W2155173863A5016455314 @default.
- W2155173863 hasAuthorship W2155173863A5017101409 @default.
- W2155173863 hasAuthorship W2155173863A5082178480 @default.
- W2155173863 hasConcept C121332964 @default.
- W2155173863 hasConcept C166957645 @default.
- W2155173863 hasConcept C177264268 @default.
- W2155173863 hasConcept C193702766 @default.
- W2155173863 hasConcept C199360897 @default.
- W2155173863 hasConcept C2776505523 @default.
- W2155173863 hasConcept C2780154230 @default.
- W2155173863 hasConcept C2780791683 @default.
- W2155173863 hasConcept C41008148 @default.
- W2155173863 hasConcept C48103436 @default.
- W2155173863 hasConcept C62520636 @default.
- W2155173863 hasConcept C80444323 @default.
- W2155173863 hasConcept C95457728 @default.
- W2155173863 hasConceptScore W2155173863C121332964 @default.
- W2155173863 hasConceptScore W2155173863C166957645 @default.
- W2155173863 hasConceptScore W2155173863C177264268 @default.
- W2155173863 hasConceptScore W2155173863C193702766 @default.
- W2155173863 hasConceptScore W2155173863C199360897 @default.
- W2155173863 hasConceptScore W2155173863C2776505523 @default.
- W2155173863 hasConceptScore W2155173863C2780154230 @default.
- W2155173863 hasConceptScore W2155173863C2780791683 @default.
- W2155173863 hasConceptScore W2155173863C41008148 @default.
- W2155173863 hasConceptScore W2155173863C48103436 @default.
- W2155173863 hasConceptScore W2155173863C62520636 @default.
- W2155173863 hasConceptScore W2155173863C80444323 @default.
- W2155173863 hasConceptScore W2155173863C95457728 @default.
- W2155173863 hasLocation W21551738631 @default.
- W2155173863 hasOpenAccess W2155173863 @default.
- W2155173863 hasPrimaryLocation W21551738631 @default.
- W2155173863 hasRelatedWork W1484524474 @default.
- W2155173863 hasRelatedWork W1538915033 @default.
- W2155173863 hasRelatedWork W1549943601 @default.
- W2155173863 hasRelatedWork W1555304043 @default.
- W2155173863 hasRelatedWork W1556913338 @default.
- W2155173863 hasRelatedWork W1558822720 @default.
- W2155173863 hasRelatedWork W1598954251 @default.
- W2155173863 hasRelatedWork W2015611594 @default.
- W2155173863 hasRelatedWork W2024113144 @default.
- W2155173863 hasRelatedWork W2130251175 @default.
- W2155173863 hasRelatedWork W2150407752 @default.
- W2155173863 hasRelatedWork W2168690391 @default.
- W2155173863 hasRelatedWork W2475758049 @default.
- W2155173863 hasRelatedWork W2588200443 @default.
- W2155173863 hasRelatedWork W26781650 @default.
- W2155173863 hasRelatedWork W3142459457 @default.
- W2155173863 hasRelatedWork W37337332 @default.
- W2155173863 hasRelatedWork W81193849 @default.
- W2155173863 hasRelatedWork W993579566 @default.
- W2155173863 hasRelatedWork W2461033139 @default.
- W2155173863 isParatext "false" @default.
- W2155173863 isRetracted "false" @default.
- W2155173863 magId "2155173863" @default.
- W2155173863 workType "article" @default.