FRINK Linked Data Fragments server

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

• W2013831071 endingPage "1221" @default.
• W2013831071 startingPage "1172" @default.
• W2013831071 abstract "Incorporating new information into a knowledge base is an important problem which has been widely investigated. In this paper, we study this problem in a formal framework for reasoning about actions and change. In this framework, action domains are described in an action language whose semantics is based on the notion of causality. Unlike the formalisms considered in the related work, this language allows straightforward representation of non-deterministic effects and indirect effects of (possibly concurrent) actions, as well as state constraints; therefore, the updates can be more general than elementary statements. The expressivity of this formalism allows us to study the update of an action domain description with a more general approach compared to related work. First of all, we consider the update of an action description with respect to further criteria, for instance, by ensuring that the updated description entails some observations, assertions, or general domain properties that constitute further constraints that are not expressible in an action description in general. Moreover, our framework allows us to discriminate amongst alternative updates of action domain descriptions and to single out a most preferable one, based on a given preference relation possibly dependent on the specified criteria. We study semantic and computational aspects of the update problem, and establish basic properties of updates as well as a decomposition theorem that gives rise to a divide and conquer approach to updating action descriptions under certain conditions. Furthermore, we study the computational complexity of decision problems around computing solutions, both for the generic setting and for two particular preference relations, viz. set-inclusion and weight-based preference. While deciding the existence of solutions and recognizing solutions are PSPACE-complete problems in general, the problems fall back into the polynomial hierarchy under restrictions on the additional constraints. We finally discuss methods to compute solutions and approximate solutions (which disregard preference). Our results provide a semantic and computational basis for developing systems that incorporate new information into action domain descriptions in an action language, in the presence of additional constraints." @default.
• W2013831071 created "2016-06-24" @default.
• W2013831071 creator A5016455314 @default.
• W2013831071 creator A5033448076 @default.
• W2013831071 creator A5082178480 @default.
• W2013831071 creator A5083659319 @default.
• W2013831071 date "2010-10-01" @default.
• W2013831071 modified "2023-09-23" @default.
• W2013831071 title "Updating action domain descriptions" @default.
• W2013831071 cites W1500272728 @default.
• W2013831071 cites W1574702170 @default.
• W2013831071 cites W1597656341 @default.
• W2013831071 cites W1717023982 @default.
• W2013831071 cites W1955449192 @default.
• W2013831071 cites W1976739409 @default.
• W2013831071 cites W1982345710 @default.
• W2013831071 cites W1984302133 @default.
• W2013831071 cites W2038896017 @default.
• W2013831071 cites W2050658282 @default.
• W2013831071 cites W2058277150 @default.
• W2013831071 cites W2058658036 @default.
• W2013831071 cites W2063105154 @default.
• W2013831071 cites W2068322169 @default.
• W2013831071 cites W2072046078 @default.
• W2013831071 cites W2072181151 @default.
• W2013831071 cites W2094053304 @default.
• W2013831071 cites W2101013415 @default.
• W2013831071 cites W2105197521 @default.
• W2013831071 cites W2105631606 @default.
• W2013831071 cites W2119093471 @default.
• W2013831071 cites W2142027944 @default.
• W2013831071 cites W2146405821 @default.
• W2013831071 cites W2149420462 @default.
• W2013831071 cites W2154631287 @default.
• W2013831071 doi "https://doi.org/10.1016/j.artint.2010.07.004" @default.
• W2013831071 hasPubMedCentralId "https://www.ncbi.nlm.nih.gov/pmc/articles/2978003" @default.
• W2013831071 hasPubMedId "https://pubmed.ncbi.nlm.nih.gov/21151324" @default.
• W2013831071 hasPublicationYear "2010" @default.
• W2013831071 type Work @default.
• W2013831071 sameAs 2013831071 @default.
• W2013831071 citedByCount "12" @default.
• W2013831071 countsByYear W20138310712012 @default.
• W2013831071 countsByYear W20138310712013 @default.
• W2013831071 countsByYear W20138310712014 @default.
• W2013831071 countsByYear W20138310712015 @default.
• W2013831071 countsByYear W20138310712017 @default.
• W2013831071 countsByYear W20138310712020 @default.
• W2013831071 countsByYear W20138310712021 @default.
• W2013831071 crossrefType "journal-article" @default.
• W2013831071 hasAuthorship W2013831071A5016455314 @default.
• W2013831071 hasAuthorship W2013831071A5033448076 @default.
• W2013831071 hasAuthorship W2013831071A5082178480 @default.
• W2013831071 hasAuthorship W2013831071A5083659319 @default.
• W2013831071 hasBestOaLocation W20138310711 @default.
• W2013831071 hasConcept C121332964 @default.
• W2013831071 hasConcept C134306372 @default.
• W2013831071 hasConcept C142362112 @default.
• W2013831071 hasConcept C153349607 @default.
• W2013831071 hasConcept C154945302 @default.
• W2013831071 hasConcept C161301231 @default.
• W2013831071 hasConcept C171018156 @default.
• W2013831071 hasConcept C17744445 @default.
• W2013831071 hasConcept C184337299 @default.
• W2013831071 hasConcept C199360897 @default.
• W2013831071 hasConcept C199539241 @default.
• W2013831071 hasConcept C2524010 @default.
• W2013831071 hasConcept C2776359362 @default.
• W2013831071 hasConcept C2780791683 @default.
• W2013831071 hasConcept C33923547 @default.
• W2013831071 hasConcept C36503486 @default.
• W2013831071 hasConcept C41008148 @default.
• W2013831071 hasConcept C558565934 @default.
• W2013831071 hasConcept C62360110 @default.
• W2013831071 hasConcept C62520636 @default.
• W2013831071 hasConcept C73301696 @default.
• W2013831071 hasConcept C80444323 @default.
• W2013831071 hasConcept C94625758 @default.
• W2013831071 hasConceptScore W2013831071C121332964 @default.
• W2013831071 hasConceptScore W2013831071C134306372 @default.
• W2013831071 hasConceptScore W2013831071C142362112 @default.
• W2013831071 hasConceptScore W2013831071C153349607 @default.
• W2013831071 hasConceptScore W2013831071C154945302 @default.
• W2013831071 hasConceptScore W2013831071C161301231 @default.
• W2013831071 hasConceptScore W2013831071C171018156 @default.
• W2013831071 hasConceptScore W2013831071C17744445 @default.
• W2013831071 hasConceptScore W2013831071C184337299 @default.
• W2013831071 hasConceptScore W2013831071C199360897 @default.
• W2013831071 hasConceptScore W2013831071C199539241 @default.
• W2013831071 hasConceptScore W2013831071C2524010 @default.
• W2013831071 hasConceptScore W2013831071C2776359362 @default.
• W2013831071 hasConceptScore W2013831071C2780791683 @default.
• W2013831071 hasConceptScore W2013831071C33923547 @default.
• W2013831071 hasConceptScore W2013831071C36503486 @default.
• W2013831071 hasConceptScore W2013831071C41008148 @default.
• W2013831071 hasConceptScore W2013831071C558565934 @default.
• W2013831071 hasConceptScore W2013831071C62360110 @default.
• W2013831071 hasConceptScore W2013831071C62520636 @default.
• W2013831071 hasConceptScore W2013831071C73301696 @default.

• next