R. Li and L. M. Pereira. Reasoning about Concurrent Actions and Observations. In Proceedings of APPIA-GULP-PRODE, pages 549--560. University of the Basque Country, 1996. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
On the Combination of Partial Action Descriptions - Bornscheuer, Lehmann (1998) (Correct)
....state and the effects of other actions 7 In our example there is an infinite number of states differing in the number of boxes standing on the ramp. 8 In AC this means that the concurrent execution of delivering and storing is impossible. For another interpretation of contradictory effects see [5,14]. 9 RD , FD and AD are supposed to be disjoint. 10 Multisets are denoted with the help of the curly brackets fj:jg . The empty multiset is denoted by ; Gamma , and denote the (non idempotent) multiset operations corresponding to the usual (idempotent) set operations [ n , and ....
.... in terms of AC , the action a cannot be executed in the state S . In other words, we consider conditions to be conditions to the 12 Effect conflicts result in the transition function being undefined wrt. the considered action and state. For other interpretations of effect conflicts see [5,14]. executability of actions, if they are intended to be combined non idempotently. Otherwise, they are interpreted as conditions to the applicability of the corresponding e proposition 13 . Usually, in resource oriented approaches, non idempotent conditions are identified with consumptions. ....
R. Li and L. M. Pereira. Reasoning about Concurrent Actions and Observations. In Proceedings of APPIA-GULP-PRODE, pages 549--560. University of the Basque Country, 1996.
Concurrent Productions, Consumptions and Occupations - Bornscheuer, Lehmann (1997) (Correct)
....containing all elements r ( r 2 RD ) in e that are signed by Gamma in e (if e is a fluent literal, then produces(g) and consumes(g) 6 In A C this means that the concurrent execution of delivering and storing is impossible. For another interpretation of contradictory effects see [4, 12]. 7 RD , FD and AD are supposed to be disjoint. 8 Multisets are denoted with the help of the curly brackets fj:jg . The empty multiset is denoted by ; Gamma , and denote the (non idempotent) multiset operations corresponding to the usual (idempotent) set operations [ n , and ....
....which is exponential in the number of considered actions. 12 The occurrence of precondition conflicts and effect conflicts, respectively, in A ORC , result in the transition function to be undefined wrt. the considered action and state. For other interpretations of effect conflicts see [4] and [12]. 13 Recall, that the occupations represented by the signed fluents (and resources, resp. are resources which are intended to be combined non idempotent. Hence, they will be set off against each other like resource effects. The consumption of an occupation is, analogously, used for ....
R. Li and L. M. Pereira. Reasoning about Concurrent Actions and Observations. In Proceedings of APPIA-GULP-PRODE, pages 549--560. University of the Basque Country, 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC