Matches in SemOpenAlex for { <https://semopenalex.org/work/W3196729537> ?p ?o ?g. }
- W3196729537 endingPage "103917" @default.
- W3196729537 startingPage "103917" @default.
- W3196729537 abstract "Conditionals are useful for modelling, but are not always sufficiently expressive for capturing information accurately. In this paper we make the case for a form of conditional that is situation-based. These conditionals are more expressive than classical conditionals, are general enough to be used in several application domains, and are able to distinguish, for example, between expectations and counterfactuals. Formally, they are shown to generalise the conditional setting in the style of Kraus, Lehmann, and Magidor. We show that situation-based conditionals can be described in terms of a set of rationality postulates. We then propose an intuitive semantics for these conditionals, and present a representation result which shows that our semantic construction corresponds exactly to the description in terms of postulates. With the semantics in place, we proceed to define a form of entailment for situated conditional knowledge bases, which we refer to as minimal closure. It is reminiscent of and, indeed, inspired by, the version of entailment for propositional conditional knowledge bases known as rational closure. Finally, we proceed to show that it is possible to reduce the computation of minimal closure to a series of propositional entailment and satisfiability checks. While this is also the case for rational closure, it is somewhat surprising that the result carries over to minimal closure." @default.
- W3196729537 created "2021-09-13" @default.
- W3196729537 creator A5024544603 @default.
- W3196729537 creator A5034598656 @default.
- W3196729537 creator A5070787094 @default.
- W3196729537 date "2023-06-01" @default.
- W3196729537 modified "2023-09-26" @default.
- W3196729537 title "Situated conditional reasoning" @default.
- W3196729537 cites W1538808052 @default.
- W3196729537 cites W1973899684 @default.
- W3196729537 cites W1976584123 @default.
- W3196729537 cites W1986725279 @default.
- W3196729537 cites W1991508422 @default.
- W3196729537 cites W2005012635 @default.
- W3196729537 cites W2008443647 @default.
- W3196729537 cites W2029832576 @default.
- W3196729537 cites W2030551711 @default.
- W3196729537 cites W2038037045 @default.
- W3196729537 cites W2043743238 @default.
- W3196729537 cites W2047397984 @default.
- W3196729537 cites W2070700547 @default.
- W3196729537 cites W2080142817 @default.
- W3196729537 cites W2084461687 @default.
- W3196729537 cites W2089822569 @default.
- W3196729537 cites W2113740884 @default.
- W3196729537 cites W2149420462 @default.
- W3196729537 cites W2167907160 @default.
- W3196729537 cites W2172126546 @default.
- W3196729537 cites W2295766998 @default.
- W3196729537 cites W229642387 @default.
- W3196729537 cites W2319216046 @default.
- W3196729537 cites W2938157237 @default.
- W3196729537 cites W2964309571 @default.
- W3196729537 cites W2975321591 @default.
- W3196729537 cites W3002813667 @default.
- W3196729537 cites W3082661735 @default.
- W3196729537 cites W4236733535 @default.
- W3196729537 cites W4239069293 @default.
- W3196729537 cites W4245843695 @default.
- W3196729537 doi "https://doi.org/10.1016/j.artint.2023.103917" @default.
- W3196729537 hasPublicationYear "2023" @default.
- W3196729537 type Work @default.
- W3196729537 sameAs 3196729537 @default.
- W3196729537 citedByCount "0" @default.
- W3196729537 crossrefType "journal-article" @default.
- W3196729537 hasAuthorship W3196729537A5024544603 @default.
- W3196729537 hasAuthorship W3196729537A5034598656 @default.
- W3196729537 hasAuthorship W3196729537A5070787094 @default.
- W3196729537 hasBestOaLocation W31967295372 @default.
- W3196729537 hasConcept C108650721 @default.
- W3196729537 hasConcept C111472728 @default.
- W3196729537 hasConcept C118615104 @default.
- W3196729537 hasConcept C128913409 @default.
- W3196729537 hasConcept C134752490 @default.
- W3196729537 hasConcept C138885662 @default.
- W3196729537 hasConcept C146834321 @default.
- W3196729537 hasConcept C154945302 @default.
- W3196729537 hasConcept C162324750 @default.
- W3196729537 hasConcept C168773769 @default.
- W3196729537 hasConcept C17744445 @default.
- W3196729537 hasConcept C184337299 @default.
- W3196729537 hasConcept C199360897 @default.
- W3196729537 hasConcept C199539241 @default.
- W3196729537 hasConcept C204321447 @default.
- W3196729537 hasConcept C2776359362 @default.
- W3196729537 hasConcept C33923547 @default.
- W3196729537 hasConcept C34447519 @default.
- W3196729537 hasConcept C41008148 @default.
- W3196729537 hasConcept C69562738 @default.
- W3196729537 hasConcept C71889745 @default.
- W3196729537 hasConcept C80444323 @default.
- W3196729537 hasConcept C94625758 @default.
- W3196729537 hasConceptScore W3196729537C108650721 @default.
- W3196729537 hasConceptScore W3196729537C111472728 @default.
- W3196729537 hasConceptScore W3196729537C118615104 @default.
- W3196729537 hasConceptScore W3196729537C128913409 @default.
- W3196729537 hasConceptScore W3196729537C134752490 @default.
- W3196729537 hasConceptScore W3196729537C138885662 @default.
- W3196729537 hasConceptScore W3196729537C146834321 @default.
- W3196729537 hasConceptScore W3196729537C154945302 @default.
- W3196729537 hasConceptScore W3196729537C162324750 @default.
- W3196729537 hasConceptScore W3196729537C168773769 @default.
- W3196729537 hasConceptScore W3196729537C17744445 @default.
- W3196729537 hasConceptScore W3196729537C184337299 @default.
- W3196729537 hasConceptScore W3196729537C199360897 @default.
- W3196729537 hasConceptScore W3196729537C199539241 @default.
- W3196729537 hasConceptScore W3196729537C204321447 @default.
- W3196729537 hasConceptScore W3196729537C2776359362 @default.
- W3196729537 hasConceptScore W3196729537C33923547 @default.
- W3196729537 hasConceptScore W3196729537C34447519 @default.
- W3196729537 hasConceptScore W3196729537C41008148 @default.
- W3196729537 hasConceptScore W3196729537C69562738 @default.
- W3196729537 hasConceptScore W3196729537C71889745 @default.
- W3196729537 hasConceptScore W3196729537C80444323 @default.
- W3196729537 hasConceptScore W3196729537C94625758 @default.
- W3196729537 hasLocation W31967295371 @default.
- W3196729537 hasLocation W31967295372 @default.
- W3196729537 hasLocation W31967295373 @default.