Abstract
The Teleo-Reactive approach designed by N. J. Nilsson offers a high-level programming model for the development of reactive systems such as robotic vehicles. Teleo-Reactive programs are written in a way that allows engineers to define behaviour taking account of goals and changes in the state of the environment. Since Nilsson’s original definition, published in 1994, various researchers have used the Teleo-Reactive paradigm, either applied to a particular domain or extended by adding more capabilities to the original definition. This article provides a systematic literature review of 53 previous Teleo-Reactive-based studies in journals, conference proceedings and the like. The aim of this paper is to identify, appraise, select and synthesize all this high-quality research evidence relating to the use of the Teleo-Reactive paradigm. The literature has been systematically reviewed to offer an overview of the present state of this field of study and identify the principal results that have been obtained thanks to the Teleo-Reactive approach. Finally, this article details the challenges and difficulties that have to be overcome to ensure further advances in the use of this technique.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Ali K, Leung K, Konik T, Choi D, Shapiro D (2009) Knowledge-directed theory revision. In: Proceedings of ILP-09
Benson S, Nilsson NJ (1995) Reacting, planning, and learning in an autonomous agent. In: Furukawa K, Michie D, Muggleton S (eds) Machine intelligence, vol 14. The Claredon Press, Oxford
Brereton P, Kitchenham BA, Budgen D, Turner M, Khalil M (2007) Lessons from applying the systematic literature review process within the software engineering domain. J Syst Softw 80: 571–583
Broda K (2000) Constructing Teleo-Reactive robot programs. In: Proceedings of ECAI-00
Broda K, Hogger CH (2004a) Designing and simulating individual Teleo-Reactive agents. In: Proceedings of KI-04
Broda K, Hogger CH (2004b) Policies for cloned teleo-reactive robots. In: Proceedings of MATES-04
Broda K, Hogger CH (2005a) Determining and verifying good policies for cloned Teleo-Reactive agents. Int J Comput Syst Sci Eng 20: 249–258
Broda K, Hogger CH (2005b) Abstract policy evaluation for reactive agents. In: Proceedings of SARA-05
Broda K, Hogger CJ (2010) Designing effective policies for minimal agents. Comput J 53: 1184–1209
Broda K, Clark K, Miller, R, Russo A (2009) SAGE: a logical agent-based environment monitoring and control system. In: Proceedings of AmI-09
Choi D, Langley P (2005) Learning teleoreactive logic programs from problem solving. In: Proceedings of ILP-05
Coffey S, Clark K (2006) A hybrid, Teleo-Reactive architecture for robot control. In: Proceedings of MARS-06
De Paola A, Fiduccia S, Gatani L, Pizzitola A, Storniolo P (2004) Introducing automated reasoning in network management. In: Proceedings of ICAISC-04
Di Fatta G, Gaglio S, Presti G, Re G, Selvaggio I (2003) Distributed intelligent management of active networks. In: Proceedings of AI*AI-03
Dongol B, Hayes IJ, Robinson PJ (2010) Reasoning about real-time Teleo-Reactive programs. Technical Report SSE-2010-01, Division of Systems and Software Engineering Research, The University of Queensland
Gamble C, Riddle S (2011) Dependability explicit metadata: extended report on properties, policies and exemplary application to case studies. Technical Report CS-TR-1248, The Newcastle University
Gordon E, Logan B (2003) A goal processing architecture for game agents. In: Proceedings of AAMAS-03
Gubisch G, Steinbauer G, Weiglhofer M, Wotawa F (2008) A Teleo-Reactive architecture for fast, reactive and robust control of mobile robots. In: Proceedings of IEA/AIE-08
Hawthorne J, Anthony R (2009) Using a Teleo-Reactive programming style to develop self-healing application. In: Proceedings of ICST-09
Hawthorne J, Anthony R (2010) A methodology for the use of the Teleo-Reactive programming technique in autonomic computing. In: Proceedings of SND/ACIS-10
Hawthorne J, Anthony R, Petridis M (2011) Improving the development process for Teleo-Reactive programming through advanced composition. In: Proceedings of ICAS-11
Hayes IJ (2008) Towards reasoning about Teleo-Reactive programs for robust real-time systems. In: Proceedings on SERENE08
Katz EP (1997) Extending the Teleo-Reactive paradigm for robotic agent task control using Zadehan (Fuzzy) logic. In: Proceedings of CIRA-97
Katz EP (1998) A simplifying diagrammatic representation of crisp and fuzzy Teleo-Reactive semantic circuitry for application in robotic agent task control. In: Proceedings of the SMC-98
Kitchenham BA (2004) Procedures for undertaking systematic reviews. Joint Technical Report TR/SE-0401, Computer Science Department, Keele University and National ICT Australia Ltd
Kochenderfer M (2002) Evolving Teleo-Reactive programs for block stacking using indexicals through genetic programming. Book chapter: genetic algorithms and genetic programming at Stanford Bookstore
Kochenderfer M (2003) Evolving hierarchical and recursive teleo-reactive programs through genetic programming. In: Proceedings of EuroGP-03
Könik T, Negin N, Ugur K (2009) Inductive generalization of analytically learned goal hierarchies. In: Proceedings of ILP-09
Kowalski R, Sadri F (2011) Teleo-Reactive abductive logic programs. Technical Report. The Imperial College London
Lamsweerde A (2009) Requirements engineering: from goals to UML models to software specifications. Wiley, England
Langley P, Choi D (2006) Learning recursive control programs from problem solving. J Mach Learn Res 7: 493–518
Lee J, Durfee EH (1994) Structured circuit semantics for reactive plan execution systems. In: Proceedings of AAAI-94, 1232-1237
Li N, Choi D, Langley P (2007) Adding goal priorities to Teleoreactive logic programs. In: Proceedings of the international symposium on skill science
Marinovic S, Twidle K, Dulay N (2010a) Teleo-Reactive workflows for pervasive healthcare. In: Proceedings of PerCom-10
Marinovic S, Twidle K, Dulay N, Sloman M (2010b) Teleo-Reactive policies for managing human-centric pervasive services. In: Proceedings of CNSM-10
McGann C, Py F, Rajan K, Thomas H, Henthorn R, McEwen R (2007) T-REX: a model-based architecture for AUV control. In: Proceedings of ICAPS-07
McGann C, Py F, Rajan K, Thomas H, Henthorn R, McEwen R (2008) A deliberative architecture for AUV control. In: Proceedings of ICRA-08
Mousavi SR, Broda K (2003) Simplification Of Teleo-Reactive sequences. Technical Report, Imperial College London
Nilsson NJ (1992) Toward agent programs with circuit semantics. Tech. Report STAN-CS-92-1412, Dept- of Computer Science, Stanford University
Nilsson NJ (1994) Teleo-Reactive programs for agent control. J Artif Intell Res 1: 139–158
Nilsson NJ (2000) Learning strategies for mid-level robot control: some preliminary considerations and experiments. Tech. Report, Stanford University
Nilsson NJ (2001) Teleo-Reactive programs and the triple-tower architecture. Electron Trans Artif Intell 5: 99–110
Parmar A (2002) A logical measure of progress for planning. In: Proceedings of AAAI-02, 498-505
Payne RJ (2008) RPL: a policy language For dynamic reconfiguration. In: Proceedings of SERENE-08
Rajan K, Py F, McGann C (2010) Adaptive control of AUVs using onboard planning and execution. Sea Technology Magazine
Russell SE, Carr D, Dragone M, O’Hare GM, Collier RW (2011) From bogtrotting to herding: a UCD perspective. Ann Math Artif Intell 61: 349–368
Saigol Z, Py F, Rajan K, McGann C, Wyatt J, Dearden R (2010) Randomized testing for robotic plan execution for autonomous systems. In: Proceedings of IEEE/OES-10
Salomaki B, Choi D, Nejati N, Langley P (2005) Learning Teleoreactive logic programs by observation. In: Proceedings of AAAI-05
Sánchez P, Alonso D, Morales JM, Navarro PJ (2011) From Teleo-Reactive specifications to architectural components: a model-driven approach, Technical Report ref. DT-EXPLORE-05.rev0, Universidad Politécnica de Cartagena
Selic B (2003) The pragmatics of model-driven development. IEEE Trans Softw Eng 20: 19–25
Soto F, Sánchez P, Mateo A, Alonso D, Navarro PJ (2011) An educational tool for implementing reactive systems following a goal-driven approach. Technical Report ref. DT-EXPLORE-06.rev0, Universidad Politécnica de Cartagena
Srinivasan P (2002) Development of block-stacking Teleo-Reactive programs using genetic programming. Book chapter: genetic algorithms and genetic programming at Stanford Bookstore
Szyperski C (2002) Component software: beyond object-oriented programming. Addison-Wesley, Reading
Twidle K, Marinovic S, Dulay N (2010) Teleo-Reactive policies in Ponder2. In: Proceedings of POLICY-10
Vargas B (2008) Solving navigation tasks with learned Teleo-Reactive programs. In: Proceedings of IROS-08
Vargas B (2009) Aprendizaje de Programas Teleo-Reactivos para Robótica Móvil. PhD Thesis, Instituto Nacional de Astrofísica, Óptica y Electrónica
Vargas B, Morales EF (2009) Learning navigation Teleo-Reactive programs using behavioural cloning. In: Proceedings of ICM-09
Weiglhofer M (2007) Extended Teleo-Reactive compiler. Online available at http://www.ist.tugraz.at/staff/weiglhofer/projects/trcompiler/index.html
Zelek JS (1995) Teleo-Reactive autonomous mobile navigation. In: Proceedings of CCECE-95
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Morales, J.L., Sánchez, P. & Alonso, D. A systematic literature review of the Teleo-Reactive paradigm. Artif Intell Rev 42, 945–964 (2014). https://doi.org/10.1007/s10462-012-9350-2
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10462-012-9350-2