Procedural Knowledge

Proceedings of the IEEE

Volumn 74, Issue 10, 1986, Pages 1383-1398

  Georgeff, Michael P ^a   Lansky, Amy L ^a  

^a SRI INTERNATIONAL   (United States)

^b STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX SYSTEMS; OPERATIONAL SEMANTICS; PROCEDURAL KNOWLEDGE; REACTION CONTROL SYSTEM;

CONTROL SYSTEMS; ROBOTS, INDUSTRIAL - INTELLIGENT; SPACE SHUTTLES;

ARTIFICIAL INTELLIGENCE;

EID: 0022796312     PISSN: 00189219     EISSN: 15582256     Source Type: Journal    
DOI: 10.1109/PROC.1986.13639     Document Type: Article

References (29)

1. J. F. Allen, “A general model of action and time,” Computer Science Rep. TR 97, Univ. of Rochester, Rochester, NY, 1981.
2. J. F. Allen, “Maintaining knowledge about temporal intervals,” Commun. ACM, vol. 26, pp. 832–843, 1983.
3. R. A. Brooks, “A robust layered control system for a mobile robot,” A.I. Memo864, MIT Artificial Intell. Lab., Cambridge, MA, 1985.
4. K. M. Chandy and J. Misra, “How processes learn,” in Proc. 4th ACM Symp. on Principles of Distributed Computing, 1985.
5. W. F. Clocksin and C. S. Mellish, Programming in Prolog. Berlin, FRG: Springer-Verlag, 1984.
6. D. Davidson, Actions and Events. Oxford, England: Clarendon, 1980.
7. R. E. Fikes and N. J. Nilsson, “STRIPS: A new approach to the application of theorem proving to problem solving,” Artificial Intell., vol. 2, pp. 189–208, 1971.
8. M. P. Georgeff and U. Bonollo “Procedural expert systems,” in Proc. 8th Int. Joint Conf. on Artificial Intelligence (Karls-ruhe, West Germany, 1983).
9. M. P. Georgeff, “A theory of action for multiagent planning,” in Proc. 4th Nat. Conf. on Artificial Intelligence (Austin, TX, 1984).
10. M. P. Georgeff, A. L. Lansky, and P. Bessiere, “A procedural logic,” in Proc. 9th Int. Joint Conf. on Artificial Intelligence (Los Angeles, CA, 1985).
11. M. P. Georgeff and A. L. Lansky, “A system for reasoning in dynamic domains: Fault diagnosis on the space shuttle,” Tech. Note 375, Artificial Intelligence Center, SRI Int., Menlo Park, 1985.
12. G. G. Hendrix, “Modeling simultaneous actions and continuous processes,” Artificial Intell., vol. 4, pp. 145–180, 1973.
13. C. A. R. Hoare, S. D. Brookes, and A. W. Roscoe, “A theory of communicating sequential processes,” Tech. Monograph PRG-16, Computing Lab., Oxford Univ., Oxford, England, May 1981.
14. A. L. Lansky, “Behavioral specification and planning for multiagent domains,” Tech. Note 360, Artificial Intelligence Center, SRI Int., Menlo Park, CA, 1985.
15. J. W. Lloyd, Foundations of Logic Programming (Symbolic Computation Series). Berlin, FRG: Springer-Verlag, 1984.
16. J. McCarthy, “Programs with common sense,” in Semantic Information Processing, M. Minsky, Ed. Cambridge, MA: MIT Press, 1968.
17. D. McDermott, “A temporal logic for reasoning about plans and processes,” Computer Science Res. Rep. 196, Yale Univ., New Haven, CT, 1981.
18. R. C. Moore, “Reasoning about knowledge and action,” Tech. Note 191, Artificial Intelligence Center, SRI Int., Menlo Park, CA, 1980.
19. S. J. Rosenschein, “Plan synthesis: A logical perspective,” in Proc. 7th Int. Joint Conf. on Artificial Intelligence, pp. 331–337, 337, 1981.
20. S. J. Rosenschein, “Formal theories of knowledge in AI and robotics,” Tech. Note 362, Artificial Intelligence Center, SRI Int., Menlo Park, CA, 1985.
21. E. D. Sacerdoti, A Structure for Plans and Behavior. New York, NY: Elsevier-North Holland, 1977.
22. M. P. Georgeff, A. L. Lansky, and M. Schoppers, “Reasoning and planning in dynamic domains: An experiment with an autonomous robot,” Tech. Note 380, Artificial Intelligence Center, SRI Int., Menlo Park, CA, 1986.
23. M. Stefik, “Planning with constraints,” Artificial Intell., vol. 16, pp. 111–140, 1981.
24. C. Stuart, “An implementation of a multiagent plan synchronizer using a temporal logic theorem prover,” in Proc. 9th Int. Joint Conf. on Artificial Intelligence (Los Angeles, CA.
25. A. Tate, “Goal structure—Capturing the intent of plans,” in Proc. 6th European Conf. on Artificial Intelligence, pp. 273–276, 276, 1984.
26. V. Nguyen and K. J. Perry, “Do we really know what knowledge is,” Tech. Note, IBM T.J. Watson Res. Cen., Yorktown Heights, NY, 1986.
27. S. Vere, “Planning in time: Windows and durations for activities and goals,” Tech. Rep., Jet Propulsion Lab., Pasadena, CA, 1981.
28. D. E. Wilkins, “Domain independent planning: Representation and plan generation,” Artificial intell., vol. 22, pp. 269–301, 301, 1984.
29. A. T. Woods, “Transition network grammar for natural language analysis,” Commun. ACM, vol. 13, pp. 591–606, 1970.