Matches in SemOpenAlex for { <https://semopenalex.org/work/W4378509152> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4378509152 abstract "We develop a general framework for abstracting the behavior of an agent that operates in a nondeterministic domain, i.e., where the agent does not control the outcome of the nondeterministic actions, based on the nondeterministic situation calculus and the ConGolog programming language. We assume that we have both an abstract and a concrete nondeterministic basic action theory, and a refinement mapping which specifies how abstract actions, decomposed into agent actions and environment reactions, are implemented by concrete ConGolog programs. This new setting supports strategic reasoning and strategy synthesis, by allowing us to quantify separately on agent actions and environment reactions. We show that if the agent has a (strong FOND) plan/strategy to achieve a goal/complete a task at the abstract level, and it can always execute the nondeterministic abstract actions to completion at the concrete level, then there exists a refinement of it that is a (strong FOND) plan/strategy to achieve the refinement of the goal/task at the concrete level." @default.
- W4378509152 created "2023-05-27" @default.
- W4378509152 creator A5013290512 @default.
- W4378509152 creator A5057765662 @default.
- W4378509152 creator A5060460434 @default.
- W4378509152 date "2023-05-20" @default.
- W4378509152 modified "2023-10-18" @default.
- W4378509152 title "Abstraction of Nondeterministic Situation Calculus Action Theories -- Extended Version" @default.
- W4378509152 doi "https://doi.org/10.48550/arxiv.2305.14222" @default.
- W4378509152 hasPublicationYear "2023" @default.
- W4378509152 type Work @default.
- W4378509152 citedByCount "0" @default.
- W4378509152 crossrefType "posted-content" @default.
- W4378509152 hasAuthorship W4378509152A5013290512 @default.
- W4378509152 hasAuthorship W4378509152A5057765662 @default.
- W4378509152 hasAuthorship W4378509152A5060460434 @default.
- W4378509152 hasBestOaLocation W43785091521 @default.
- W4378509152 hasConcept C111472728 @default.
- W4378509152 hasConcept C121332964 @default.
- W4378509152 hasConcept C124304363 @default.
- W4378509152 hasConcept C134306372 @default.
- W4378509152 hasConcept C135315306 @default.
- W4378509152 hasConcept C138885662 @default.
- W4378509152 hasConcept C162324750 @default.
- W4378509152 hasConcept C166957645 @default.
- W4378509152 hasConcept C176181172 @default.
- W4378509152 hasConcept C187736073 @default.
- W4378509152 hasConcept C199360897 @default.
- W4378509152 hasConcept C22497172 @default.
- W4378509152 hasConcept C2776505523 @default.
- W4378509152 hasConcept C2780451532 @default.
- W4378509152 hasConcept C2780791683 @default.
- W4378509152 hasConcept C33923547 @default.
- W4378509152 hasConcept C36503486 @default.
- W4378509152 hasConcept C41008148 @default.
- W4378509152 hasConcept C62520636 @default.
- W4378509152 hasConcept C80444323 @default.
- W4378509152 hasConcept C95457728 @default.
- W4378509152 hasConceptScore W4378509152C111472728 @default.
- W4378509152 hasConceptScore W4378509152C121332964 @default.
- W4378509152 hasConceptScore W4378509152C124304363 @default.
- W4378509152 hasConceptScore W4378509152C134306372 @default.
- W4378509152 hasConceptScore W4378509152C135315306 @default.
- W4378509152 hasConceptScore W4378509152C138885662 @default.
- W4378509152 hasConceptScore W4378509152C162324750 @default.
- W4378509152 hasConceptScore W4378509152C166957645 @default.
- W4378509152 hasConceptScore W4378509152C176181172 @default.
- W4378509152 hasConceptScore W4378509152C187736073 @default.
- W4378509152 hasConceptScore W4378509152C199360897 @default.
- W4378509152 hasConceptScore W4378509152C22497172 @default.
- W4378509152 hasConceptScore W4378509152C2776505523 @default.
- W4378509152 hasConceptScore W4378509152C2780451532 @default.
- W4378509152 hasConceptScore W4378509152C2780791683 @default.
- W4378509152 hasConceptScore W4378509152C33923547 @default.
- W4378509152 hasConceptScore W4378509152C36503486 @default.
- W4378509152 hasConceptScore W4378509152C41008148 @default.
- W4378509152 hasConceptScore W4378509152C62520636 @default.
- W4378509152 hasConceptScore W4378509152C80444323 @default.
- W4378509152 hasConceptScore W4378509152C95457728 @default.
- W4378509152 hasLocation W43785091521 @default.
- W4378509152 hasOpenAccess W4378509152 @default.
- W4378509152 hasPrimaryLocation W43785091521 @default.
- W4378509152 hasRelatedWork W1504651774 @default.
- W4378509152 hasRelatedWork W1565263828 @default.
- W4378509152 hasRelatedWork W1601878028 @default.
- W4378509152 hasRelatedWork W1855927527 @default.
- W4378509152 hasRelatedWork W1985059659 @default.
- W4378509152 hasRelatedWork W1999473061 @default.
- W4378509152 hasRelatedWork W2141112857 @default.
- W4378509152 hasRelatedWork W2402104486 @default.
- W4378509152 hasRelatedWork W3160136729 @default.
- W4378509152 hasRelatedWork W40031358 @default.
- W4378509152 isParatext "false" @default.
- W4378509152 isRetracted "false" @default.
- W4378509152 workType "article" @default.