Shop is a hierarchical task network planning algorithm that is provably sound and complete across a large class of planning domains. It plans for tasks in the same order that they will later be executed, and thus, it knows the current world state at each step of the planning process. For example, shop's preconditions can include logical inferences, complex numeric computations, and calls to external programs.

For more details, see Nau et al. 's preconditions can include logical inferences, 's preconditions two methods for traveling from one location can include Horn-clause inferencing, numeric to another: (1) traveling by airplane and (2) computations, and calls to external programs. 's expressive power can be used to create a totally ordered list of subtasks. Suppose domain representations for complex application that all these subtasks are primitive except for domains. For example, the Horn 4. if t is primitive (i.e., there is an operator for t) then clauses can include calls to attached procedures 5. nondeterministically choose an operator o for t We believe the primary 14. endif's higher level of expressivity made it possible to formulate highly expressive domain algorithms in's data structures to make them faster; for example, we found that a simple change to the data structure We intend to make more optimizations in the near future. (Aha and Breslow 1997).

C. Furniture, Fixtures and Equipment: Effective for 1996 the Association Furniture, fixtures and equipment are has changed its method of accounting stated at cost, less accumulated depreciation.

The long-term future of space exploration at the National Aeronautics and Space Administration (NASA) is dependent on the full exploitation of autonomous and adaptive systems, but mission managers are worried about the reliability of these more intelligent systems. The main focus of the workshop was to address these worries; hence, we invited NASA engineers working on autonomous and adaptive systems and researchers interested in the verification and validation of software systems. The dual purpose of the meeting was to (1) make NASA engineers aware of the verification and validation techniques they could be using and (2) make the verification and validation community aware of the complexity of the systems NASA is developing. The workshop was held 5 to 7 December 2000 at the Asilomar Conference Center in Pacific Grove, California.

The Association for the Advancement of Artificial Intelligence presented the 2000 Fall Symposium Series was held on Friday through Sunday, 3 to 5 November, at the Sea Crest Oceanfront Conference Center. The titles of the five symposia were (1) Building Dialogue Systems for Tutorial Applications, (2) Learning How to Do Things, (3) Parallel Cognition for Embodied Agents, (4) Simulating Human Agents, and (5) Socially Intelligent Agents: The Human in the Loop.

Domain-independent planning is a hard combinatorial problem. Taking into account plan quality makes the task even more difficult. This article introduces Planning by Rewriting (PbR), a new paradigm for efficient high-quality domain-independent planning. PbR exploits declarative plan-rewriting rules and efficient local search techniques to transform an easy-to-generate, but possibly suboptimal, initial plan into a high-quality plan. In addition to addressing the issues of planning efficiency and plan quality, this framework offers a new anytime planning algorithm. We have implemented this planner and applied it to several existing domains. The experimental results show that the PbR approach provides significant savings in planning effort while generating high-quality plans.

This article presents a learning agent shell and methodology for building knowledge bases and agents and their innovative application to the development of a critiquing agent for military courses of action, a challenge problem set by the Defense Advanced Research Projects Agency's High-Performance Knowledge Bases Program. The learning agent shell includes a general problem-solving engine and a general learning engine for a generic knowledge base structured into two main components: (1) an ontology that defines the concepts from an application domain and (2) a set of task-reduction rules expressed with these concepts. The development of the critiquing agent was done by importing ontological knowledge from cyc and teaching the agent how an expert performs the critiquing task. The learning agent shell, the methodology, and the developed critiquer were evaluated in several intensive studies, demonstrating good results.

First, we introduce the concept of a learning agent shell as a tool to be used directly by a subjectmatter of theories, methods, and tools that expert (SME) to develop an agent. In his invited talk at the 1993 National strategies. In addition, it supported the (MIT), Stanford University, and Conference on Artificial Intelligence, development of methods for rapidly Northwestern University, developed two Edward Feigenbaum compared the technology extracting knowledge from natural language end-to-end integrated systems that were of a knowledge-based computer texts and the World Wide Web evaluated by Information Extraction system with a tiger in a cage. Rarely does and for knowledge acquisition from subject and Transport Inc. (IET), the challenge a technology arise that offers such a matter experts (SMEs). However, emphasis of the HPKB Program was 1999. Both systems demonstrated high this technology is still far from the use of challenge problems, which are performance through knowledge reuse achieving its potential. This tiger is in a complex, innovative military applications and semantic integration and created a cage, and to free it, the AI research community of AI that are intended to focus the significant amount of reusable knowledge.

The Council encouraged Science and Engineering Fair, to be sometimes after an appropriate the Conference Committee to gather held May 8-10 in San Jose. Carol asked waiting period agreeable to our copublisher, extensive feedback after the 2002 conference for a volunteer to replace Mel Montemerlo The MIT Press. The Council voted to gauge how well this new as the coordinator of the judging in favor of reaffirming this policy format was received.

Unlike and Exhibition, held 30 July to 3 other contests over the years, there were no August 2000 in Austin, Texas. This year's event artificial walls or constraints in this brought six contest teams and nine exhibition event--the robots had to interact with regular teams from the United States and Canada. Robots were judged on to compete and demonstrate state-ofthe-art the quality of their interactions, coverage, research in robotics and AI (figure 1). An article by the winning team, The competition and exhibition is actually which better describes their approach and made up of multiple events: several contests, a robot, can be found in this issue of AI Magazine. Kortenkamp, Nourbakhsh, and Hinkle (1997); In January 2000, a suggestion was made to Arkin (1998); and Meeden et al. (2000).