Skip to main content
SpringerLink
Log in

A systematic literature review of the Teleo-Reactive paradigm

  • Published:
Artificial Intelligence Review Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

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

    Article  Google Scholar 

  • 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

    Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Google Scholar 

  • Langley P, Choi D (2006) Learning recursive control programs from problem solving. J Mach Learn Res 7: 493–518

    MATH  MathSciNet  Google Scholar 

  • 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

    Google Scholar 

  • 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

    Google Scholar 

  • 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

    Article  MATH  Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Google Scholar 

  • 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

Download references

Author information

Authors and Affiliations

  1. DSIE Research Group, Universidad Politécnica de Cartagena, 30202, Cartagena, Spain

    Jose Luis Morales, Pedro Sánchez & Diego Alonso

Authors
  1. Jose Luis Morales
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pedro Sánchez
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Diego Alonso
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Pedro Sánchez.

Rights and permissions

Reprints 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

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10462-012-9350-2

Keywords

Search

Navigation