Planning control rules for reactive agents

Artificial Intelligence

Volumn 95, Issue 1, 1997, Pages 67-113

  Kabanza, F ^a   Barbeau, M ^a   St Denis, R ^a  

^a UNIVERSITÉ DE SHERBROOKE   (Canada)

Author keywords

Control; Planning; Reactive agents; Temporal goals

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE; CONTROL SYSTEMS; KNOWLEDGE BASED SYSTEMS; MATHEMATICAL MODELS; ROBOTS; SCHEDULING;

MODAL TEMPORAL LOGIC; TEMPORAL GOALS;

MOTION PLANNING;

EID: 0031198743     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(97)00031-3     Document Type: Article

References (26)

1. M. Abadi, L. Lamport and P. Wolper, Realizable and unrealizable specifications of reactive systems, in: Proceedings 16th International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science, Vol. 372 (Springer, Berlin, 1989) 1-17.
2. R. Alur and T. Henzinger, Real-time logics: complexity and expressiveness, Inform, and Comput. 104 (1993) 35-77.
3. F. Bacchus, TLPLAN user's manual, University of Waterloo, Ont., Canada (1995); anonymous ftp: ftp://logos.uwaterloo.ca/pub/bacchus/tlplan/tlplan-manual.ps.
4. F. Bacchus and F. Kabanza, Applying decision theory to reactive planning, in: Proceedings AAAI Decision-Theoretic Planning Spring Symposium (1994) 1-5.
5. F. Bacchus and F. Kabanza, Using temporal logic to control search in a forward chaining planner, in: Proceedings 3rd European Workshop on Planning (EWSP), Assisi, Italy (1995) 157-169.
6. F. Bacchus and F. Kabanza, Planning for temporally extended goals, in: Proceedings AAAI-96, Portland, OR (1996) 1215-1222.
7. M. Barbeau, F. Kabanza and R. St-Denis, Synthesizing plant controllers using real-time goals, in: Proceedings IJCAI-95, Montreal, Que. (1995) 791-798.
8. C. Courcoubetis, M.Y. Vardi, P. Wolper and M. Yannakakis, Memory efficient algorithms for the verification of temporal properties, Formal Methods in System Design 1 (1992) 275-288.
9. T. Dean, L.P. Kaelbling, J. Kirman and A. Nicholson, Planning under time constraints in stochastic domains, Artificial Intelligence 76 (1995) 35-74.
10. M. Drummond, Situated control rules, in: Proceedings 1st International Conference on Principles of Knowledge Representation and Reasoning, Toronto, Ont. (1989) 103-113.
11. M. Drummond and J. Bresina, Anytime synthetic projection: maximizing probability of goal satisfaction, in: Proceedings AAAI-90, Boston, MA (1990) 138-144.
12. M. Drummond, K. Swanson and J. Bresina, Scheduling and execution for automatic telescopes, in: M. Zweben and M.S. Fox, eds., Intelligent Scheduling (Morgan Kaufmann, Los Altos, CA, 1994) 341-369.
13. E-A. Emerson, T. Sadler and J. Srinivasan, Efficient temporal reasoning, in: Proceedings 16th Annual ACM Symposium on Principles of Programming Languages, Austin, TX (1989) 166-178.
14. P. Godefroid and F. Kabanza, An efficient reactive planner for synthesizing reactive plans, in: Proceedings AAAI-91, Anaheim, CA (1991) 640-645.
15. F. Kabanza, Reactive planning of immediate actions, Ph.D. Thesis, Département d'Informatique, Université de Liège, Belgium (1992).
16. F. Kabanza, Synchronizing multiagent plans using temporal logic specifications, in: Proceedings 1st International Conference on Multi-Agent Systems (ICAMS-95) (1995) 217-225.
17. R. Koymans, Specifying real-time properties with metric temporal logic, Real-time Systems 2 (1990) 255-299.
18. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems (Springer, Berlin, 1991).
19. E.P.D. Pednault, ADL: Exploring the middle ground between STRIPS and the Situation Calculus, in: Proceedings 1st International Conference on Principles of Knowledge Representation and Reasoning (KR-89), Toronto, Ont. (1989) 324-332.
20. A. Pnueli and R. Rosner, On the synthesis of an asynchronous reactive module, in: Proceedings 16th International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science, Vol. 372 (Springer, Berlin, 1989) 652-671.
21. P.J.G. Ramadge and W.M. Wonham, The control of discrete event systems, Proc. IEEE 77 (1989) 81-98.
22. A.S. Rao and M.P. Georgeff, A model-theoretic approach to the verification of situated reasoning systems, in: Proceedings IJCAI-93, Chambery, France (1993) 318-324.
23. E. Rich and K. Knight, Artificial Intelligence (McGraw-Hill, New York, 1991).
24. M.J. Schoppers, Universal plans for reactive robots in unpredictable environments, in: Proceedings IJCAI-87, Milan, Italy (1987) 1039-1046.
25. W. Thomas, Automata on infinite objects, in: J. van Leeuwen, ed., Handbook of Theoretical Computer Science, Vol. B (Elsevier, Amsterdam, 1990) 133-192.
26. P. Wolper, On the relation of programs and computations to models of temporal logic, in: Proceedings Temporal Logic in Specification, Lecture Notes in Computer Science, Vol. 398 (Springer, Berlin, 1989) 75-123.