Deduction-based Refinement Planning

Proceedings of the 3rd Artificial Intelligence Planning Systems Conference, AIPS 1996

Volumn , Issue , 1996, Pages 213-220

  Stephan, Werner ^a   Biundo, Susanne ^a  

^a GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS;

ABSTRACT LEVELS; BASIC ACTIONS; CORRECTNESS PROOFS; EXECUTABLES; GENERAL SOLUTIONS; PROBLEM SPECIFICATION; RECURSIVE PROCEDURE; REFINEMENT PROCESS; REFINEMENT STEP;

SPECIFICATIONS;

EID: 0343153381     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. Bacchus, F., and Yang, Q. 1994. Downward Refinement and the Efficiency of Hierarchical Problem Solving. Artificial Intelligence 71:43-100.
2. Bauer, M.; Biundo, S.; Dengler, D.; Köhler, J.; and Paul, G. 1993. P H I - A Logic-Based Tool for Intelligent Help Systems. In Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-93), 460-466. Morgan Kaufmann.
3. Biundo, S.; Dengler, D.; and Köhler, J. 1992. Deductive Planning and Plan Reuse in a Command Language Environment. In Proceedings of the 10th European Conference on Artificial Intelligence (ECAI-92), 628-632. Wiley.
4. Dijkstra, E. 1976. A Discipline of Programming. Prentice Hall.
5. Fikes, R., and Nilsson, N. 1971. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence 2(3/4):189-208.
6. Ghassem-Sani, G., and Steel, S. 1991. Recursive Plans. In Hertzberg, J., ed.. Proceedings of the European Workshop on Planning (EWSP-91), 53-63. L N A I 522, Springer.
7. Harel, D. 1979. First Order Dynamic Logic. New York: LNCS 68, Springer.
8. Knoblock, C. A. 1994. Automatically Generating Abstractions for Planning. Artificial Intelligence. 68:243¬ 302.
9. Kramer, M., and Unger, C. 1994. A Generalizing Operator Abstraction. In Bäckström, C, and Sande¬ wall, E., eds., Current Trends in AI Planning, 185¬ 198. IOS Press.
10. Lamport, L. 1994. The Temporal Logic of Actions. ACM Dransactions on Programming Languages and Systems 16(3):872-923.
11. Lansky, A. L., and Getoor, L. 1995. Scope and Abstraction: Two Criteria for Localized Planning. In Proceedings of the lAtìi International Joint Conference on Artificial Intelligence (IJCAI-95), 1612-1618. Morgan Kaufmann.
12. Manna, Z., and Pnueli, A. 1991. The Temporal Logic of Reactive and Concurrent Systems. Springer.
13. Manna, Z., and Waldinger, R. 1987. How to Clear a Block: Plan Formation in Situational Logic. Journal of Automated Reasoning 3:343-377.
14. McCarthy, J., and Hayes, P. 1969. Some Philosophical Problems from the Standpoint of Artificial Intelligence. In Machine Intelligence Ą. 463-502.
15. Mokkedem, A., and Méry, D. 1994. A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs. In Proceedings of the 1st International Conference on Temporal Logic (ICTL-94), 382-397. Springer.
16. Pednault, E. 1989. A D L: Exploring the Middle Ground Between STRIPS and the Situation Calculus. In Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR-89), 324-332. Morgan Kaufmann.
17. Rosenschein, S. J. 1981. Plan Synthesis: A Logic Perspective. In Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI-81). Morgan Kauñnann.
18. Rosner, R., and Pnueli, A. 1986. A Choppy Logic. In Symposium on Logic in Computer Science, 306-313. IEEE Computer Society Press.
19. Sacerdoti, E. D. 1974. Planning in a Hierarchy of Astraction Spaces. Artificial Intelligence 5:115-135. Sacerdoti, E. D. 1977. A Structure for Plans and Behavior. North-Holland.
20. Stephan, W., and Biundo, S. 1993. A New Logical Framework for Deductive Planning. In Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-93), 32-38. Morgan Kaufmann.
21. Tate, A. 1977. Generating Project Networks. In Proceedings of the 5th International Joint Conference on Artificial Intelligence (IJCAI-77), 888-893. Morgan Kaufmann.
22. Tenenberg, J. D. 1991. Abstraction in Planning. In Allen, J.; Kautz, H. A.; Pelavin, R. N.; and Tenenberg, J. D., eds.. Reasoning About Plans. Morgan Kaufmann. 213-284.
23. Wilkins, D. E. 1988. Practical Planning. Morgan Kaufmann.