This report stems from a workshop that was organized by the Association for the Advancement of Artificial Intelligence (AAAI) and cosponsored by the Information Technology and Organizations Program of the National Science Foundation. The purpose of the workshop was twofold: first, to increase awareness among the artificial intelligence (AI) community of opportunities presented by the National Information Infrastructure (NII) activities, in particular, the Information Infrastructure and Tech-nology Applications (IITA) component of the High Performance Computing and Communications Program; and second, to identify key contributions of research in AI to the NII and IITA.

The Association for the Advancement of Artificial Intelligence held its 1995 Spring Symposium Series on March 27 to 29 at Stanford University. This article contains summaries of the nine symposia that were conducted: (1) Empirical Methods in Discourse Interpretation and Generation; (2) Extending Theories of Action: Formal Theory and Practical Applications; (3) Information Gathering from Heterogeneous, Distributed Environments; (4) Integrated Planning Applications; (5) Interactive Story Systems: Plot and Character; (6) Lessons Learned from Implemented Software Architectures for Physical Agents; (7) Representation and Acquisition of Lexical Knowledge: Polysemy, Ambiguity, and Generativity; (8) Representing Mental States and Mechanisms; and (9) Systematic Methods of Scientific Discovery.

The annual Workshop on the Validation and Verification of Knowledge-Based Systems is the leading forum for presenting research on the validation and verification of knowledge-based systems (KBSs). The 1994 workshop was significant in that there was a definitive move in the philosophical position of the workshop from a testing- and tool-based approach to KBS evaluation to that of a formal specification-based approach. This workshop included 12 full papers and 5 short papers and was attended by 35 researchers from government, industry, and academia.

Over the centuries, it has become reified in that analogical reasoning has sometimes been regarded as a fundamental cognitive process. In addition, it has become identified with a particular expressive format. Beyond this dependence, research in cognitive science suggests that analogy relies on a number of genuinely fundamental cognitive capabilities, including semantic flexibility, the perception of resemblances and of distinctions, imagination, and metaphor. Extant symbolic models of analogical reasoning have various sorts of limitation, yet each model presents some important insights and plausible mechanisms.

The Seventh International Workshop on Natural Language Generation was held from 21 to 24 June 1994 in Kennebunkport, Maine. Sixty-seven people from 13 countries attended this 4-day meeting on the study of natural language generation in computational linguistics and AI. The goal of the workshop was to introduce new, cutting-edge work to the community and provide an atmosphere in which discussion and exchange would flourish.

My collaborators and I have recently reported in domain science journals several human-computer discoveries in biology, chemistry, and physics. My conclusion is that each finding involves a new representation of the scientific task: The problem spaces searched were unlike previous task problem spaces. Such new representations need not be wholly new to the history of science; rather, they can draw on useful representational pieces from elsewhere in natural or computer science. My analysis also suggests a broader potential role for (AI) computer scientists in the practice of natural science.

Analogy has a rich history in Western civilization. Over the centuries, it has become reified in that analogical reasoning has sometimes been regarded as a fundamental cognitive process. In addition, it has become identified with a particular expressive format. The limitations of the modern view are illustrated by monster analogies, which show that analogy need not be regarded as something having a single form, format, or semantics. Analogy clearly does depend on the human ability to create and use well-defined or analytic formats for laying out propositions that express or imply meanings and perceptions. Beyond this dependence, research in cognitive science suggests that analogy relies on a number of genuinely fundamental cognitive capabilities, including semantic flexibility, the perception of resemblances and of distinctions, imagination, and metaphor. Extant symbolic models of analogical reasoning have various sorts of limitation, yet each model presents some important insights and plausible mechanisms. I argue that future efforts could be aimed at integration. This aim would include the incorporation of contextual information, the construction of semantic bases that are dynamic and knowledge rich, and the incorporation of multiple approaches to the problems of inference constraint.

Model of Mental Fluidity and Analogy Making," is perhaps the best The representation is then elaborated by many codelets, small pieces of code that do specific things. Some codelets recognize potential structures but do Fluid Concepts and Creative Analogies, Dave Chalmers, Daniel Defays, Bob not build them; others build structures Douglas Hofstadter and the French, Gary McGraw, and Melanie that have been identified. Because of the parallelism, competing whole book, reinforced by the prefaces structures can be built; other Hofstadter wrote for each article. The structure these ideas are related, one is primarily the Carl Sagan of AI. A parallel terraced scan is similar a constant interaction between how based on irrelevancies. Chapter 4, to see some attempt to learn is a collection of articles, many "High-Level Perception, Representation, codelets using genetic algorithms.

The Association for the Advancement of Artificial Intelligence held its 1995 Spring Symposium Series on March 27 to 29 at Stanford University. This article contains summaries of the nine symposia that were conducted: (1) Empirical Methods in Discourse Interpretation and Generation; (2) Extending Theories of Action: Formal Theory and Practical Applications; (3) Information Gathering from Heterogeneous, Distributed Environments; (4) Integrated Planning Applications; (5) Interactive Story Systems: Plot and Character; (6) Lessons Learned from Implemented Software Architectures for Physical Agents; (7) Representation and Acquisition of Lexical Knowledge: Polysemy, Ambiguity, and Generativity; (8) Representing Mental States and Mechanisms; and (9) Systematic Methods of Scientific Discovery.

Prizes were awarded to students to encourage improved research. Michel Wermelinger, Universidade Nova de Lisboa, Portugal, was the winner of the best paper award for his work "Basic Conceptual Structure Theory," which provided a significant In "Representations Technology, Bangkok, Thailand, won Papers were presented by a number interest in the use of conceptual he Second International Conference (ICCS'94) was held at the of individuals and groups from graphs. The funds were made available University of Maryland, College several countries on the development through a grant from the American Park, Maryland, on August 16 to 20. and use of the conceptual Association for Artificial Intelligence The conference marked the tenth graph representational language. Sponsors included the University of Graph Workbench," chaired by Gerard vice-president of academic affairs, Paradigm Development Corp. in Urbana, Illinois, was the second She received her Ph.D. from the introduction, "Aristotelian and