home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / ai / 3088 < prev    next >
Encoding:
Internet Message Format  |  1992-08-13  |  20.6 KB

  1. Xref: sparky comp.ai:3088 fj.ai:674
  2. Newsgroups: comp.ai,fj.ai
  3. Path: sparky!uunet!ccut!wnoc-tyo-news!etl.go.jp!etlss2!nakashim
  4. From: nakashim@etl.go.jp (Hideyuki Nakashima)
  5. Subject: Summary: Re: class of planners
  6. In-Reply-To: nakashim@etl.go.jp's message of Fri, 31 Jul 1992 06: 52:58 GMT
  7. Message-ID: <NAKASHIM.92Aug14114305@uranus.etl.go.jp>
  8. Sender: news@etl.go.jp (News System)
  9. Nntp-Posting-Host: uranus
  10. Organization: Electrotechnical Laboratory
  11. References: <NAKASHIM.92Jul31155258@uranus.etl.go.jp>
  12. Date: Fri, 14 Aug 1992 02:43:05 GMT
  13. Lines: 562
  14.  
  15. I asked about classes of planners in comp.ai and fj.ai.
  16. Here is a summary of responses I got.
  17.  
  18. (1) Do not confuse class of planners with class of problems.
  19.  
  20. From: Robert Baron <robert@cs.ualberta.ca>:
  21. > The classifications as linear/nonlinear hierarchical/nonhierarchical do
  22. > not refer to a type of problem but to how a planner operates; in order
  23. > words they are not classes of planning problems but classes of planners.
  24.  
  25. > A correctly built (i.e. complete) linear and nonhierarchical planner can
  26. > solve all of the types of problems that you mentionned above (and below).
  27.  
  28. (2) There are few work on classifying problems.
  29.  
  30. (3) References
  31.  
  32. Manuela M. Veloso
  33. "Nonlinear Problme Solving Using Intelligent Casual-Commitment"
  34. CMU-CS-89-210
  35.  
  36. Naresh Gupta and Dana S. Nau
  37. "Complexity Results for Blocks-World Planning"
  38. AAAI-91, pp.629-633
  39.  
  40. James Hendler, Austin Tate, and Mark Drummond. 1990.
  41. AI Planning: Systems and Techniques.
  42. AI Magazine (Summer);
  43.  
  44. David E. Wilkins. 1988.
  45. Pratical Planning -- Extending the Classical AI Planning Paradigm --
  46. Morgan Kaufmann Publishers Inc;
  47.  
  48. James Allen, James Hendler, and Austin Tate. 1990.
  49. Readings in Planning.
  50. Morgan Kaufmann Publishers Inc.
  51.  
  52. From: Robert Baron <robert@cs.ualberta.ca>:
  53.  
  54.     [PLANNER - SHORT SUMMARY]
  55.     Bobrow, D., Raphael, B., "New Programming Languages for Artificial
  56.     Intelligence Research," Association for Computing Machinery Computing
  57.     Surveys, 6, 1974, 153-174.
  58.  
  59.     [PLANNER]
  60.     Rulifson, J. F., Derksen, J. A., Waldinger, R. J., QA4: A Procedural
  61.     Calculus for Intuitive Reasoning. Technical Note 73, SRI Intern., 1972.
  62.  
  63.     [PLANNER]
  64.     Hewitt, C., Description and Theoretical Analysis (Using Schemata) of
  65.     PLANNER: A Language for Proving Theorems and Manipulating Models in
  66.     Robots. Report AI-TR-258, Massachusetts Institute of Technology, 1971.
  67.  
  68.     [PLANNER - MICRO-PLANNER]
  69.     Sussman, G., Winograd, T., Charniak, E., Micro-Planner Reference
  70.     Manual. Memo 203a, Massachusetts Institute of Technology, 1970.
  71.  
  72.     [PLANNER]
  73.     Hewitt, C., "PLANNER: A Language for Proving Theorems in Robots,"
  74.     Proc. of the First Intern. Joint Conf. on Artificial Intelligence,
  75.     Morgan Kaufmann, 1969, 295-301.
  76.  
  77.     --------------
  78.  
  79.     [PLANNING - SURVEY]
  80.     Georgeff, M. P., "Planning," in Annual Review of Computer Science,
  81.     Annual Reviews Inc., 1987, 359-400.
  82.  
  83.     [PLANNING - LECTURE NOTES]
  84.     Schubert, L. K., "Planning," Personal Communication, 1988.
  85.  
  86.     [PLANNING - SURVEY]
  87.     Vere, S. A., "Planning," in Encyclopedia of Artificial Intelligence,
  88.     Wiley, 1986, 748-758.
  89.  
  90.     [PLANNING - EXECUTING]
  91.     "Interleaving Plan formation and execution", Proc. of the Fifth
  92.     National Conf. on Artificial Intelligence, Morgan Kaufmann, 1986,
  93.     58-64.
  94.  
  95.     [PLANNING - EXECUTING]
  96.     Chien, R. T., Weissman, S., "Planning and Execution in Incompletely
  97.     Specified Environment," Proc. of the Fourth Intern. Joint Conf. on
  98.     Artificial Intelligence, Morgan Kaufmann, 1975, 169-174.
  99.  
  100.     [PLANNING - PLAN REPRESENTATION]
  101.     Tenenberg, J., "Planning with abstraction," Proc. of the Fifth National
  102.     Conf. on Artificial Intelligence, Morgan Kaufmann, 1986, 76-80.
  103.  
  104.     [PLANNING - PLAN REPRESENTATION]
  105.     Hayes, P. J., "A Representation for Robot Plans," Proc. of the Fourth
  106.     Intern. Joint Conf. on Artificial Intelligence, Morgan Kaufmann, 1975,
  107.     181-188.
  108.  
  109.     [PLANNING - EXPERT SYSTEM]
  110.     Crowley, J. L., "Coordination of Action and Perception in a
  111.     Surveillance Robot," Proc. of the Tenth Intern. Joint Conf. on
  112.     Artificial Intelligence, Morgan Kaufmann, 1987, 793-796.
  113.  
  114.     [PLANNING - EXPERT SYSTEM]
  115.     Crowley, J. L., Coordination of Action and Perception in a Surveillance
  116.     Robot," IEEE Expert, Winter, 1987, 32-43.
  117.  
  118.     [PLANNING - REPLANNING]
  119.     Alterman, R., "An Adaptive Planner," Proc. of the Fifth National Conf.
  120.     on Artificial Intelligence, Morgan Kaufmann, 1986, 65-69.
  121.  
  122.     [PLANNING - THEORY]
  123.     Morgenstern, L., "A First Order Theory of Planning, Knowledge, and
  124.     Action," Proc. of the Conf. on Theoretical Aspects of Reasoning about
  125.     Knowledge, Morgan Kaufmann, 1986, 99-114.
  126.  
  127.     [PLANNING - WORKSHOP REPORT]
  128.     William, S., (ed.), "DARPA Santa Cruz Workshop on Planning," AI
  129.     Magazine, 9(2), 1988, 115-130.
  130.  
  131.     --------------
  132.  
  133.     [ROSENSCHEIN - EPISTEMIC MACHINES]
  134.     Rosenschein, S. J., Kaebling, L. P., The Synthesis of Digital Machines
  135.     with Provable Epistemic Properties. Technical Note 412, SRI Intern.,
  136.     1987.
  137.  
  138.     [ROSENSCHEIN - EPISTEMIC MACHINES]
  139.     Rosenschein, S. J., Kaelbling, L. P., "The Synthesis of Machines with
  140.     Provably Epistemic Properties," Proc. of the Conf. on Theoretical
  141.     Aspects of Reasoning about Knowledge, Morgan Kaufmann, 1986, 83-98.
  142.  
  143.     [ROSENSCHEIN - EPISTEMIC MACHINES]
  144.     Rosenschein, S. J., "Formal Theories of Knowledge in AI and Robotics,"
  145.     Proc. Workshop on Intelligent Robots: Achievements and Issues, 1984,
  146.     237-252. / * New Generation Computing, 3(4), 1985, 345-357.
  147.  
  148.     [ROSENSCHEIN - DYNAMIC LOGIC]
  149.     Rosenschein, S. J., "Plan Synthesis: A Logical Perspective," Proc.
  150.     of the Seventh Intern. Joint Conf. on Artificial Intelligence, Morgan
  151.     Kaufmann, 1981, 331-337.
  152.  
  153.     --------------
  154.  
  155.     Doyle, R. J., Atkinson, D. J., Doshi, R. S., "Generating Perception
  156.     Requests and Expectations to Verify the Execution of Plans," Proc. of
  157.     the Fifth National Conf. on Artificial Intelligence, Morgan Kaufmann,
  158.     1986, 81-88.
  159.       {Take the approach plan constructor/plan executor.  Use a STRIPS-like
  160.       planner to construct a plan for a goal.  Then, the plan is augmented
  161.       with perception requests to verify the preconditions and postcondi-
  162.       tions of actions.  So actions act with no (or little) feedback.  As
  163.       presented there is no possibility of continuous monitoring as can be
  164.       done by action routines with SHAKEY.  Intend to extend their verifi-
  165.       cation language to incorporate continuous monitoring.  Never tested
  166.       on a real-world robot.  Food for thought, especially the extension
  167.       they propose for the verification language.}
  168.  
  169.     --------------
  170.  
  171.     [ROBOT - JASON]
  172.     Coles, S. L., Robb, A. M., Sinclair, P. L., Smith, M. H., Sobek, R. R.,
  173.     "Decision Analysis for an Experimental Robot with Sensors," Proc. of
  174.     the Fourth Intern. Joint Conf. on Artificial Intelligence, Morgan
  175.     Kaufmann, 1975, 749-757.
  176.  
  177.     --------------
  178.  
  179.     [PLANNING - ABSTRIPS]
  180.     Sacerdoti, E. D., "Planning in a Hierarchy of Abstraction Spaces,"
  181.     Proc. of the Third Intern. Conf. on Artificial Intelligence, Morgan
  182.     Kaufmann, 1973, 412-422.
  183.  
  184.     [PLANNING - ABSTRIPS]
  185.     Sacerdoti, E. D., "Planning in a Hierarchy of Abstraction Spaces,"
  186.     Artificial Intelligence, 5, 1974, 115-135.
  187.  
  188.     --------------
  189.  
  190.     [PLANNING - CONDITIONAL]
  191.     Manna, Z., Waldinger, R., "A Theory of Plans," in Reasoning about
  192.     Actions and Plans, M. Georgeff and A. Lansky (eds.), Morgan Kaufmann,
  193.     1987, 11-45.
  194.  
  195.     --------------
  196.  
  197.     [PLANNING - CONJUNCTIVE GOALS]
  198.     Waldinger, R. J., "Achieving Several Goals Simultaneously," in Machine
  199.     Intelligence 8, E. Elcock, and D. Michie (eds.), Ellis Horwood, 1977,
  200.     94-136.
  201.  
  202.     --------------
  203.  
  204.     [PLANNING - DECISION THEORY - NONMONOTICS]
  205.     Langlotz, C., Shortliffe, E. H., "Logical and Decision-Theoretic
  206.     Methods for Planning under Uncertainty," AI Magazine, 10(1), 1989,
  207.     39-47.
  208.  
  209.     [PLANNING - DECISION THEORY]
  210.     Feldman, J. A., Sproull, R. F., "Decision Theory and Artificial
  211.     Intelligence II: The Hungry Monkey," Cognitive Science 1, 1977,
  212.     158-192.
  213.  
  214.     [PLANNING - DECISION THEORY]
  215.     Coles, S. L., Robb, A. M., Sinclair, P. L., Smith, M. H., Sobek, R. R.,
  216.     "Decision Analysis for an Experimental Robot with Sensors," Proc. of
  217.     the Fourth Intern. Joint Conf. on Artificial Intelligence, Morgan
  218.     Kaufmann, 1975, 749-757.
  219.  
  220.     [PLANNING - DECISION THEORY]
  221.     Johnson, D. T., "Decision Theory and Automatic Planning," Tech. Rep.
  222.     TR77-9, Dept. of Computing Science, Univ. of Alberta, Edmomton, 1977.
  223.  
  224.     [PLANNING - DECISION THEORY]
  225.     Johnson, D. T., Schubert, L. K., "A Planning Control Strategy that
  226.     Allows for the Cost of Planning," Proc. of the Sixth European Meeting
  227.     on Cybernetics and Systems Research, 1982.
  228.  
  229.     --------------
  230.  
  231.     [PLANNING - DEVISER]
  232.     Vere, S. A., "Splicing Plans to Achieve Misordered Goals," Proc. of
  233.     the Ninth Intern. Joint Conf. on Artificial Intelligence, Morgan
  234.     Kaufmann, 1985, 1016-1021.
  235.  
  236.     [PLANNING - DEVISER]
  237.     Vere, S. A., "Planning in Time: Windows and Duration for Activities
  238.     and Goals," IEEE Trans. on Pattern Analysis and Machine Intelligence
  239.     5, 1983, 246-267.
  240.  
  241.     --------------
  242.  
  243.     [PLANNING - ELMER]
  244.     McCalla, G. I., Schneider, P. F., "Planning in a Dynamic Microworld,"
  245.     Proc. of the Third Biennial Conf. of the Canadian Society for
  246.     Computational Studies of Intelligence, CIPS National Office, 1980,
  247.     248-255.
  248.  
  249.     [PLANNING - ELMER]
  250.     McCalla, G. I., Schneider, P. F., "The Execution of Plans in an
  251.     Independent Dynamic Microworld," Proc. of the Sixth Intern. Joint Conf.
  252.     on Artificial Intelligence, Morgan Kaufmann, 1979, 553-555.
  253.  
  254.     [PLANNING - ELMER]
  255.     McCalla, G. I., Reid, L., Schneider, P. F., "Plan Creation, Plan
  256.     Execution and Knowledge Acquisition in a Dynamic Microworld," Int. J.
  257.     of Man-Machine Studies, 16, 1982, 89-112.
  258.  
  259.     --------------
  260.  
  261.     [PLANNING - GREEN]
  262.     Kowalski, R., Logic for Problem Solving. North-Holland, 1979.
  263.  
  264.     [PLANNING - GREEN]
  265.     Green, C., "Application of Theorem Proving to Problem Solving," Proc.
  266.     of the First Intern. Joint Conf. on Artificial Intelligence, Morgan
  267.     Kaufmann, 1969, 219-239.
  268.  
  269.     --------------
  270.  
  271.     [PLANNING - GRIPE]
  272.     Doyle, R. J., Atkinson, D. J., Doshi, R. S., "Generating Perception
  273.     Requests and Expectations to Verify the Execution of Plans," Proc. of
  274.     the Fifth National Conf. on Artificial Intelligence, Morgan Kaufmann,
  275.     1986, 81-88.
  276.  
  277.     --------------
  278.  
  279.     [PLANNING - HACKER]
  280.     Sussman, G. J., A Computational Model of Skill Acquisition.
  281.     North-Holland, 1975.
  282.  
  283.     --------------
  284.  
  285.     [PLANNING - INTERPLAN]
  286.     Tate, A., "Interacting Goals and Their Use," Proc. of the Fourth
  287.     Intern. Joint Conf. on Artificial Intelligence, Morgan Kaufmann, 1975,
  288.     215-218.
  289.  
  290.     --------------
  291.  
  292.     [PLANNING - LAWALY]
  293.     Siklossy, L., Dreussi, J., "An Efficient Robot Planner which Generates
  294.     its own Procedures," Proc. of the Third Intern. Joint Conf. on
  295.     Artificial Intelligence, Morgan Kaufmann, 1973, 423-430.
  296.  
  297.     --------------
  298.  
  299.     [PLANNING - MOLGEN]
  300.     Stefik, M., "Planning with Constraints (MOLGEN: Part 1)," Artificial
  301.     Intelligence, 15, 1981, 111-140.
  302.  
  303.     [PLANNING - MOLGEN]
  304.     Stefik, M., "Planning and Meta-Planning (MOLGEN: Part 2)," Artificial
  305.     Intelligence, 16, 1981, 141-170.
  306.  
  307.     --------------
  308.  
  309.     [PLANNING - NASL]
  310.     McDermott, D., "Planning and acting," Cognitive Science, 2, 1978,
  311.     71-109.
  312.  
  313.     --------------
  314.  
  315.     [PLANNING - NOAH]
  316.     Sacerdoti, E. D., A Structure for Plans and Behavior. Elsevier, 1977.
  317.  
  318.     [PLANNING - NOAH]
  319.     Sacerdoti, E. D., The Nonlinear Nature of Plans," Proc. of the Fourth
  320.     Joint Conf. on Artificial Intelligence, Morgan Kaufmann, 1975, 206-214.
  321.  
  322.     --------------
  323.  
  324.     [PLANNING - NONLIN - POSSIBLY RELATED]
  325.     Tate, A., "Goal Structure," Proc. of the Sixth European Conf. on
  326.     Artificial Intelligence, 1984, 273-276.
  327.  
  328.     [PLANNING - NONLIN - RESOURCE CONSUMPTION]
  329.     Tate, A., Whiter, A. M., "Planning with Multiple Resource Constraints
  330.     and an Application to a Naval Planning Problem," Proc. of the First
  331.     Conf. on Applications of Artificial Intelligence, 1984, 410-415.
  332.  
  333.     [PLANNING - NONLIN]
  334.     Tate, A., "Generating Project Networks," Proc. of the Fifth Intern.
  335.     Joint Conf. on Artificial Intelligence, Morgan Kaufmann, 1977, 888-893.
  336.  
  337.     [PLANNING - NONLIN]
  338.     Tate, A., Project Planning Using a Hierarchic Non-Linear Planner.
  339.     Research Report 25, Univ. of Edinburgh, 1976.
  340.  
  341.     --------------
  342.  
  343.     [PLANNING - PRS]
  344.     Georgeff, M. P., Lansky, A. L., "Reactive Reasoning and Planning,"
  345.     Proc. of the Sixth National Conf. on Artificial Intelligence, Morgan
  346.     Kaufmann, 1987, 677-682.
  347.  
  348.     [PLANNING - PRS]
  349.     Georgeff, M. P., Lansky, A. L., "Procedural Knowledge," Proc. of the
  350.     IEEE, 74(10), 1986, 1383-1398.
  351.  
  352.     [PLANNING - PRS]
  353.     Georgeff, M. P., Lansky, A. L., Bessiere, P., "A Procedural Logic,"
  354.     Proc. of the Ninth Intern. Joint Conf. on Artificial Intelligence,
  355.     Morgan Kaufmann, 1985.
  356.  
  357.     [PLANNING - PRS]
  358.     Georgeff, M. P., Bonollo, U., "Procedural Expert Systems," Proc. of the
  359.     Eighth Intern. Joint Conf. on Artificial Intelligence, Morgan Kaufmann,
  360.     1983, 151.
  361.  
  362.     --------------
  363.  
  364.     [PLANNING - RAP]
  365.     Firby, J. R., "An Investigation into Reactive Planning in Complex
  366.     Domains," Proc. of the Sixth National Conf. on Artificial
  367.     Intelligence, Morgan Kaufmann, 1987, 202-206.
  368.  
  369.     --------------
  370.  
  371.     [PLANNING - SIPE - POSSIBLY RELATED]
  372.     Wilkins, D. E., "Hierarchical Planning: Definition and Implementation,"
  373.     in Advances in Artificial Intelligence II, B. du Boulay, D. Hogg and L.
  374.     Steels (eds.), Elsevier, 1987, 659-671.
  375.  
  376.     [PLANNING - SIPE]
  377.     Wilkins, D. E., "Recovering from Execution Errors in SIPE,"
  378.     Computational Intelligence, 1, 1985, 33-45.
  379.       {Takes the approach plan constructor/plan executor.  The paper deals
  380.       with the replanning system.  Was never used to control a real-world
  381.       robot.  Provides a fair analysis of the modifications that need be
  382.       made to a hierarchical plan when the state of the world turns out to
  383.       be not as expected.  The big assumption is that the real state of the
  384.       world is known after executing actions -- intends to develop such a
  385.       system.  In the spirit of SIPE -- ad hoc methods to get efficiency.}
  386.  
  387.     [PLANNING - SIPE]
  388.     Wilkins, D. E., "Domain-Independent Planning: Representation and Plan
  389.     Generation," Artificial Intelligence, 22, 1984, 269-301.
  390.  
  391.     [PLANNING - SIPE]
  392.     Wilkins, D. E., "Representation in a Domain-Independent Planner,"
  393.     Proc. of the Eighth Intern. Joint Conf. on Artificial Intelligence,
  394.     Morgan Kaufmann, 1983, 733-740.
  395.  
  396.     --------------
  397.  
  398.     [PLANNING - STRIPS]
  399.     Lifschitz, V., "On the Semantics of STRIPS," in Reasoning about Actions
  400.     and Plans, M. Georgeff and A. Lansky (eds.), Morgan Kaufmann, 1986,
  401.     1-9.
  402.  
  403.     [PLANNING - STRIPS - SHAKEY]
  404.     Nilsson, N. J., Shakey the Robot. Technical Report 323, SRI Intern.,
  405.     1984.
  406.  
  407.     [PLANNING - STRIPS]
  408.     Nilsson, N. J., Principle of Artificial Intelligence. Morgan Kaufmann,
  409.     1980.
  410.  
  411.     [PLANNING - STRIPS - MACROP - PLANEX]
  412.     Fikes, R. E., Hart, P. E., Nilsson, N. J., "Learning and Executing
  413.     Generalized Robot Plans," Artificial Intelligence, 3, 1972, 251-288.
  414.  
  415.     [PLANNING - STRIPS]
  416.     Fikes, R. E. and Nilsson, N. J., "STRIPS: A New Approach to the
  417.     Application of Theorem Proving to Problem Solving," Artificial
  418.     Intelligence, 2, 1971, 189-208.
  419.  
  420.     [PLANNING - STRIPS - PLANEX]
  421.     Fikes, R. E., "Monitored Execution of Robot Plan Produced by STRIPS,"
  422.     Proc. IFIP Congress 71, 1971.
  423.  
  424.     [PLANNING - STRIPS - PLANEX - RELATED]
  425.     Munson, J. H., "Robot Planning, Execution, and Monitoring in an
  426.     Uncertain Environment," Proc. of the Second Intern. Joint Conf. on
  427.     Artificial Intelligence, Morgan Kaufmann, 1971, 338-349.
  428.  
  429.     --------------
  430.  
  431.     [PLANNING - TEMPORAL]
  432.     Pelavin, R., Allen, J. F. "A Formal Logic of Plans in Temporally Rich
  433.     Domains," Proc. of the IEEE, 74, 1986, 1364-1382.
  434.  
  435.     --------------
  436.  
  437.     [PLANNING - TWEAK]
  438.     Chapman, D., "Planning for Conjunctive Goals," Artificial Intelligence,
  439.     32, 1987, 333-377.
  440.  
  441.     [PLANNING - TWEAK]
  442.     Chapman, D., Planning for Conjunctive Goals. Technical Report 83-85,
  443.     Massachusetts Institute of Technology, 1985.
  444.  
  445.     --------------
  446.  
  447.     [PLANNING - UNIVERSAL PLANS]
  448.     Schoppers, M. J., "Universal Plans for Reactive Robots in Unpredictable
  449.     Environments," Proc. of the Tenth Intern. Joint Conf. on Artificial
  450.     Intelligence, Morgan Kaufmann, 1987, 1039-1046.
  451.  
  452.     --------------
  453.  
  454.     [PLANNING - WARPLAN-C]
  455.     Warren, D. H. D., "Generating Conditional Plans and Programs," Proc.
  456.     of the Summer Conf. on Artificial Intelligence and Simulation of
  457.     Behavior, Univ. of Edinburgh, 1976, 344-354.
  458.  
  459.     [PLANNING - WARPLAN]
  460.     Warren, D. H. D., WARPLAN: A System for Generating Plans. Memo 76,
  461.     Univ. of Edinburgh, 1974.
  462.  
  463.     --------------
  464.  
  465.                             UNCLASSIFIED REFERENCES
  466.  
  467.     ---- 1988 ----
  468.  
  469.     Chang, K.-H., Wee, W. G., "A Planning Model with Problem Analysis and
  470.     Operator Hierarchy," IEEE Trans. on Patterm Analysis and Machine
  471.     Intelligence, 10(5), 1988, 672-675.
  472.  
  473.     ---- 1987 ----
  474.  
  475.     Hayes, C., "Using Goal Interactions to Guide Planning," Proc. of the
  476.     Sixth National Conf. on Artificial Intelligence, Morgan Kaufmann, 1987,
  477.     224-228.
  478.  
  479.     [ROBOT - EXECUTION MONITOR]
  480.     Broverman, C. A., Croft, W. B., "Reasoning About Exceptions During Plan
  481.     Execution Monitoring," Proc. of the Sixth National Conf. on Artificial
  482.     Intelligence, Morgan Kaufmann, 1987, 190-195.
  483.  
  484.     ---- 1984 ----
  485.  
  486.     Allen, "General theory of action and time," Artificial Intelligence,
  487.     23, 1984, 123-154.
  488.  
  489.     Daniel, L., "Planning and Operations Research," in Artificial
  490.     Intelligence: Tools, Techniques, and Applications, T. O'Shea and M.
  491.     Eisenstadt (eds.), Harper & Row, 1984, 423-452.
  492.  
  493.     Georgeff, M., "A Theory of Action for MultiAgent Planning," Proc. of
  494.     the Fourth National Conf. on Artificial Intelligence, Morgan Kaufmann,
  495.     1984, 121-125.
  496.  
  497.     Tate, A., "Goal Structure - Capturing the Intent of Plans," Proc.
  498.     European Conf. on Artificial Intelligence, Pisa, Italy, 1984.
  499.  
  500.     Tate, A., "Planning and Condition Monitoring in a FMS," Conf. on the
  501.     Development of Flexible Manufacturing Systems, London, UK, 1984.
  502.  
  503.     ---- 1983 ----
  504.  
  505.     Allen, J., Koomen, J., "Planning Using a Temporal World Model, Proc. of
  506.     the Eighth Intern. Joint Conf. on Artificial Intelligence, Morgan
  507.     Kaufmann, 1983, 741-747.
  508.  
  509.     Wilenski, R., Planning and understanding, Addison-Wesley, 1983.
  510.  
  511.     ---- 1982 ----
  512.  
  513.     Brooks, R. A., "Symbolic Error Analysis and Robot Planning," J.
  514.     Robotics Research, 1(4), 1982, 29-68.
  515.  
  516.     McDermott, D. A., "A Temporal Logic for Reasoning about Processes and
  517.     Plans," Cognitive Sciences, 6, 1982, 101-155.
  518.  
  519.     Sridharan, N., Bresina, J., "Plan Formation in Large, Realistic
  520.     Domains," Proc. of the Fifth Biennial Conf. of the Canadian Society for
  521.     Computational Studies of Intelligence, CIPS National Office, 1982,
  522.     12-18.
  523.  
  524.     ---- 1980 ----
  525.  
  526.     Moore, R. C., Reasoning about Knowledge and Action. Technical Note 191,
  527.     SRI Intern., 1980.
  528.  
  529.     Robinson, A. E., Wilkins, D. E., "Representing Knowledge in an
  530.     Interactive Planner," Proc. of the First National Conf. on Artificial
  531.     Intelligence, Morgan Kaufmann, 1980, 148-150.
  532.  
  533.     Wilensky, R., "Meta-Planning," Proc. of the First National Conf. on
  534.     Artificial Intelligence, Morgan Kaufmann, 1980, 334-336.
  535.  
  536.     ---- 1979 ----
  537.  
  538.     Hayes-Roth, B., Hayes-Roth, F., "A Cognitive Model of Planning,"
  539.     Cognitive Sciences, 1979, 275-310.
  540.  
  541.     Hayes-Roth, B., Hayes-Roth, F., Rosenschein, S. J., Cammarata, S.,
  542.     "Modelling Planning as an Incremental, Opportunistic Process," Proc. of
  543.     the Sixth Intern. Joint Conf. on Artificial Intelligence, Morgan
  544.     Kaufmann, 1979, 375-383.
  545.  
  546.     Sacerdoti, E. D., "Problem Solving Tactics," Proc. of the Sixth Intern.
  547.     Joint Conf. on Artificial Intelligence, Morgan Kaufmann, 1979,
  548.     1077-1085.
  549.  
  550.     ---- 1977 ----
  551.  
  552.     Fikes, R. E., "Knowledge Representation in Automatic Planning Systems,"
  553.     in Perspectives in Computer Science, J. K. Jones (ed.), 1977, 63-75.
  554.  
  555.     Schank, R. C., Abelson, R. P., Scripts, Plans, Goals and Understanding,
  556.     Erlbaum, 1977.
  557.  
  558.     Wesson, R. B., "Planning in the World of the Air Traffic Controller,"
  559.     Proc. of the Fifth Intern. Joint Conf. on Artificial Intelligence,
  560.     Morgan Kaufmann, 1977, 473-479.
  561.  
  562.     ---- 1973 ----
  563.  
  564.     Lewis, R. A., Bejcsy, A. K., "Planning Consideration for a Roving Robot
  565.     with Arm," Proc. of the Third Joint Intern. Conf. on Artificial
  566.     Intelligence, Morgan Kaufmann, 1973.
  567.  
  568.     Hendrix, G. G., "Modelling Simultaneous Actions and Continuous
  569.     Processes," Artificial Intelligence, 4, 1973, 145-180.
  570.  
  571. --
  572. Hideyuki Nakashima
  573. Cooperative Architecture
  574. Electrotechincal Lab.
  575.  
  576.  
  577.