skip to main content
10.1145/280765.280863acmconferencesArticle/Chapter ViewAbstractPublication PagesaamasConference Proceedingsconference-collections
Article
Free Access

A hybrid procedural/deductive executive for autonomous spacecraft

Authors Info & Claims
Published:01 May 1998Publication History
First page image

References

  1. 1.Bernard, D. E.; Dorais, G. A.; Fry, C.; Jr., E. B, G.; Kanefsky, B.; Kurien, J.; Millar, W.; Muscettola, N.; Nayak, P. P.; Pell, B.; Rajan, K.; Rouquette, N.; Smith, B.; and Williams, B. C. 1998. Design of the remote agent experiment for spacecraft autonomy. In Proceedings of the IEEE Aerospace Conference. Snovnna~, CO: IEEE.Google ScholarGoogle Scholar
  2. 2.Bonasso, tL P.; Kor~enkamp, D.; Miller, D.; and Slack, M. 1997. Experiences with an axchitecture for intelligent, reactive agents. JETAi 9(1).Google ScholarGoogle Scholar
  3. 3.Brown, G.; Bernard, D.; and Rasmussen, R. 1995. Attitude and articulation control for the cassini spacecraft: A fault tolerance overview. In ldth AIAA/IEEE Di~ital Avionics Systems Conference.Google ScholarGoogle Scholar
  4. 4.Clocksin, W, F., and Mellish, (3. S. 1981. Programming in Prolog. Springer-Verlag: Berlin, Germany. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 5.Currie, K., and Tare, A. 1991. O-plan: ~he open planning architecture. Art. Int. 52(1):49-86. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 6.de Giacomo, G.; Lesperance, Y.; and Levesque, H. 1997. Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus. In Prone, of IJCAI-97, 1221-1226. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. 7.de Kleer~ J., and Williams, B. C. 1987. Diagnosing multiple faults. Artificial Intelligence 32(1):97-130. Reprinted in (Hamscher, Console, & de Kleer 1992). Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. 8.de Kleer, J., and Williams, B. (3. 1989. Diagnosis with behavioral modes. In Proceedings of iJCAi-89, 1324- 1330. Reprinted in (Hamscher, Console, & de Kleer 1992).Google ScholarGoogle Scholar
  9. 9.Esfiin, T. A.; Chien~ S. A.; and Wang, X. 1997. An argument for a hybrid HTN/operator-based approach to planning. In Procs. of the Fourth European Conference on Planning. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. 10.Ferguson, I. A. 1992. Touring Machines: An Architecture for Dynamic, Rational, Mobile Agents. Ph.D. Dissertation, Computer Laboratory, University of Cambridge.Google ScholarGoogle Scholar
  11. 11.Firby, R. J. 1978. Adaptive execution in complex dy. namia worlds. Ph.D. Dissertation, Yale University. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. 12.Freed, M., and Remington, R. 1997. Managing decision resources in plan execution. In Procs. of IJCAI-97, 322- 326, Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. 13.Get, E. 1996. ESL: A language for supporting robust plan execution in embedded autonomous agents, in Pryor, L,, ed,, Procs. of the AAAI Fall Symposium on Plan Execution. AAAI Press.Google ScholarGoogle Scholar
  14. 14.Genesereth~ M. P~., and Nilsson, N. J. 1987. Logical Foundations of Artificial Intelligence. Morgan Kaufmann: Los Altos, CA. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. 15.Georgeff, M. P., and Lansky, A. L. 1986. A system for reasoning in dynamic domains: Fault diagnosis on the space shuttle. Technical Note 375, Artificial Intelligence Center, $1'//International.Google ScholarGoogle Scholar
  16. 16.Georgeff, M. P., and Lansky, A. L. 1987. Procedural knowledge. Technical Report 411, Artificial Intelligence Center, SRI International.Google ScholarGoogle Scholar
  17. 17.Georgeff, M. P.; Lansky, A. L.; and Schoppers, M. 3. 1987, Reasoning and planning in dynamic domains: An experiment with a mobile robot. Technical Repor~ 380, Artificial Intelligence Center, SKI International.Google ScholarGoogle Scholar
  18. 18.Hamseher, W.; Console, L.; and de Kleer, J. 1992. Readings in Model. Based Diagnosis. San Mateo, CA: Morgan Kaufmann. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. 19.Hayes-Roth, B. 1995. An architecture for adaptive intelligent systems. Art. int. 72. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. 20.Ingrand, F. F., and Georgeff, M. P. 1990. Managing deliberation and reasoning in real-time ai systems. In Procs. DARPA Workshop on Innovative Approaches to Planning, Scheduling and Control, 284-291.Google ScholarGoogle Scholar
  21. 21.Levesque, H.; Fetter, It.; Lesperance, Y.; Lin, F.; and Scherl, R. 1997. Golog: A logic programming language for dynamic domains. Journal of Logic Programming 31:59- 84.Google ScholarGoogle ScholarCross RefCross Ref
  22. 22.McDermott, D. 1993. A reactive plan language. Technical report, Computer Science Dept, Yale University.Google ScholarGoogle Scholar
  23. 23.Muller, J., and Pischel, M. 1994. An architecture for dynamically interacting agents. Int. Journal of Intelligent and Cooperative Information Systems 3(1):25-45.Google ScholarGoogle ScholarCross RefCross Ref
  24. 24.Muscettola, N. 1994. HSTS: Integrating planning and scheduling. In Fox, M., and Zweben, M., eds., Intelligent Scheduling. Morgan Kaufmann.Google ScholarGoogle Scholar
  25. 25.Ogasawara, G.H. 1991. A distributed, decisiontheoretic control system for a mobile robot. ACM $IGART Bulletin 2(4):140-145. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. 26.Pell, B.; Bernard, D. E.; Chien, S. A.; Gat, E.; Muscetrole, N.; Nayak, P. P.; Wagner, M. D.; and Williams, B. C. 1997a. An autonomous spacecraft agent prototype. In Johnson, W. L., ed., Proceedings of the First Intq Conference on Autonomous Agents, 253-261. ACM Press. Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. 27.Pell, B.; Gat, E.; Keesing, R.; Muscettola, N.; and Smith, B. 19971). Robust periodic planning and execution for autonomous spacecraft. In Procs. of IJCAL97. Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. 28.Pell, B.; Bernard, D. E.; Chien, S. A.;/2at, E.; Muscettola, N.; Nayak, P. P.; ~Vagner, M. D.; and Williams, B. C. 1998. An autonomous spacecraft agent prototype. Autonomous Robotics 5(1). To Appear. Google ScholarGoogle ScholarDigital LibraryDigital Library
  29. 29.Pollock, J. L. 1998. Planning agents. In Rao, A., and Wooldridge, M., eds., Foundations of Rational Agency. Kluwer.Google ScholarGoogle Scholar
  30. 30.Schoppers, M. 1995. The use of dynamics in an intelligent controller for a space faring rescue robot. Artifcial Intelligence 73(2):175-230. Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. 31.Simmons, tL 1990. An architecture for coordinating planning, sensing, and action. In Procs. DARPA Work. shop on Innovative Approaches to Planning, Scheduling and Control, 292-297.Google ScholarGoogle Scholar
  32. 32.Wilkins, D. E.; Myers, K. L.; Lowrance, J. D.; and Wesley, L. P. 1995. Planning and reacting in uncertain and dynamic environments. JETAI 7(1):197-227.Google ScholarGoogle Scholar
  33. 33.Williams, B. C., and Nayak, P. P. 1996. A model-based approach to reactive serf-configuring systems. In Procs. of AAAI-96, 971-978. Cambridge, Mass.: AAAI. Google ScholarGoogle ScholarDigital LibraryDigital Library
  34. 34.Williams, B. C., and Nayak, P. P. 1997. A reactive planner for a model-based executive. In Procs. of IJCAi- 97. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. A hybrid procedural/deductive executive for autonomous spacecraft

            Recommendations

            Comments

            Login options

            Check if you have access through your login credentials or your institution to get full access on this article.

            Sign in
            • Published in

              cover image ACM Conferences
              AGENTS '98: Proceedings of the second international conference on Autonomous agents
              May 1998
              484 pages
              ISBN:0897919831
              DOI:10.1145/280765

              Copyright © 1998 ACM

              Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 1 May 1998

              Permissions

              Request permissions about this article.

              Request Permissions

              Check for updates

              Qualifiers

              • Article

              Acceptance Rates

              AGENTS '98 Paper Acceptance Rate57of180submissions,32%Overall Acceptance Rate182of599submissions,30%

            PDF Format

            View or Download as a PDF file.

            PDF

            eReader

            View online with eReader.

            eReader