Matches in SemOpenAlex for { <https://semopenalex.org/work/W145129008> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W145129008 abstract "My interest to interconnections between the hybrid systems and AI stems from 1) the well known perspective [3] that both planning and control address a similar problem: choosing actions to influence a process, based on some model of that process, and (2) from my research project on execution monitoring of high-level programs (programs specify plans to achieve certain goals as explained below). In my research, I look to an expressive and well studied knowledge representation framework for modeling processes called the situation calculus. The situation calculus is a predicate logic language for representing and reasoning about actions and properties of dynamically changing worlds. It is employed to model continuous processes and physical systems [8; 9; 4], to diagnose what happened to the system [7] and to provide the foundations for a logic programming language Golog [9; 5]. The version of the situation calculus that I use has been described in [9; 5], and elsewhere. I will not go over the language here except to note the basic components. All changes to the world are the result of named actions. According to the important idea of [10; 8], continuous processes influencing one or more parameters can be considered to have a regular behavior that does not change until an action is executed. A sequence of actions (history) is represented by a term called a situation. The constant So is used to denote the initial situation, namely the empty history. Non-empty histories are constructed using a distinguished binary function symbol do; do(a(x), denotes thesuccessor situ ation to s resulting from performing the action denoted by term a(x). There is a special predicate Poss(a(x), used to state tha t act ion c~(x) is executable in situation s. Relations whose truth values vary from situation to situation are called relationalfluents. Similarly, functions whose values vary from situation to situation are called functionalfluents. In terms of the control theory (decision theory), fluents are state variables influenced by sequence of control actions (sequence of decisions, respectively) performed so far. To axiomatize the primitive actions and fluents of a domain of application, one must provide the following axioms:" @default.
- W145129008 created "2016-06-24" @default.
- W145129008 creator A5016326843 @default.
- W145129008 date "1999-01-01" @default.
- W145129008 modified "2023-09-24" @default.
- W145129008 title "Execution Monitoring of High-Level Programs." @default.
- W145129008 cites W145520746 @default.
- W145129008 cites W1520214770 @default.
- W145129008 cites W1573091213 @default.
- W145129008 cites W1598515570 @default.
- W145129008 cites W2045474169 @default.
- W145129008 cites W234999116 @default.
- W145129008 cites W23603061 @default.
- W145129008 hasPublicationYear "1999" @default.
- W145129008 type Work @default.
- W145129008 sameAs 145129008 @default.
- W145129008 citedByCount "0" @default.
- W145129008 crossrefType "journal-article" @default.
- W145129008 hasAuthorship W145129008A5016326843 @default.
- W145129008 hasConcept C121332964 @default.
- W145129008 hasConcept C140146324 @default.
- W145129008 hasConcept C14036430 @default.
- W145129008 hasConcept C199343813 @default.
- W145129008 hasConcept C199360897 @default.
- W145129008 hasConcept C22497172 @default.
- W145129008 hasConcept C2777686260 @default.
- W145129008 hasConcept C2780791683 @default.
- W145129008 hasConcept C41008148 @default.
- W145129008 hasConcept C62520636 @default.
- W145129008 hasConcept C71924100 @default.
- W145129008 hasConcept C78458016 @default.
- W145129008 hasConcept C80444323 @default.
- W145129008 hasConcept C86803240 @default.
- W145129008 hasConcept C88626702 @default.
- W145129008 hasConcept C98045186 @default.
- W145129008 hasConceptScore W145129008C121332964 @default.
- W145129008 hasConceptScore W145129008C140146324 @default.
- W145129008 hasConceptScore W145129008C14036430 @default.
- W145129008 hasConceptScore W145129008C199343813 @default.
- W145129008 hasConceptScore W145129008C199360897 @default.
- W145129008 hasConceptScore W145129008C22497172 @default.
- W145129008 hasConceptScore W145129008C2777686260 @default.
- W145129008 hasConceptScore W145129008C2780791683 @default.
- W145129008 hasConceptScore W145129008C41008148 @default.
- W145129008 hasConceptScore W145129008C62520636 @default.
- W145129008 hasConceptScore W145129008C71924100 @default.
- W145129008 hasConceptScore W145129008C78458016 @default.
- W145129008 hasConceptScore W145129008C80444323 @default.
- W145129008 hasConceptScore W145129008C86803240 @default.
- W145129008 hasConceptScore W145129008C88626702 @default.
- W145129008 hasConceptScore W145129008C98045186 @default.
- W145129008 hasLocation W1451290081 @default.
- W145129008 hasOpenAccess W145129008 @default.
- W145129008 hasPrimaryLocation W1451290081 @default.
- W145129008 hasRelatedWork W137408535 @default.
- W145129008 hasRelatedWork W1572783554 @default.
- W145129008 hasRelatedWork W1586126719 @default.
- W145129008 hasRelatedWork W1973391999 @default.
- W145129008 hasRelatedWork W1987183689 @default.
- W145129008 hasRelatedWork W1988698742 @default.
- W145129008 hasRelatedWork W2030102789 @default.
- W145129008 hasRelatedWork W2047434003 @default.
- W145129008 hasRelatedWork W2105653187 @default.
- W145129008 hasRelatedWork W2132934799 @default.
- W145129008 hasRelatedWork W2136398618 @default.
- W145129008 hasRelatedWork W2139771194 @default.
- W145129008 hasRelatedWork W2170655684 @default.
- W145129008 hasRelatedWork W2216164161 @default.
- W145129008 hasRelatedWork W2606526247 @default.
- W145129008 hasRelatedWork W2778653392 @default.
- W145129008 hasRelatedWork W627345477 @default.
- W145129008 hasRelatedWork W8942334 @default.
- W145129008 hasRelatedWork W91657821 @default.
- W145129008 hasRelatedWork W3095687242 @default.
- W145129008 isParatext "false" @default.
- W145129008 isRetracted "false" @default.
- W145129008 magId "145129008" @default.
- W145129008 workType "article" @default.