Matches in SemOpenAlex for { <https://semopenalex.org/work/W3049453035> ?p ?o ?g. }
- W3049453035 endingPage "103365" @default.
- W3049453035 startingPage "103365" @default.
- W3049453035 abstract "We suggest to express policies for contingent planning by knowledge-based programs (KBPs). KBPs, introduced by Fagin et al. (1995) [32], are high-level protocols describing the actions that the agent should perform as a function of their current knowledge: branching conditions are epistemic formulas that are interpretable by the agent. The main aim of our paper is to show that KBPs can be seen as a succinct language for expressing policies in single-agent contingent planning. KBP are conceptually very close to languages used for expressing policies in the partially observable planning literature: like them, they have conditional and looping structures, with actions as atomic programs and Boolean formulas on beliefs for choosing the execution path. Now, the specificity of KBPs is that branching conditions refer to the belief state and not to the observations. Because of their structural proximity, KBPs and standard languages for representing policies have the same power of expressivity: every standard policy can be expressed as a KBP, and every KBP can be “unfolded” into a standard policy. However, KBPs are more succinct, more readable, and more explainable than standard policies. On the other hand, they require more online computation time, but we show that this is an unavoidable tradeoff. We study knowledge-based programs along four criteria: expressivity, succinctness, complexity of online execution, and complexity of verification." @default.
- W3049453035 created "2020-08-21" @default.
- W3049453035 creator A5003756290 @default.
- W3049453035 creator A5014533268 @default.
- W3049453035 creator A5041765212 @default.
- W3049453035 creator A5064915259 @default.
- W3049453035 date "2020-11-01" @default.
- W3049453035 modified "2023-09-30" @default.
- W3049453035 title "Knowledge-based programs as succinct policies for partially observable domains" @default.
- W3049453035 cites W1542366230 @default.
- W3049453035 cites W1763963671 @default.
- W3049453035 cites W1973023438 @default.
- W3049453035 cites W1982129592 @default.
- W3049453035 cites W1994451575 @default.
- W3049453035 cites W1998176101 @default.
- W3049453035 cites W2009810952 @default.
- W3049453035 cites W2011418219 @default.
- W3049453035 cites W2017455575 @default.
- W3049453035 cites W2034725503 @default.
- W3049453035 cites W2053161718 @default.
- W3049453035 cites W2058277150 @default.
- W3049453035 cites W2064507541 @default.
- W3049453035 cites W2086026622 @default.
- W3049453035 cites W2089546742 @default.
- W3049453035 cites W2110962519 @default.
- W3049453035 cites W2126010852 @default.
- W3049453035 cites W2134991397 @default.
- W3049453035 cites W2144961063 @default.
- W3049453035 cites W2168359464 @default.
- W3049453035 cites W2228999052 @default.
- W3049453035 cites W2518366555 @default.
- W3049453035 cites W2786343747 @default.
- W3049453035 cites W2913457232 @default.
- W3049453035 cites W3099451540 @default.
- W3049453035 cites W3104884551 @default.
- W3049453035 cites W3106180137 @default.
- W3049453035 cites W4299591165 @default.
- W3049453035 cites W779637183 @default.
- W3049453035 doi "https://doi.org/10.1016/j.artint.2020.103365" @default.
- W3049453035 hasPublicationYear "2020" @default.
- W3049453035 type Work @default.
- W3049453035 sameAs 3049453035 @default.
- W3049453035 citedByCount "4" @default.
- W3049453035 countsByYear W30494530352021 @default.
- W3049453035 countsByYear W30494530352022 @default.
- W3049453035 countsByYear W30494530352023 @default.
- W3049453035 crossrefType "journal-article" @default.
- W3049453035 hasAuthorship W3049453035A5003756290 @default.
- W3049453035 hasAuthorship W3049453035A5014533268 @default.
- W3049453035 hasAuthorship W3049453035A5041765212 @default.
- W3049453035 hasAuthorship W3049453035A5064915259 @default.
- W3049453035 hasBestOaLocation W30494530351 @default.
- W3049453035 hasConcept C11413529 @default.
- W3049453035 hasConcept C121332964 @default.
- W3049453035 hasConcept C14036430 @default.
- W3049453035 hasConcept C159985019 @default.
- W3049453035 hasConcept C187455244 @default.
- W3049453035 hasConcept C192562407 @default.
- W3049453035 hasConcept C195818886 @default.
- W3049453035 hasConcept C199360897 @default.
- W3049453035 hasConcept C206175624 @default.
- W3049453035 hasConcept C2776493592 @default.
- W3049453035 hasConcept C32848918 @default.
- W3049453035 hasConcept C41008148 @default.
- W3049453035 hasConcept C62520636 @default.
- W3049453035 hasConcept C78458016 @default.
- W3049453035 hasConcept C80444323 @default.
- W3049453035 hasConcept C86803240 @default.
- W3049453035 hasConceptScore W3049453035C11413529 @default.
- W3049453035 hasConceptScore W3049453035C121332964 @default.
- W3049453035 hasConceptScore W3049453035C14036430 @default.
- W3049453035 hasConceptScore W3049453035C159985019 @default.
- W3049453035 hasConceptScore W3049453035C187455244 @default.
- W3049453035 hasConceptScore W3049453035C192562407 @default.
- W3049453035 hasConceptScore W3049453035C195818886 @default.
- W3049453035 hasConceptScore W3049453035C199360897 @default.
- W3049453035 hasConceptScore W3049453035C206175624 @default.
- W3049453035 hasConceptScore W3049453035C2776493592 @default.
- W3049453035 hasConceptScore W3049453035C32848918 @default.
- W3049453035 hasConceptScore W3049453035C41008148 @default.
- W3049453035 hasConceptScore W3049453035C62520636 @default.
- W3049453035 hasConceptScore W3049453035C78458016 @default.
- W3049453035 hasConceptScore W3049453035C80444323 @default.
- W3049453035 hasConceptScore W3049453035C86803240 @default.
- W3049453035 hasFunder F4320320883 @default.
- W3049453035 hasLocation W30494530351 @default.
- W3049453035 hasLocation W30494530352 @default.
- W3049453035 hasLocation W30494530353 @default.
- W3049453035 hasLocation W30494530354 @default.
- W3049453035 hasLocation W30494530355 @default.
- W3049453035 hasLocation W30494530356 @default.
- W3049453035 hasOpenAccess W3049453035 @default.
- W3049453035 hasPrimaryLocation W30494530351 @default.
- W3049453035 hasRelatedWork W1511757548 @default.
- W3049453035 hasRelatedWork W1593463844 @default.
- W3049453035 hasRelatedWork W1802821885 @default.
- W3049453035 hasRelatedWork W1965230791 @default.
- W3049453035 hasRelatedWork W1974942814 @default.