Matches in SemOpenAlex for { <https://semopenalex.org/work/W2487150760> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2487150760 endingPage "27" @default.
- W2487150760 startingPage "1" @default.
- W2487150760 abstract "We introduce a new approach to reasoning about action and change using nonmonotonic logic. The approach is arrived at by applying Pearl's theory of causal networks to logical formalizations of temporal reasoning domains. It handles complicated reasoning domains involving concurrent actions, actions with nondeterministic effects, preconditions over several points in time, ramification/qualification constraints and causal chains of events. Our theory comes in two versions: version ${bf S_0$ that works for logical theories in which causal knowledge is represented explicitly, and version ${bf I_0$ that works for theories in which this is not the case. We show that ${bf S_0$ can be seen as a generalization and/or correction of most existing approaches that are explicitly based on causation. Specifically, we prove that on a large class of reasoning domains, ${bf S_0$ is equivalent to McCain & Turner's theory of Ramifications and Qualifications. For another large class of reasoning domains, ${bf S_0$ turns out to be equivalent to Baral & Gelfond's ${cal L_{3$ approach. We give examples of reasoning domains that fall outside these classes and for which ${bf S_0$ yields better results than either McCain & Turner's or Baral & Gelfond's approach. We give strong arguments that ${bf S_0$ and Lin's recent causal theory are equivalent on all reasoning domains on which both are defined. For the causal approaches of Morgenstern & Stein, Geffner, Haugh and Lifschitz & Rabinov we again provide examples of reasoning domains that ${bf S_0$ handles better than they do. We also show that two of the most well-known non-causal approaches, namely Baker's account and `chronological minimization with filter preferential entailment', can be reinterpreted as approximations of ${bf I_0$. In the case of Baker we again give an equivalence theorem and a counterexample. We thus provide a reinterpretation in terms of causal network theory of much of the work done in nonmonotonic temporal reasoning." @default.
- W2487150760 created "2016-08-23" @default.
- W2487150760 creator A5079050279 @default.
- W2487150760 date "1997-01-01" @default.
- W2487150760 modified "2023-09-27" @default.
- W2487150760 title "Causation, explanation and nonmonotonic temporal reasoning" @default.
- W2487150760 hasPublicationYear "1997" @default.
- W2487150760 type Work @default.
- W2487150760 sameAs 2487150760 @default.
- W2487150760 citedByCount "0" @default.
- W2487150760 crossrefType "journal-article" @default.
- W2487150760 hasAuthorship W2487150760A5079050279 @default.
- W2487150760 hasConcept C111472728 @default.
- W2487150760 hasConcept C115086926 @default.
- W2487150760 hasConcept C118615104 @default.
- W2487150760 hasConcept C121332964 @default.
- W2487150760 hasConcept C134306372 @default.
- W2487150760 hasConcept C134752490 @default.
- W2487150760 hasConcept C138885662 @default.
- W2487150760 hasConcept C154945302 @default.
- W2487150760 hasConcept C15744967 @default.
- W2487150760 hasConcept C159032336 @default.
- W2487150760 hasConcept C166151441 @default.
- W2487150760 hasConcept C169760540 @default.
- W2487150760 hasConcept C169900460 @default.
- W2487150760 hasConcept C176181172 @default.
- W2487150760 hasConcept C177148314 @default.
- W2487150760 hasConcept C2777212361 @default.
- W2487150760 hasConcept C2780791683 @default.
- W2487150760 hasConcept C33923547 @default.
- W2487150760 hasConcept C41008148 @default.
- W2487150760 hasConcept C62360110 @default.
- W2487150760 hasConcept C62520636 @default.
- W2487150760 hasConcept C97364631 @default.
- W2487150760 hasConceptScore W2487150760C111472728 @default.
- W2487150760 hasConceptScore W2487150760C115086926 @default.
- W2487150760 hasConceptScore W2487150760C118615104 @default.
- W2487150760 hasConceptScore W2487150760C121332964 @default.
- W2487150760 hasConceptScore W2487150760C134306372 @default.
- W2487150760 hasConceptScore W2487150760C134752490 @default.
- W2487150760 hasConceptScore W2487150760C138885662 @default.
- W2487150760 hasConceptScore W2487150760C154945302 @default.
- W2487150760 hasConceptScore W2487150760C15744967 @default.
- W2487150760 hasConceptScore W2487150760C159032336 @default.
- W2487150760 hasConceptScore W2487150760C166151441 @default.
- W2487150760 hasConceptScore W2487150760C169760540 @default.
- W2487150760 hasConceptScore W2487150760C169900460 @default.
- W2487150760 hasConceptScore W2487150760C176181172 @default.
- W2487150760 hasConceptScore W2487150760C177148314 @default.
- W2487150760 hasConceptScore W2487150760C2777212361 @default.
- W2487150760 hasConceptScore W2487150760C2780791683 @default.
- W2487150760 hasConceptScore W2487150760C33923547 @default.
- W2487150760 hasConceptScore W2487150760C41008148 @default.
- W2487150760 hasConceptScore W2487150760C62360110 @default.
- W2487150760 hasConceptScore W2487150760C62520636 @default.
- W2487150760 hasConceptScore W2487150760C97364631 @default.
- W2487150760 hasIssue "1" @default.
- W2487150760 hasLocation W24871507601 @default.
- W2487150760 hasOpenAccess W2487150760 @default.
- W2487150760 hasPrimaryLocation W24871507601 @default.
- W2487150760 hasRelatedWork W1675936959 @default.
- W2487150760 hasRelatedWork W1972489746 @default.
- W2487150760 hasRelatedWork W1986725279 @default.
- W2487150760 hasRelatedWork W2006886458 @default.
- W2487150760 hasRelatedWork W2032433027 @default.
- W2487150760 hasRelatedWork W2059250937 @default.
- W2487150760 hasRelatedWork W2074706379 @default.
- W2487150760 hasRelatedWork W2077057854 @default.
- W2487150760 hasRelatedWork W2094633765 @default.
- W2487150760 hasRelatedWork W2149019670 @default.
- W2487150760 hasRelatedWork W2189196058 @default.
- W2487150760 hasRelatedWork W2385595162 @default.
- W2487150760 hasRelatedWork W243756618 @default.
- W2487150760 hasRelatedWork W2499226927 @default.
- W2487150760 hasRelatedWork W2525481912 @default.
- W2487150760 hasRelatedWork W2591512933 @default.
- W2487150760 hasRelatedWork W3114033500 @default.
- W2487150760 hasRelatedWork W45576761 @default.
- W2487150760 hasRelatedWork W81871881 @default.
- W2487150760 hasRelatedWork W998620853 @default.
- W2487150760 isParatext "false" @default.
- W2487150760 isRetracted "false" @default.
- W2487150760 magId "2487150760" @default.
- W2487150760 workType "article" @default.