Local conditional high-level robot programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2250, Issue , 2001, Pages 110-124

  Sardiña, Sebastian ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTERS;

FEASIBLE ALTERNATIVES; HIGH-LEVEL PROGRAM; HIGH-LEVEL PROGRAMMING; LARGE PROGRAMS; ROBOT PROGRAMS;

ARTIFICIAL INTELLIGENCE;

EID: 23044528920     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45653-8_8     Document Type: Conference Paper

References (22)

1. Baral, C., Son, T. C.: Approximate reasoningabout actions in presence of sensing and incomplete information. In Maluszynski, J., ed.: International Logic ProgrammingSymposium (ILSP' 97), Port Je erson, NY, MIT Press (1997) 387-401
2. De Giacomo, G., Levesque, H.: Projection usingregression and sensors. In: Proceedingsof the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI), Stockholm, Sweden (1999) 160-165
3. Etzioni, O., Hanks, S., Weld, D.: An approach to planningwith incomplete information. In: Proceedings of 3rd International Conference on Knowledge Representation and Reasoning. (1992)
4. Levesque, H.: What is planning in the presence of sensing? In: The Proceedings of the Thirteenth National Conference on Artificial Intelligence, AAAI-96, Portland, Oregon, American Association for Artificial Intelligence (1996) 1139-1146
5. Peot, M. A., Smith, D. E.: Conditional nonlinear planning. In: Proceedings of the First International Conference on AI PlanningSystems, College Park, Maryland (1992) 189-197
6. Levesque, H., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.: GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming 31 (1997) 59-84
7. De Giacomo, G., Lespérance, Y., Levesque, H.: ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence 121 (2000) 109-169
8. Smith, D., Weld, D.: Conformat graphplan. In: Proceedings of AAAI-98. (1998)
9. Lakemeyer, G.: On sensingand off-line interpretingin Golog. In: Logical Foundations for Cognitive Agents, Contributions in Honor of Ray Reiter. Springer, Berlin (1999) 173-187
10. De Giacomo, G., Levesque, H.: An incremental interpreter for high-level programs with sensing. In Levesque, H. J., Pirri, F., eds.: Logical Foundation for Cognitive Agents: Contributions in Honor of Ray Reiter. Springer, Berlin (1999) 86-102
11. Kowalski, R. A.: Using meta-logic to reconcile reactive with rational agents. In Apt, K. R., Turini, F., eds.: Meta-Logics and Logic Programming. MIT Press (1995) 227-242
12. Shanahan, M.: What sort of computation mediates best between perception and action? In Levesque, H., Pirri, F., eds.: Logical Fundations for Cognitive Agents: Contributions in Honor of Ray Reiter. Springer-Verlag (1999) 352-368
13. McCarthy, J., Hayes, P. J.: Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence 4 (1969) 463-502
14. Reiter, R.: Knowledge in Action. Logical Foundations for Specifying and ImplementingDynamical Systems. MIT Press (2001)
15. Reiter, R.: The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Lifschitz, V., ed.: Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy. Academic Press, San Diego, CA (1991) 359-380
16. Lifschitz, V., McCain, N., Remolina, E. Tacchella, A.: Gettingto the airport: The oldest planning problem in AI. Logic-Based Artificial Intelligence (2000) 147-165
17. Scherl, R., Levesque, H.: The frame problem and knowledge-producing actions. In: Proceedings of AAAI-93. (1993) 689-695
18. De Giacomo, G., Levesque, H. J., Sardiña, S.: Incremental execution of guarded theories. ACM Transactions on Computational Logic (TOCL) 2 (2001) To appear.
19. Apt, K. R., Pellegrini, A.: On the occur-check free prolog program. ACM Toplas 16 (1994) 687-726
20. Sardiña, S.: Local conditional high-level robot program (extended version). http://www.cs.toronto.edu/~ssardina/papers/lchlrp-ext.ps (2001)
21. Smith, D. E., Williamson, M.: Representation and evaluation of plans with loops. In: WorkingNotes of the AAAI SpringSymposium on Extended Theories of Actions. Formal Theory and Practical Applications., Stanford, CA (1995)
22. Lin, S. H., Dean, T.: Generatingoptimal policies for high-level plan. In Ghallab, M., Milani, A., eds.: New Directions in AI Planning. IOS Press (1996) 187-200