G. Grobe and R. Waldinger. Towards a theory of simultaneous actions. In J. Hertzberg, editor, Proceedings of European Workshop on Planning, number 522 in LNAI, pages 78--87. Springer-Verlag, 1991.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....linear connection method would require some form of higher order reasoning. The equational logic approach is not restricted to sequential planning but can also deal with simultaneous actions and synergetic effects arising from the execution of simultaneous actions as, for example, presented in [13]. Although we have considered only planning problems in this paper, the techniques can also be applied to other domains. Objects and inheritance [1] or database updates [28] are just two examples for such domains, which are discussed in [12] Logics which treat facts as resources have been ....

G. Groe and R. Waldinger. Towards a theory of simultaneous actions. In J. Hertzberg, editor, Proceedings of the European Workshop on Planning, pages 78--87. Springer, LNCS 522, 1991.

....of transferring temporal reasoning approaches to space. As temporal approaches turn away from situation basedness and allow for concurrency, they have to worry about the changes in the effects of events occurring when the events or processes run simultaneously or overlap each other. A nice example [13] is the following: Pressing the A key on a keyboard yields the letter a; pressing the Shift key yields nothing; pressing Shift overlapping the pressing of A yields the capital A. Again, 2] contains a short discussion of the issue. It requires considerable effort to handle properly such ....

G. Große and R. Waldinger. Towards a theory of simultaneous actions. In J. Hertzberg, editor, European Workshop on Planning. EWSP'91, Sankt Augustin, FRG, Proceedings, pages 78--87. Springer (LNAI vol. 522), 1991.

....in A 000 with Holds varying. 4 Discussion. One could attempt to incorporate concurrent actions into the situation calculus by means of the function Compose ( from action action into action ) Holds(Loaded; s) oe :Holds(Alive; Res(Compose(Aim;Trigger) s) A similar approach is used in [18, 19]. But in that case one need to consider a great deal of new causal rules, which specify, for example, combinations of the actions that affect something in the world with an action that does not affect anything. In the one imaginary extension of Shooting story there can be many spectators watching ....

G.Große and R.Waldinger. Towards a theory of simultaneous actions. In: Proceedings the European workshop on planning - 91, (Sankt Augustin FRG), held 18--19 March, 1991. In: Lect. Notes in AI, N 522, Springer Verlag, Berlin, 1991, 78--87.

....which are not executable. This might 1 We will use the term event as a generic term for actions and other changes in the database. 2 See Hendrix [12] Georgeff [7] Pednault [17] Sandewall and Ronnquist [19] Wilkins [21] Belegrinos and Georgeff [3] Gelfond et al. 6] Gro e and Waldinger [9], Lin and Shoham [15] or Baral and Gelfond [2] 47 J. of the IGPL, Vol. 4 No. 1, pp. 47 74 1996 c fl IGPL 48 State Event Logic happen if our formalism cannot handle conflicts between actions. f lift left lift left lift right Fig. 1. Lifting a table As a typical example see Figure 1. The ....

G. Große and R. Waldinger. Towards a Theory of Simultaneous Actions. Proceedings of the European Workshop on Planning, ed. J. Hertzberg, p. 78--87, Springer LNAI 522, 1991.

....the German Research Council under grant no. HE 1170 5 1. 2 We will use the term event as a generic term for actions and other changes 3 see Hendrix [8] Georgeff [4] Pednault [10] Sandewall and Ronnquist [12] Wilkins [14] Belgrinos and Georgeff [2] Gelfond et al. 3] Gro e and Waldinger [5], Lin and Shoham [9] or Baral and Gelfond [1] lift left lift left lift right Fig. 1. Lifting a table As a typical example see Figure 1. The first part of Figure 1 describes the single action of lifting the table on the left side. As an effect we would expect that the table is lifted on the ....

G. Große and R. Waldinger. Towards a Theory of Simultaneous Actions. Proceedings of the European Workshop on Planning, ed. J. Hertzberg, p. 78--87, Springer LNAI 522, 1991.

No context found.

G. Grobe and R. Waldinger. Towards a theory of simultaneous actions. In J. Hertzberg, editor, Proceedings of European Workshop on Planning, number 522 in LNAI, pages 78--87. Springer-Verlag, 1991.

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