Abstract
Mobile robot control remains a difficult challenge in changing and unpredictable environments. Reacting to unanticipated events, interacting and coordinating with other agents, and acquiring information about the world remain difficult problems. These actions should be the direct products of the robot’s capabilities to perceive, act, and process information intelligently, taking into account its state, that of the environment, and the goals to be achieved. This paper discusses the use of model-checking to reason about robot actions in this context. The approach proposed is to study behaviors that allow abstract, but informative models, so that a computer program can reason with them efficiently. Model-checking can then be used as a means for verifying and planning robot actions with respect to such behaviors.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arkin, C.: Behavior-Based Robotics. The MIT Press (1998)
Konolige, K., Myers, K., Ruspini, E., and Saffiotti, A.: The Saphira architecture: A design for autonomy. Journal of Experimental and Theoretical Artificial Intelligence 9 (1997) 215–235
Werger, B.: Ayllu: Distributed port-arbitrated behavior-based control. In: Proc. of 5th International Symposium on Distributed Autonomous Robotic Systems (DARS). (2000) 24–35
Holzmann, G.: Design and Validation of Computer Protocols. Prentice-Hall (1991)
Manna, Z., and Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag (1991)
De Giacomo, G., Lespérance, Y., and Levesques, H.: Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence 121 (2000) 109–169
Bacchus, F., and Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence 116 (2000) 123–191
Drummond, M., and Bresina, J.: Anytime synthetic projection: Maximizing probability of goal satisfaction. In: Proc. of 8th National Conference on Artificial Intelligence (AAAI 90), MIT Press (1990) 138–144
Barbeau, M., Kabanza, F., and St-Denis, R.: Synthesizing plant controllers using real-time goals. In: Proc. of 14th International Joint Conference on Artificial Intelligence (IJCAI), Morgan Kaufmann (1995) 791–798
Kabanza, F., Barbeau, M., and St-Denis, R.: Planning control rules for reactive agents. Artificial Intelligence 95 (1997) 67–113
Schönherr, F., Cistelecan, M., Hertzberg, J., and Christaller, T.: Extracting situation facts from activation value histories in behavior-based robots. In: Proc. of Joint German/Austrian Conference on AI, LNAI Vol. 2174. (2001) 305–319
Nicolescu, M., and Mataric, M.: Extending behaviour-based systems capabilities using an abstract behaviour representation. In: Proc. of AAAI Fall Symposium on Parallel Cognition. (2000) 27–34
Ben Lamine, K., and Kabanza, F.: History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robots. In: Proc. of the 12th IEEE International Conference on Tools with Artificial Intelligence. (2000) 312–319
Haslum, P.: Models for prediction. In: In IJCAI Workshop on Planning under Uncertainty and Incomplete Information. (2001) 8–17
Alur, R., et al.: A framework and architecture for multirobot coordination. In: Proc. 7th International Symposium on Experimental Robotics. (2001) 289–300
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lamine, K.B., Kabanza, F. (2002). Reasoning about Robot Actions: A Model Checking Approach. In: Beetz, M., Hertzberg, J., Ghallab, M., Pollack, M.E. (eds) Advances in Plan-Based Control of Robotic Agents. Lecture Notes in Computer Science(), vol 2466. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-37724-7_8
Download citation
DOI: https://doi.org/10.1007/3-540-37724-7_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00168-3
Online ISBN: 978-3-540-37724-5
eBook Packages: Springer Book Archive