FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569665185> ?p ?o ?g. }

• W1569665185 endingPage "1237" @default.
• W1569665185 startingPage "1223" @default.
• W1569665185 abstract "Logics of action, for reasoning about the effects of state change, and logics of belief, accounting for belief revision and update, have much in common. Furthermore, we may undertake an action because we hold a particular belief, and revise our beliefs in the light of observed consequences of an action. So studies of these two aspects are inevitably intertwined. However, we argue, a clear separation of the two is helpful in understanding their interactions. We give a semantic presentation of such a separation, introducing a semantic setting that supports one logic for describing the effects of actions, which are modeled as changing the values of particular atomic properties, or fluents, and another for expressing more complex facts or beliefs about the world. We use a simple state-logic, to account for state change, and show how it can be integrated with a variety of domain-logics, of fact or belief, for reasoning about the world. Stateand domain-logics are linked, syntactically and semantically; but separate. The state-logic, our logic for action, is quantified propositional logic. Bounded existential propositional quantification is used to specify which literals may be established by a given action. This provides a logically transparent account of the treatment of updates introduced in [1], which itself provided a treatment of the frame problem extending the uses in event calculi of the forget operator, occlude and release predicates, all published in 1994 [2–4]. Our, purely classical, logical setting can be seen as a recasting of the state-transition model of action, underlying STRIPS [5] and ADL [6]. Our treatment, like ADL, caters for actions with conditional effects, which can handle ramifications unrepresentable in classic STRIPS; it also includes concurrent actions, non-deterministic effects, and domain axioms or integrity constraints, which are not present in ADL. We introduce an operator, novel in this context, that computes fixpoints of certain monotone actions, to handle the problem of nested ramification. We exploit non-determinacy to provide a decomposition of actions, as compositions of simpler fundamental operations on states. These decompositions provide a basis for the static analysis of interference, which is applied in our treatment of iteration, re-ordering and concurrent composition of actions. Our setting combines operational and inferential aspects. Domain logics are inferential, and can vary, from classical to exotic. The state logic provides an operational calculus of actions that retains the clarity and simplicity of propositional reasoning, which underlies STRIPS’ enduring appeal. It also has practical benefits: applications can exploit propositional reasoning tools, such as BDD packages and SAT solvers to provide a direct route to efficient implementations [7]. keyword action, transition system, logic, semantics, frame problem, representation ? c © IICAI www.iiconference.org this UoE portal version published by permission." @default.
• W1569665185 created "2016-06-24" @default.
• W1569665185 creator A5069996573 @default.
• W1569665185 date "2007-01-01" @default.
• W1569665185 modified "2023-09-25" @default.
• W1569665185 title "Logics for Action" @default.
• W1569665185 cites W1505436358 @default.
• W1569665185 cites W15206906 @default.
• W1569665185 cites W1552095982 @default.
• W1569665185 cites W1601418373 @default.
• W1569665185 cites W1925737511 @default.
• W1569665185 cites W2015528568 @default.
• W1569665185 cites W2032905890 @default.
• W1569665185 cites W2123120888 @default.
• W1569665185 cites W2124299249 @default.
• W1569665185 cites W2138162238 @default.
• W1569665185 cites W2143891888 @default.
• W1569665185 cites W2337392266 @default.
• W1569665185 cites W3133236490 @default.
• W1569665185 cites W60032993 @default.
• W1569665185 cites W89211023 @default.
• W1569665185 hasPublicationYear "2007" @default.
• W1569665185 type Work @default.
• W1569665185 sameAs 1569665185 @default.
• W1569665185 citedByCount "0" @default.
• W1569665185 crossrefType "proceedings-article" @default.
• W1569665185 hasAuthorship W1569665185A5069996573 @default.
• W1569665185 hasConcept C102993220 @default.
• W1569665185 hasConcept C121332964 @default.
• W1569665185 hasConcept C134306372 @default.
• W1569665185 hasConcept C154945302 @default.
• W1569665185 hasConcept C15744967 @default.
• W1569665185 hasConcept C188147891 @default.
• W1569665185 hasConcept C199360897 @default.
• W1569665185 hasConcept C2780791683 @default.
• W1569665185 hasConcept C33923547 @default.
• W1569665185 hasConcept C36503486 @default.
• W1569665185 hasConcept C41008148 @default.
• W1569665185 hasConcept C5065155 @default.
• W1569665185 hasConcept C62360110 @default.
• W1569665185 hasConcept C62520636 @default.
• W1569665185 hasConcept C69562738 @default.
• W1569665185 hasConcept C80444323 @default.
• W1569665185 hasConceptScore W1569665185C102993220 @default.
• W1569665185 hasConceptScore W1569665185C121332964 @default.
• W1569665185 hasConceptScore W1569665185C134306372 @default.
• W1569665185 hasConceptScore W1569665185C154945302 @default.
• W1569665185 hasConceptScore W1569665185C15744967 @default.
• W1569665185 hasConceptScore W1569665185C188147891 @default.
• W1569665185 hasConceptScore W1569665185C199360897 @default.
• W1569665185 hasConceptScore W1569665185C2780791683 @default.
• W1569665185 hasConceptScore W1569665185C33923547 @default.
• W1569665185 hasConceptScore W1569665185C36503486 @default.
• W1569665185 hasConceptScore W1569665185C41008148 @default.
• W1569665185 hasConceptScore W1569665185C5065155 @default.
• W1569665185 hasConceptScore W1569665185C62360110 @default.
• W1569665185 hasConceptScore W1569665185C62520636 @default.
• W1569665185 hasConceptScore W1569665185C69562738 @default.
• W1569665185 hasConceptScore W1569665185C80444323 @default.
• W1569665185 hasLocation W15696651851 @default.
• W1569665185 hasOpenAccess W1569665185 @default.
• W1569665185 hasPrimaryLocation W15696651851 @default.
• W1569665185 hasRelatedWork W1486676288 @default.
• W1569665185 hasRelatedWork W1487831734 @default.
• W1569665185 hasRelatedWork W1556144545 @default.
• W1569665185 hasRelatedWork W1585413685 @default.
• W1569665185 hasRelatedWork W1593641288 @default.
• W1569665185 hasRelatedWork W1597481850 @default.
• W1569665185 hasRelatedWork W1654365180 @default.
• W1569665185 hasRelatedWork W1785611875 @default.
• W1569665185 hasRelatedWork W2112402907 @default.
• W1569665185 hasRelatedWork W2113316597 @default.
• W1569665185 hasRelatedWork W2125369646 @default.
• W1569665185 hasRelatedWork W2145838621 @default.
• W1569665185 hasRelatedWork W2280951085 @default.
• W1569665185 hasRelatedWork W2374187392 @default.
• W1569665185 hasRelatedWork W2560839612 @default.
• W1569665185 hasRelatedWork W2895661528 @default.
• W1569665185 hasRelatedWork W290319452 @default.
• W1569665185 hasRelatedWork W2909568504 @default.
• W1569665185 hasRelatedWork W3184427385 @default.
• W1569665185 hasRelatedWork W789857969 @default.
• W1569665185 isParatext "false" @default.
• W1569665185 isRetracted "false" @default.
• W1569665185 magId "1569665185" @default.
• W1569665185 workType "article" @default.