Abstract
In this chapter, we present methods that allow a robot to use high-level knowledge for reasoning about its actions in real time. The knowledge is represented by a logic program that contains learned relational rules. In order to operationalize this knowledge we develop program optimization methods that speed up its evaluation. These are a program transformation method, a compilation method, and an efficient forward inference method. The latter is part of a performance system capable of inferring high-level concepts from the sensory input of a mobile robot on-line and in real time.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this chapter
Cite this chapter
Rieger, A., Klingspor, V. (1999). Program Optimization for Real-Time Performance. In: Morik, K., Kaiser, M., Klingspor, V. (eds) Making Robots Smarter. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-5239-0_13
Download citation
DOI: https://doi.org/10.1007/978-1-4615-5239-0_13
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7388-9
Online ISBN: 978-1-4615-5239-0
eBook Packages: Springer Book Archive