Reactivity in a Logic-Based Robot ProgrammingFramework

AAAI Fall Symposium - Technical Report

Volumn FS-98-02, Issue , 1998, Pages 98-105

  Lespérance, Yves ^a   Tam, Kenneth ^a   Jenkin, Michael ^a  

^a YORK UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ROBOT PROGRAMMING;

'CURRENT; AGENT PROGRAMMING LANGUAGES; CONCURRENT PROCESS; CONDITION; HIGH LEVEL CONTROLLERS; NON-DETERMINISTIC CONSTRUCTS; PROGRAM EXECUTION;

HIGH LEVEL LANGUAGES;

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

References (17)

1. Bratman, M.; Israel, D.; and Pollack, M.1988. Plans and ressource-boundedpractical reasoning. ComputationalIntelligence 4:349-355.
2. Brooks, R. 1986. A robust layered control system for a mobile robot. IEEEJournal on Robotics and Automation 2(1): 14-23.
3. De Giacomo, G., and Levesque, H.J. 1998. An incremental interpreter for high-level programswith sensing. In WorkingNotes of the 1998 AAAIFall Synzposiumon Cognitive Robotics.
4. De Giacomo, G.; Lesprrance, Y.; and Levesque, H. J. 1997. Reasoningabout concurrent execution, prioritized interrupts, and exogenousactions in the situation calculus. In Proceedings of the Fifteenth International Joint Conferenceon Artificial Intelligence, 1221-1226.
5. DeGiacomo, G.; Reiter, R.; and Soutchanski, M.E. 1998.Executionmonitoring of high-level robot programs. In Principles of KnowledgeRepresentation andReasoning: Proceedings of the Sixth International Conference (KR'98), 453-464.
6. Jenkin, M.; Bains, N.; Bruce, J.; Campbell, T.; Down, B.; Jasiobedzki, E; Jepson, A.; Majarais, B.; Milios, E.; Nickerson, B.; Service, J.; Terzopoulos, D.; Tsotsos, J.; and Wilkes, D. 1994. ARK:Autonomousmobile robot for an industrial environment. In Proc. IEEE/RSJIROS.
7. Levesque, H. J.; Reiter, R.; Lesprrance, Y.; Lin, E; and Scherl, R. B. 1997. GOLOG: A logic programminglanguage for dynamicdomains. Journal of Logic Programming31 (59-84).
8. McCarthy, J., and Hayes, E 1979. Somephilosophical problemsfromthe standpoint of artificial intelligence. In Meltzer, B., and Michie, D., eds., MachineIntelligence, volume4. Edinburgh, UK:Edinburgh University Press. 463-502.
9. Rao, A., and Georgeff, M. 1992. An abstract architecture for rational agents. In Nebel, B.; Rich, C.; and Swartout, W., eds., Principles of KnowledgeRepresentation and Reasoning: Proceedings of the Third International Conference, 439-449. Cambridge, MA:Morgan KaufmannPublishing.
10. Reiter, R. 1991. The frameproblemin 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. San Diego, CA:Academic Press. 359-380.
11. Reiter, R. 1998. Knowledge in action: Logical foundations for describing and implementing dynamical systems. Draft Monograph, available at http://www. cs.toronto, edu/-cogrobo.
12. Robinson, M., and Jenkin, M. 1994. Reactive low level control of the ARK. In Proceedings, V~sionInterface'94, 41-47.
13. Rosenschein, S. J., andKaelbling, L. P. 1995. Asituated view of representation andcontrol. Artificial Intelligence 73:149-173.
14. Schoppers, M.J. 1987.Universalplans for reactive robots in unpredictableenvironments.In Proceedings of the Tenth hztenzational Joint Conferenceon Artificial hztelligence, 1039-1046.
15. Shoham, Y. 1993. Agent-oriented programming.Artificial Intelligence 60(1):51-92.
16. Tam, K.; LLoyd, J.; Lesp6rance, Y.; Levesque, H.; Lin, E; Marcu, D.; Reiter, R.; and Jenkin, M.1997. Controlling autonomousrobots with GOLOG. In Proceedings of the TenthAustralianJoint ConferenceonArtificial Intelligence (AI-97), 1-12. Perth, Australia
17. Tam, K. 1998. Experiments in high-level robot control using ConGolog- reactivity, failure handling, and knowledge-basedsearch. Master's thesis, Dept. of Computer Science, YorkUniversity.