EWSP 1991: European Workshop on Planning pp 53-63 | Cite as
Recursive plans
Conference paper
First Online:
Abstract
It is generally agreed that a planner should be able to reason with uncertain and iterative behaviours because many actions in real world have such behaviours. Some of earlier non-linear planners have approached these issues, nevertheless, the way that they handle the problem has not been logically derived. We introduce a new type of non-linear plans, Recursive Plans, which can be used to solve a class of conditional and recursive problems. The idea, which has been implemented, is based on mathematical induction.
Preview
Unable to display preview. Download preview PDF.
References
- Boyer, R. S. and Moore, J. S. (1979) ACM monograph series, A Computational Logic, Academic Press, INC. LondonMATHGoogle Scholar
- Bratko, I. (1987) Prolog Programming for Artificial Intelligence, Academic Press, INC. LondonGoogle Scholar
- Drummond, M. (1986) A representation of action and belief for automatic planning systems, in: (Georgeff, M. and Lansky, A.), Morgan KauffmanGoogle Scholar
- Ghassem-Sani, G. R. (1988) Iterative actions in non-linear planners, M.Sc. Thesis, Department of Computer Science, University of EssexGoogle Scholar
- Ghassem-Sani, G. R. and Steel, S. W. D. (forthcoming) Recursive Plans, Internal Report, University of EssexGoogle Scholar
- Huet, G. P. (1974) A unification algorithm for typed lambda-calculus, note de travial A 055, Institute de Recherche d’Informatique et d’AutomatiqueGoogle Scholar
- Manna, Z. and Waldinger, R. (1980) A deductive approach to programme synthesis, ACM Transactions on Programming Languages and Systems, 2(1), PP. 90–121MATHCrossRefGoogle Scholar
- Manna, Z. and Waldinger, R. (1987) How to clear a block: A Theory of plans, Journal of Automated Reasoning, Vol. 3, PP. 343–377MATHCrossRefMathSciNetGoogle Scholar
- McCarthy J. (1963) Situations, actions, and causal laws, Technical report, Stanford university, Stanford, Calf.Google Scholar
- Robinson, J. A. (1965) A machine oriented logic based on the resolution principle, J. ACM 12, No 1, PP. 23–41MATHCrossRefGoogle Scholar
- Sacerdoti, E. D. (1977) A Structure for Plans and Behaviour, American Elsevier North-Holland, New YorkGoogle Scholar
- Steel, S. W. D. (1988) An iterative construct for non-linear precedence planners, Proc. Seventh Biennial Conference of the Canadian Society for the Computational Study of Intelligence, PP. 227–233Google Scholar
- Warren, D. H. D. (1976) Generating Conditional Plans and Programmes, In Proceedings of the AISB summer conference, PP. 344–354Google Scholar
- Wilkins, D. E. (1984) Domain-independent Planning: Representation and Plan Generation, Artificial Intelligence 22(3), PP. 269–301CrossRefMathSciNetGoogle Scholar
Copyright information
© Springer-Verlag Berlin Heidelberg 1991