A Logic for Acting, Sensing and Planning

IJCAI International Joint Conference on Artificial Intelligence

Volumn 2, Issue , 1995, Pages 1941-1947

  Traverso, Paolo ^a   Spalazzi, Luca ^b  

^a ITC IRST   (Italy)

^b UNIVERSITÀ POLITECNICA DELLE MARCHE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

FAILURE HANDLING; PLANS OF ACTIONS; REAL SYSTEMS; REAL-WORLD;

COMPUTER CIRCUITS;

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

References (14)

1. [Beetz and McDermott, 1994] M. Beetz and D. McDermott. Improving Robot Plans During Their Execution. In Proceedings 2nd International Conference on AI Planning Systems (AIPS-94), Chicago, 1994.
2. [Georgeff and Lansky, 1986] M. Georgeffand A. L. Lansky. Procedural knowledge. Proceedi ngs IEEE, 74(10):1383-1398, 1986.
3. [Giunchiglia et al, 1991] F. Giunchiglia, P. Traverso, A. Cimatti, and L. Spalazzi. Programming planners with flexible architectures. Technical Report 9112-19, IRST, Trento, Italy, 1991.
4. [Giunchiglia et al, 1994] F. Giunchiglia, L. Spalazzi, and P. Traverso. Planning w i th Failure. In Proceedings 2nd International Conference on AI Planning Systems (AIPS-94), Chicago, 1994.
5. [Hard et al, 1982] D. Harel, D. Kozen, and R. Parikh. Process Logic: expressiveness, decidability, completeness. Journal of computer and system sciences, 25:144-170, 1982.
6. [Harel, 1984] D. Harel. Dynamic Logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume I I , pages 497-604. D. Reidel Publishing Company, 1984.
7. [Lesperance et al, 1994] Y. Lesperance, H. J. Levesque, F. Lin, D. Marcu, R. Reiter, and R.B. Scherl. A Logical Approach to High-Level Robot Programming- A Progress Report. In Control of the phisical world by intelligent systems, working notes of the AAAI Fall Symp., 1994.
8. [Lifschitz, 1993] V. Lifschitz. A Language for Describing Actions. In Proceedings 2nd Symposium on Logical Formalizations of Commonsense Reasoning, Austin, 1993.
9. [Rao and Georgeff, 1991] A. S. Rao and M. P. Georgeff. Modeling Rational Agents within a BDI-Architecture. In Proceedings KR'91, Principle of Knowledge Representation and Reasoning, pages 473-484, Cambridge Massachusetts, 1991. Morgan Kaufmann.
10. [Simmons, 1990] R. Simmons. An Architecture for Coordinating Planning, Sensing and Action. In Proceedings of the Workshop on Innovative Approaches to Planning, Scheduling and Control, pages 292-297, 1990.
11. [Steel, 1994a] S. Steel. Action under Uncertainty. Journal of Logic and Computation, Special Issue on Action and Processes, 4(5):777-785, 1994.
12. [Steel, 1994b] S. Steel. Planning to Plan, 1994. Technical Report, Dept Computer Science, University of Essex, Colchester C04 3SQ, UK.
13. [Traverso et al, 1992] P. Traverso, A. Cimatti, and L. Spalazzi. Beyond the single planning paradigm: introspective planning. In Proceedings ECAI-92, pages 643-647, Vienna, Austria, 1992. IRST-Technical Report 9204-05, IRST, Trento, Italy.
14. [Wilkins, 1985] D.E. Wilkins. Recovering from execution errors in SIPE. Computational Intelligence, 1:33- 45,1985.