Intelligent Execution Monitoring in Dynamic Environments

• Autorzy: Fichtner M. , Großmann A. , Thielscher M.
• Języki publikacji: EN

Abstrakty

EN

We present a robot control system for known structured environments that integrates robust reactive control with reasoning-based execution monitoring. It provides a robot with a powerful method for dealing with situations that were caused by the interaction with humans or that are due to unexpected changes in the operating environment. On the reactive level, the robot is controlled using a hierarchy of low-level behaviours. On the high level, a logical representation of the world enables the robot to plan action sequences and to reason about the state of the world. If the execution of an action does not have the expected effect, high-level reasoning allows the robot to infer possible explanations and, if necessary, to recover from the failure situation. For the robot to act optimally, the discrepancies between the internal world model and the real world have to be detected and corrected. The proposed system obtains new information about the world by executing sensing actions (active perception) and by sensory interpretation during the robot's operation. It also takes into account temporal information about changes in the environment. All updates of the world model are performed in a way that the changes are consistent with an underlying action theory. Having implemented the proposed system on a common mobile robot platform, we demonstrate the value of intelligent execution monitoring by means of two realistic office delivery scenarios.

Słowa kluczowe

EN

artificial intelligence; knowledge representation

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2003
• Tom: Vol. 57, nr 2-4
• Strony: 371--392
• Opis fizyczny: Bibliogr. 30 poz.

Twórcy

autor

Fichtner M.

• Department of Computer Science, Technische Universität Dresden, Dresden, Germany

autor

Großmann A.

• Department of Computer Science, Technische Universität Dresden, Dresden, Germany

autor

Thielscher M.

• Department of Computer Science, Technische Universität Dresden, Dresden, Germany

Bibliografia

• [1] Brewka, G.: Adding priorities and specificity to default logic, Proceedings of the European Workshop on Logics in AI (JELIA-94), 838, Springer, 1994.
• [2] De Giacomo, G., Levesque, H.: ConGolog, a concurrent programming language based on the situation calculus, Artificial Intelligence, 121(1-2), 2000, 109-169.
• [3] De Giacomo, G., Reiter, R., Soutchanski, M.: Execution monitoring of high-level robot programs, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR-98), 1998.
• [4] Fernández, J. L., Simmons, R. G.: Robust execution monitoring for navigation plans, Proceedings of the Conference on Intelligent Robots and Systems (IROS-98), 1998.
• [5] Fox, D., Burgard, W., Thrun, S.: Markov localization for mobile robots in dynamic environments, Artificial Intelligence Research, 11, 1999, 391-427.
• [6] Gat, E.: Integrating planning and reacting in a heterogenous asynchronous architecture for controlling real world mobile robots, Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), MIT Press, 1992.
• [7] Ginsberg, M. L., Smith, D. E.: Reasoning about action I: A possible worlds approach, Artificial Intelligence, 35, 1988, 165-195.
• [8] Hähnel, D., Burgard, W., Lakemeyer, G.: GOLEX - Bridging the gap between logic (GOLOG) and a real robot, Proceedings of the 22nd German Conference on Artificial Intelligence (KI-98), 1998.
• [9] Haigh, K. Z., Veloso, M. M.: High-level planning and low-level execution: Towards a complete robotic agent, Proceedings of the First International Conference on Autonomous Agents, ACM Press, 1997.
• [10] Martin, Y.: The concurrent, continuous FLUX, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI-2003), Morgan Kaufmann, 2003.
• [11] Martin, Y., Thielscher, M.: Addressing the qualification problem in FLUX, Proceedings of the German Annual Conference on Artificial Intelligence (KI-2001), 2174, Springer, 2001.
• [12] McCarthy, J.: Epistemological problems of artificial intelligence, MIT Press, Cambridge, MA, 1977.
• [13] McCarthy, J., Hayes, P. J.: Some philosophical problems from the standpoint of artificial intelligence, Machine Intelligence, 4, 1969, 463-502.
• [14] Reiter, R.: A logic for default reasoning, Artificial Intelligence, 13(1-2), 1980, 81-132.
• [15] Reiter, R.: Natural actions, concurrency and continuous time in the situation calculus, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR-96), Morgan Kaufmann, 1996.
• [16] Reiter, R.: Logic in Action, MIT Press, 2001.
• [17] Saffiotti, A.: Some notes on the integration of planning and reactivity in autonomous mobile robots, Proceedings of the AAAI Spring Symposium on Foundations of Planning, 1993.
• [18] Sandewall, E.: Combining logic and differential equations for describing real-world systems, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR-89), Morgan Kaufmann, 1989.
• [19] Scherl, R., Levesque, H.: The frame problem and knowledge-producing actions, Proceedings of the AAAI National Conference on Artificial Intelligence, Washington, DC, 1993.
• [20] Scherl, R., Levesque, H.: Knowledge, action, and the frame problem, Artificial Intelligence, 144(1), 2003, 1-39.
• [21] Shanahan, M. P.: Representing continuous change in the event calculus, Proceedings of the European Conference on Artificial Intelligence (ECAI-90), 1990.
• [22] Shanahan, M. P.: Robotics and the common sense informatics situation, Planning with Incomplete Information for Robot Problems: Papers from the 1996 AAAI Spring Symposium, AAAI Press, 1996.
• [23] Stentz, A.: The focussed D* algorithm for real-time replanning, Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), Morgan Kaufmann, 1995.
• [24] Thielscher, M.: From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem, Artificial Intelligence, 111(1-2), 1999, 277-299.
• [25] Thielscher, M.: Representing the knowledge of a robot, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR) (A. Cohn, F. Giunchiglia, B. Selman, Eds.), Morgan Kaufmann, Breckenridge, CO, 2000.
• [26] Thielscher, M.: The concurrent, continuous fluent calculus, Studia Logica, 67(3), 2001, 315-331.
• [27] Thielscher, M.: The qualification problem: A solution to the problem of anomalous models, Artificial Intelligence, 131(1-2), 2001, 1-37.
• [28] Thielscher, M.: FLUX: A logic programming method for reasoning agents, Theory And Practice of Logic Programming, 2004
• [29] Thrun, S., Fox, D., Burgard, W., Dellaert, F.: Robust Monte Carlo localization for mobile robots, Artificial Intelligence, 128(1-2), 2000, 99-141.
• [30] Yang, Q.: Intelligent Planning: A Decomposition and Abstraction Based Approach, Springer, Berlin, 1997.