The 1993 International Logic Programming Symposium was held in Vancouver, British Columbia, on 26-29 October. It presented the state of the art in logic programming, emphasizing the deliberate interaction with other fields, in particular, humanistic fields. Topics covered at the symposium included algorithmic analysis, programming methodologies, semantic analysis, deductive databases, and programming language design.

The Third International Workshop on Human and Machine Cognition was held in Seaside, Florida, on 13-15 May 1993. Each paper session included presentations on cognitive research, educational research, AI theory and logic, and particular knowledge engineering projects. This mixture encouraged the participants from diverse disciplines to listen and respond to one another. These international workshops are held to allow leading scientists, scholars, and practitioners to discuss current issues and research in particular topics in AI and cognitive science.

Kambhampati presented theoretical planning systems is difficult. Although national AI conference, was lively It was noted that comparing planners encoding expert knowledge is at the and interesting. Both the theoretical is similar in difficulty to comparing heart of HTN planning, there and practical sides of the AI planning programming languages (in fact, the remains a considerable gap to bridge community were represented, input specifications to a planner can in using expert planning knowledge and both sides seemed to understand be viewed as a programming language). Shlomo Zilberstein (University Third, it was generally acknowledged Several papers contributed further of Massachusetts) presented a that common plan representations to the theoretical analysis of number of evaluation measures. A algorithms or through empirical An integrated system that executes common representation would allow studies (Christer Backstrom, or uses the generated plans formal comparisons among widely Linkoping University, Sweden; Subbarao should be evaluated instead of simply different planning technologies.

One should not throw out the baby with the bathwater, according to an old aphorism. Some popular recent positions in AI thinking have done just this, we suggest, by rejecting the useful idea of mental representations in their overenthusiastic zeal to correct some simplifications and naiveties in the way traditional AI ideas have sometimes been understood. These "situated" perspectives correctly emphasize that agents live in a social world, using their environments to help guide their actions without needing to always plan their futures in detail; but they incorrectly conclude that the very idea of mental representation is mistaken. This perspective has its intellectual roots in parts of recent sociological thinking which reject the entire fabric of western science. We discuss these ideas and disputes in the form of an illustrated fable concerning nannies and babies.

Fall 1994, 63-75 Abbott, Kathy, see Orlando, Nancy AI and NP-Hard Problems: 1993 Spring Alterman, Richard, see Hendler, James Abhyankar, R. B. Review of Computing Symposium Report.

Cambridge, If you would like us to consider your Mass.: The MIT Press, 1994.

MT Telecom, a Dutch telecommunications utility, has installed expert BNR Europe (Harlow, England), the instrument aboard the satellite. Pending system-based help desk systems to R&D subsidiary of telecommunications NASA approval, EUVE will be the centralize its 23 networked local data equipment supplier Northern first orbiting astrophysics mission to Telecom, is using virtual reality technology replace humans with AI technology. This installation proved to be a critical planning. The VR system allows Re:Member Data Services (Memphis, factor in helping the company BNR's engineers to visualize complex Tenn.), a data processor for obtain the IS0 9000 Total Quality installations and how they will work, credit union software services, has System Standard certification, a greatly saving time and effort compared automated all company service and requirement for those organizations to the traditional CAD system. Continental Bank (Chicago, Ill.) has expert system tracks all requests developed a client/server-based intelligent called in by users, and all requests Lockheed Missiles ST Space (Palo application to improve the can be accessed by anyone at the Alto, Calif.) has developed ASAP quality of its customer service.

This program weaves together three threads: (1) AI, areas of AI.

Recent developments have clarified the process of generating partially ordered, partially specified sequences of actions whose execution will achieve an agent's goal. This article summarizes a progression of least commitment planners, starting with one that handles the simple STRIPS representation and ending with UCPOP, a planner that manages actions with disjunctive precondition, conditional effects, and universal quantification over dynamic universes. Along the way, I explain how Chapman's formulation of the modal truth criterion is misleading and why his NP-completeness result for reasoning about plans with conditional effects does not apply to UCPOP.

The vast amounts of on-line text now available have ledto renewed interest in information extraction (IE) systems thatanalyze unrestricted text, producing a structured representation ofselected information from the text. This paper presents a novel approachthat uses machine learning to acquire knowledge for some of the higher level IE processing. Wrap-Up is a trainable IE discourse component that makes intersentential inferences and identifies logicalrelations among information extracted from the text. Previous corpus-based approaches were limited to lower level processing such as part-of-speech tagging, lexical disambiguation, and dictionary construction. Wrap-Up is fully trainable, and not onlyautomatically decides what classifiers are needed, but even derives the featureset for each classifier automatically. Performance equals that of a partially trainable discourse module requiring manual customization for each domain.