Y. Lesperance, H.`n Levesque,F. Lin,D. Marcu,R. A logical approach to high-level robot programing. In AAAI FAll Symposium on Control of the Physical World by Intelligent Systems,1994.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....small [18] It has also been argued that robot teams working in highly dynamic environments get low benefit from complex plan negotiation. This is why, in this field, some researchers propose to eliminate any kind of negotiation in coordination [21, 7] Distributed coordination of robotic agents [14] has been considered as one of the central research issues in the RoboCup competitions [3, 6] In a highly dynamic and uncertain environment such as the one provided by RoboCup games, the centralized coordination of activities underlying much of the work in Robotics does not seem to be adequate. ....

Y. Lesperance, H.J. Levesque, F. Lin, D. Marcu, R. Reiter, and R.B. Scherl. A logical approach to high-level robot programing. In AAAI FAll Symposium on Control of the Physical World by Intelligent Systems, 1994.

....small [18] It has also been argued that robot teams working in highly dynamic environments get low benefit from complex plan negotiation. This is why, in this field, some researchers propose to eliminate any kind of negotiation in coordination [21, 9] Distributed coordination of robotic agents [16] has been considered as one of the central research issues in the RoboCup competitions [3, 8] In a highly dynamic and uncertain environment such as the one provided by RoboCup games, the centralized coordination of activities underlying much of the work in Robotics does not seem to be adequate. ....

Y. Lesperance, H.J. Levesque, F. Lin, D. Marcu, R. Reiter, and R.B. Scherl, `A logical approach to high-level robot programing', in AAAI FAll Symposium on Control of the Physical World by Intelligent Systems, (1994).

....small [18] It has also been argued that robot teams working in highly dynamic environments get low benefit from complex plan negotiation. This is why, in this field, some researchers propose to eliminate any kind of negotiation in coordination [21, 9] Distributed coordination of robotic agents [16] has been considered as one of the central research issues in the RoboCup competitions [3, 8] In a highly dynamic and uncertain environment such as the one provided by RoboCup games, the centralized coordination of activities underlying much of the work in Robotics does not seem to be adequate. ....

Y. Lesperance, H.J. Levesque, F. Lin, D. Marcu, R. Reiter, and R.B. Scherl, `A logical approach to high-level robot programing', in AAAI FAll Symposium on Control of the Physical World by Intelligent Systems, (1994).

....framework we have developed has been successfully applied during the 1999 ocial competitions allowing both for a signi cant improvement of the overall team performance and for a complete interchangeability of all the robots. 1 Introduction Distributed coordination of robotic agents [6] has been considered as one of the central research issues in the RoboCup competitions [2, 4] In a highly dynamic and uncertain environment such as the one provided by RoboCup games, the centralized coordination of activities underlying much of the work in Robotics does not seem to be adequate. ....

Y. Lesperance, H.J. Levesque, F. Lin, D. Marcu, R. Reiter, and R.B. Scherl. A logical approach to high-level robot programing. In AAAI FAll Symposium on Control of the Physical World by Intelligent Systems, 1994.

....Gat,1992 ] In the present work, we provide a framework for reasoning about actions and discuss its implementation, through a knowledge based system, on a robot with reactive capabilities. Our approach falls in the research stream of logic based approaches for reasoning about actions (see [ Lesperance et al. 1994 ] however it has been developed as a balance between theoretical and practical considerations. Specifically, the basis of our proposal for reasoning about actions is provided by Propositional Dynamic Logics (PDLs) following the work of [ Rosenschein,1981; De Giacomo and Lenzerini,1995b ] In ....

....is another door to access the room, it is still possible to reach it by generating a new plan. 6 RELATION TO OTHER WORKS In letteratura sono presenti altri lavori sulla pianificazione nei robot con tecniche dichiarative, tra questi i piu significativi sono Shakey STRIPS [ e Reiter GOLOG [ Lesperance et al. 1994 ] Confronto con STRIPS: Vantaggi: 1. semplicita di descrizione degli ambienti 2. maggiore espressivita dovuta alla possibilita di esprimere i vincoli di dominio. In STRIPS infatti essi devono essere espressi esplicitamente nella definizione degli operatori coinvolti. Es. ExitD1 = hfRoom1g; ....

Y. Lesperance, H.J. Levesque, F. Lin, D. Marcu, R. Reiter, and R.B. Scherl. A logical approach to high-level robot programing. In AAAI FAll Symposium on Control of the Physical World by Intelligent Systems, 1994.

No context found.

Y. Lesperance, H.`n Levesque,F. Lin,D. Marcu,R. A logical approach to high-level robot programing. In AAAI FAll Symposium on Control of the Physical World by Intelligent Systems,1994.

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