Matches in SemOpenAlex for { <https://semopenalex.org/work/W2182604253> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2182604253 abstract "There has been much work already on formal models of deliberation/planning under incomplete information, where an agent can perform sensing actions to acquire additional information. But most of it has been set in epistemic logicbased frameworks and is hard to relate to work on agent programming languages (e.g. 3APL, AgentSpeak(L)). Here, we develop new non-epistemic formalizations of deliberation that are much easier to relate to standard agent programming language semantics based on transition systems. When doing deliberation/planning under incomplete information, one typically searches over a set of states, each of which is associated with a knowledge base (KB) or theory that represents what is known in the state. To evaluate tests in the program and to determine what transitions/actions are possible, one looks at what is entailed by the current KB. To allow for future sensing results, one looks at which of these are consistent with the current KB. We call this type of approach to deliberation “entailment and consistencybased” (EC-based). In this paper, we argue that EC-based approaches do not always work, and propose an alternative. Our accounts are formalized within the situation calculus and use a simple programming language based on ConGolog to specify agent programs, but we claim that the results generalize to most proposed agent programming languages/frameworks. Our accounts rely on a semantics for online executions of programs with sensing. A configuration is a pair (δ, σ) involving a program δ and a history σ specifying the actions performed so far and the sensing results obtained. In the full paper, we define a transition relation for this, i.e. when a configuration (δ, σ) may evolve to configuration (δ ,σ ) w.r.t. a model M (relative to an underlying theory of action D). The definition requires that the theory D, augmented with the sensing results in σ, entail that the transition is possible. The model M is used to represent a possible environment and generate sensing results. We also define when a configuration is final, i.e. may legally terminate." @default.
- W2182604253 created "2016-06-24" @default.
- W2182604253 creator A5013290512 @default.
- W2182604253 creator A5025681351 @default.
- W2182604253 creator A5045872670 @default.
- W2182604253 creator A5060460434 @default.
- W2182604253 date "2004-01-01" @default.
- W2182604253 modified "2023-10-18" @default.
- W2182604253 title "On Ability to Autonomously Execute Agent Programs with Sensing — Extended Abstract" @default.
- W2182604253 hasPublicationYear "2004" @default.
- W2182604253 type Work @default.
- W2182604253 sameAs 2182604253 @default.
- W2182604253 citedByCount "0" @default.
- W2182604253 crossrefType "proceedings-article" @default.
- W2182604253 hasAuthorship W2182604253A5013290512 @default.
- W2182604253 hasAuthorship W2182604253A5025681351 @default.
- W2182604253 hasAuthorship W2182604253A5045872670 @default.
- W2182604253 hasAuthorship W2182604253A5060460434 @default.
- W2182604253 hasConcept C154945302 @default.
- W2182604253 hasConcept C177264268 @default.
- W2182604253 hasConcept C17744445 @default.
- W2182604253 hasConcept C182620335 @default.
- W2182604253 hasConcept C184337299 @default.
- W2182604253 hasConcept C199360897 @default.
- W2182604253 hasConcept C199539241 @default.
- W2182604253 hasConcept C22497172 @default.
- W2182604253 hasConcept C2776946740 @default.
- W2182604253 hasConcept C41008148 @default.
- W2182604253 hasConcept C48103436 @default.
- W2182604253 hasConcept C80444323 @default.
- W2182604253 hasConcept C94625758 @default.
- W2182604253 hasConceptScore W2182604253C154945302 @default.
- W2182604253 hasConceptScore W2182604253C177264268 @default.
- W2182604253 hasConceptScore W2182604253C17744445 @default.
- W2182604253 hasConceptScore W2182604253C182620335 @default.
- W2182604253 hasConceptScore W2182604253C184337299 @default.
- W2182604253 hasConceptScore W2182604253C199360897 @default.
- W2182604253 hasConceptScore W2182604253C199539241 @default.
- W2182604253 hasConceptScore W2182604253C22497172 @default.
- W2182604253 hasConceptScore W2182604253C2776946740 @default.
- W2182604253 hasConceptScore W2182604253C41008148 @default.
- W2182604253 hasConceptScore W2182604253C48103436 @default.
- W2182604253 hasConceptScore W2182604253C80444323 @default.
- W2182604253 hasConceptScore W2182604253C94625758 @default.
- W2182604253 hasLocation W21826042531 @default.
- W2182604253 hasOpenAccess W2182604253 @default.
- W2182604253 hasPrimaryLocation W21826042531 @default.
- W2182604253 hasRelatedWork W1506199548 @default.
- W2182604253 hasRelatedWork W15233957 @default.
- W2182604253 hasRelatedWork W1528954622 @default.
- W2182604253 hasRelatedWork W1540580203 @default.
- W2182604253 hasRelatedWork W166549988 @default.
- W2182604253 hasRelatedWork W188308814 @default.
- W2182604253 hasRelatedWork W2003068314 @default.
- W2182604253 hasRelatedWork W204274511 @default.
- W2182604253 hasRelatedWork W2066842490 @default.
- W2182604253 hasRelatedWork W2100831881 @default.
- W2182604253 hasRelatedWork W2128232567 @default.
- W2182604253 hasRelatedWork W2150114901 @default.
- W2182604253 hasRelatedWork W2156307294 @default.
- W2182604253 hasRelatedWork W2404606729 @default.
- W2182604253 hasRelatedWork W2404787561 @default.
- W2182604253 hasRelatedWork W2578170406 @default.
- W2182604253 hasRelatedWork W2923655103 @default.
- W2182604253 hasRelatedWork W3202694371 @default.
- W2182604253 hasRelatedWork W48924529 @default.
- W2182604253 hasRelatedWork W48983961 @default.
- W2182604253 isParatext "false" @default.
- W2182604253 isRetracted "false" @default.
- W2182604253 magId "2182604253" @default.
- W2182604253 workType "article" @default.