AI planning: systems and techniques
AI Magazine
Towards architecture-based self-healing systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
Model-based adaptation for self-healing systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
Towards requirements-driven information systems engineering: the Tropos project
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
UML Distilled: A Brief Guide to the Standard Object Modeling Language
UML Distilled: A Brief Guide to the Standard Object Modeling Language
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Expert Systems: Principles and Programming
Expert Systems: Principles and Programming
Research challenges of autonomic computing
Proceedings of the 27th international conference on Software engineering
Autonomic self healing and recovery informed by environment knowledge
Artificial Intelligence Review
Towards reasoning about teleo-reactive programs for robust real-time systems
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Teleo-reactive programs for agent control
Journal of Artificial Intelligence Research
A concise introduction to autonomic computing
Advanced Engineering Informatics
Goal-oriented requirements analysis and reasoning in the Tropos methodology
Engineering Applications of Artificial Intelligence
Evolving hierarchical and recursive teleo-reactive programs through genetic programming
EuroGP'03 Proceedings of the 6th European conference on Genetic programming
Learning teleoreactive logic programs from problem solving
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
Hi-index | 0.00 |
The Teleo-Reactive programming style has been demonstrated as an effective and robust way to design the logical processes of autonomous agents. This robustness is largely due to an approach to achieve goals and deal with unexpected events which is much more like the human thought process than traditional programming techniques, as it works at a higher, more abstract level. We find that this approach is as effective in producing much higher level autonomous applications, providing the same benefits as the technique does for lower level robotics and autonomous agents. The technique embraces unexpected change, accepting that events and errors are inevitable and instead of attempting to preempt these possibilities, simply moves the current state back or forward through the program accordingly. We have built a framework to assist in engineering applications using this technique. Using this framework, we develop self-managing programs that demonstrate our claims.