Matches in SemOpenAlex for { <https://semopenalex.org/work/W1992170615> ?p ?o ?g. }
- W1992170615 endingPage "808" @default.
- W1992170615 startingPage "777" @default.
- W1992170615 abstract "The Situation Calculus is a logic of time and change in which there is a distinguished initial situation and all other situations arise from the different sequences of actions that might be performed starting in the initial one. Within this framework, it is difficult to incorporate the notion of an occurrence, since all situations after the initial one are hypothetical. These occurrences are important, for instance, when one wants to represent narratives. There have been proposals to incorporate the notion of an action occurrence in the language of the Situation Calculus, namely Miller and Shanahan’s work on narratives [22] and Pinto and Reiter’s work on actual lines of situations [27, 29]. Both approaches have in common the idea of incorporating a linear sequence of situations into the tree described by theories written in the Situation Calculus language. Unfortunately, several advantages of the Situation Calculus are lost when reasoning with a narrative line or with an actual line of occurrences. In this paper we propose a different approach to dealing with action occurrences and narratives, which can be seen as a generalization of narrative lines to narrative trees. In this approach we exploit the fact that, in the discrete Situation Calculus [13], each situation has a unique history. Then, occurrences are interpreted as constraints on valid histories. We argue that this new approach subsumes the linear approaches of Miller and Shanahan’s, and Pinto and Reiter’s. In this framework, we are able to represent various kinds of occurrences; namely, conditional, preventable and non-preventable occurrences. Other types of occurrences, not discussed in this article, can also be accommodated." @default.
- W1992170615 created "2016-06-24" @default.
- W1992170615 creator A5062561778 @default.
- W1992170615 date "1998-12-01" @default.
- W1992170615 modified "2023-10-17" @default.
- W1992170615 title "Occurrences and narratives as constraints in the branching structure of the situation calculus" @default.
- W1992170615 cites W138109770 @default.
- W1992170615 cites W1506588809 @default.
- W1992170615 cites W1509153766 @default.
- W1992170615 cites W1524857134 @default.
- W1992170615 cites W1534564803 @default.
- W1992170615 cites W1552994683 @default.
- W1992170615 cites W1555797260 @default.
- W1992170615 cites W1557893839 @default.
- W1992170615 cites W1572073643 @default.
- W1992170615 cites W1583058930 @default.
- W1992170615 cites W1599735882 @default.
- W1992170615 cites W162505767 @default.
- W1992170615 cites W163500809 @default.
- W1992170615 cites W180778080 @default.
- W1992170615 cites W188269519 @default.
- W1992170615 cites W1971925101 @default.
- W1992170615 cites W1987183689 @default.
- W1992170615 cites W1993512664 @default.
- W1992170615 cites W1998363560 @default.
- W1992170615 cites W2003911169 @default.
- W1992170615 cites W2005473008 @default.
- W1992170615 cites W2008645499 @default.
- W1992170615 cites W2045474169 @default.
- W1992170615 cites W2094734546 @default.
- W1992170615 cites W2094916185 @default.
- W1992170615 cites W2104351678 @default.
- W1992170615 cites W2109447246 @default.
- W1992170615 cites W2119409989 @default.
- W1992170615 cites W2122540544 @default.
- W1992170615 cites W2128888217 @default.
- W1992170615 cites W2138162238 @default.
- W1992170615 cites W2159753366 @default.
- W1992170615 cites W2756301 @default.
- W1992170615 cites W2899987233 @default.
- W1992170615 cites W2913309218 @default.
- W1992170615 cites W35931405 @default.
- W1992170615 cites W44876013 @default.
- W1992170615 cites W81942528 @default.
- W1992170615 cites W97390191 @default.
- W1992170615 doi "https://doi.org/10.1093/logcom/8.6.777" @default.
- W1992170615 hasPublicationYear "1998" @default.
- W1992170615 type Work @default.
- W1992170615 sameAs 1992170615 @default.
- W1992170615 citedByCount "27" @default.
- W1992170615 countsByYear W19921706152013 @default.
- W1992170615 countsByYear W19921706152014 @default.
- W1992170615 countsByYear W19921706152015 @default.
- W1992170615 countsByYear W19921706152021 @default.
- W1992170615 crossrefType "journal-article" @default.
- W1992170615 hasAuthorship W1992170615A5062561778 @default.
- W1992170615 hasConcept C138885662 @default.
- W1992170615 hasConcept C154945302 @default.
- W1992170615 hasConcept C178790620 @default.
- W1992170615 hasConcept C185592680 @default.
- W1992170615 hasConcept C199033989 @default.
- W1992170615 hasConcept C199343813 @default.
- W1992170615 hasConcept C206175624 @default.
- W1992170615 hasConcept C22497172 @default.
- W1992170615 hasConcept C2777686260 @default.
- W1992170615 hasConcept C33923547 @default.
- W1992170615 hasConcept C41008148 @default.
- W1992170615 hasConcept C41895202 @default.
- W1992170615 hasConcept C71924100 @default.
- W1992170615 hasConceptScore W1992170615C138885662 @default.
- W1992170615 hasConceptScore W1992170615C154945302 @default.
- W1992170615 hasConceptScore W1992170615C178790620 @default.
- W1992170615 hasConceptScore W1992170615C185592680 @default.
- W1992170615 hasConceptScore W1992170615C199033989 @default.
- W1992170615 hasConceptScore W1992170615C199343813 @default.
- W1992170615 hasConceptScore W1992170615C206175624 @default.
- W1992170615 hasConceptScore W1992170615C22497172 @default.
- W1992170615 hasConceptScore W1992170615C2777686260 @default.
- W1992170615 hasConceptScore W1992170615C33923547 @default.
- W1992170615 hasConceptScore W1992170615C41008148 @default.
- W1992170615 hasConceptScore W1992170615C41895202 @default.
- W1992170615 hasConceptScore W1992170615C71924100 @default.
- W1992170615 hasIssue "6" @default.
- W1992170615 hasLocation W19921706151 @default.
- W1992170615 hasOpenAccess W1992170615 @default.
- W1992170615 hasPrimaryLocation W19921706151 @default.
- W1992170615 hasRelatedWork W1516522089 @default.
- W1992170615 hasRelatedWork W1983247866 @default.
- W1992170615 hasRelatedWork W1992170615 @default.
- W1992170615 hasRelatedWork W2063488590 @default.
- W1992170615 hasRelatedWork W2094502182 @default.
- W1992170615 hasRelatedWork W209568097 @default.
- W1992170615 hasRelatedWork W2325913123 @default.
- W1992170615 hasRelatedWork W2466169425 @default.
- W1992170615 hasRelatedWork W2963693492 @default.
- W1992170615 hasRelatedWork W4230623537 @default.
- W1992170615 hasVolume "8" @default.
- W1992170615 isParatext "false" @default.