A knowledge-based task-level programming and execution environment for robots

Abstract A knowledge-based framework to support task-level programming and operational control of robots is described. Our bask intention is to enhance the intelligence of a robot control system so that it may carefully coordinate the interactions among discrete, asynchronous and concurrent events under the constraints of action precedence and resource allocation. We do this by integrating both off-line and on-line planning capabilities in a single framework. The off-line phase is equipped with proper languages for describing workbenches, specifying tasks, and soliciting knowledge from the user to support the execution of robot tasks. A static planner is included in the phase to conduct static planning, which develops local plans for various specific tasks. The on-line phase is designed as a dynamic control loop for the robot system. It employs a dynamic planner to tackle any contingent situations during the robot operations. It is responsible for developing proper working paths and motion plans to achieve the task goals within designated temporal and resource constraints. It is implemented in a distributed and cooperative blackboard system, which facilitates the integration of various types of knowledge. Finally, any failures from the on-line phase are fed back to the off-line phase. This forms the interaction between the off-line and on-line phases and introduces an extra closed loop opportunistically to tune the dynamic planner to adapt to the variation of the working environment in a long-term manner.

[1]  Charles M. Eastman,et al.  Geometric modelling: a survey , 1979 .

[2]  Frederick Hayes-Roth,et al.  Distributed Intelligence for Air Fleet Control , 1981 .

[3]  Alan H. Bond,et al.  Readings in Distributed Artificial Intelligence , 1988 .

[4]  Cheng-Seen Ho,et al.  A primitives-based generic approach to knowledge acquisition , 1994 .

[5]  T. Lozano-Perez,et al.  Robot programming , 1983, Proceedings of the IEEE.

[6]  C. S. G. Lee,et al.  Robotics: Control, Sensing, Vision, and Intelligence , 1987 .

[7]  Richard A. Volz,et al.  Automatic generation of gripping positions , 1985, IEEE Transactions on Systems, Man, and Cybernetics.

[8]  Barbara Hayes-Roth,et al.  Intelligent Monitoring and Control , 1989, IJCAI.

[9]  Ren C. Luo,et al.  The issues and approaches of a robot multi-sensor integration , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[10]  Graham C. Goodwin,et al.  Adaptive filtering prediction and control , 1984 .

[11]  Y. C. Tang,et al.  A geometric feature relation graph formulation for consistent sensor fusion , 1990, 1990 IEEE International Conference on Systems, Man, and Cybernetics Conference Proceedings.

[12]  Raphael A. Finkel An Overview Of AL, A Programming System For Automation , 1975, IJCAI.

[13]  Marcel Schoppers,et al.  Universal Plans for Reactive Robots in Unpredictable Environments , 1987, IJCAI.

[14]  James S. Albus,et al.  Outline for a theory of intelligence , 1991, IEEE Trans. Syst. Man Cybern..

[15]  Edmund H. Durfee,et al.  A Hierarchical Protocol for Coordinating Mulitagent Behaviors , 1990, AAAI.

[16]  Chipan Hwang,et al.  Hardware design of a real‐time Petri net model for real‐time tasks , 1995 .

[17]  David Chapman,et al.  Pengi: An Implementation of a Theory of Activity , 1987, AAAI.

[18]  Tomás Lozano-Pérez,et al.  An algorithm for planning collision-free paths among polyhedral obstacles , 1979, CACM.

[19]  Cheng-Seen Ho,et al.  A temporal constraint satisfaction technique for nonlinear planning , 1995, IEA/AIE '95.

[20]  Allen Newell,et al.  Learning by Chunking: Summary of a Task and a Model , 1982, AAAI.