Y. Reich (Tel-Aviv University) proposed The paper by M. Benaroch (Syracuse University) suggested the use of knowledge-based tools for mass customization of service products; it dealt in general Grundstein (Framatome, France) reported than the other methods. At the macroeconomic and J. Zahavi (both of Tel-Aviv University) level, Deinichenko et al. presented found that genetic algorithms an expert system that utilizes performed even better than a fuzzy knowledge to analyze economic on Artificial Intelligence linear programming model on their Thus, their conclusion was Academy of Sciences) and T. Szapiro (AIEM4) was held in Tel-Aviv, that AI techniques might provide (Warsaw School of Economics) noted Israel, from 8 to 10 January 1996, better results than rigid analytic the lack of models appropriate to the with participants from 13 countries. Service to customers in the financial for discerning patterns in the economic As a matter of course, almost every area was another focus of the and demographic data of developing presentation at the workshop workshop. Lange et al. described a economies. The paper by touched on AI techniques in one way system for customizing investment Edmonds and S. Moss (Manchester or another.

The Workshop on the Validation and Verification of Knowledge-Based Systems gathers researchers from government, industry, and academia to present the most recent information about this important development aspect of knowledge-based systems (KBSs). The 1995 workshop focused on nontraditional KBSs that are developed using more than just the simple rule-based paradigm. This new focus showed how researchers are adjusting to the shift in KBS technology from stand-alone rule-based expert systems to embedded systems that use object-oriented technology, uncertainty, and nonmonotonic reasoning.

The Workshop on Connectionist-Symbolic Integration: From Unified to Hybrid Approaches was held on 19 to 20 August 1995 in Montreal, Canada, in conjunction with the Fourteenth International Joint Conference on Artificial Intelligence. The focus of the workshop was on learning and architectures that feature hybrid representations and support hybrid learning. The general consensus was that hybrid connectionist-symbolic models constitute a promising avenue to the development of more robust, more powerful, and more versatile architectures for both cognitive modeling and intelligent systems.

The first session aimed to set the component being tested. The stage for the day's discussion by focusing variation in all three of these contexts on the issues surrounding the will lead to different types of and Verification of Knowledge-use of formal specification techniques The first paper, by Formal Specifications to Design Intelligence (AAAI-94) in Seattle, Lance Miller of SAIC, was entitled Verifiable Hybrid KBS" by Rose Gamble, Washington, marked the seventh This paper provided a with its specification, and (2) the The 1994 workshop was significant basis for the comparison of validation refinement of formal specifications in that there was a definitive move in and verification techniques to for their implementation. O'Leary, from the lows the possibility of constraining techniques for validating certain University of Southern California, the experts' choices to ensure that properties of KBSs. A paper by presented a paper on the relationship any new knowledge added is valid Alun Preece, Cliff Gossner, and T. between errors and size in KBSs. This and that the knowledge base structure Radhakrishnan (all from the University paper is among the first to address ensures the knowledge is of Aberdeen, Scotland) considered this important issue.

Over 60 researchers from 10 countries took part in the Third Knowledge Discovery in Databases (KDD) Workshop, held during the Eleventh National Conference on Artificial Intelligence in Washington, D.C. A major trend evident at the workshop was the transition to applications in the core KDD area of discovery of relatively simple patterns in relational databases; the most successful applications are appearing in the areas of greatest need, where the databases are so large that manual analysis is impossible. Progress has been facilitated by the availability of commercial KDD tools for both generic discovery and domain-specific applications such as marketing. At the same time, progress has been slowed by problems such as lack of statistical rigor, overabundance of patterns, and poor integration. Besides applications, the main themes of this workshop were (1) the discovery of dependencies and models and (2) integrated and interactive KDD systems.

The Association for the Advancement of Artificial Intelligence sponsored a number of workshops in conjunction with the Eleventh National Conference on Artificial Intelligence held 11-15 July 1993 in Washington, D.C. This article contains reports of four of the workshops that were conducted: AI Models for System Engineering, Case-Based Reasoning, Reasoning about Function, and Validation and Verification of Knowledge Based Systems.

Analogical although analogy can help, as note that although still in its infancy reasoning is thus achieved in such well as hamper, learning. The role of and somewhat simplistic in character, systems by mainly keeping the analogy in learning is discussed by connectionist research might prove abstract relational microfeatures. Ann Brown and by Rand Spiro et al., to have an edge in tackling these Rumelhart proposes another way and the role of analogy in knowledge problems. The research described in for achieving analogical reasoning, acquisition is discussed by Brian Ross this book presents a grand challenge that is, "soft clamp," in which input and by John Bransford et al.; Stella and a future prospect for AI clamps can be overridden, and the Vosniadou studies the developmental researchers (traditional or connectionistic) rule of thumb is that the more concrete change in the use of analogy. Because in their endeavor to find a a feature is, the easier it can be part 3 of the book is of marginal better and more cognitively plausible overridden. The system finds the interest to AI, I do not discuss it any representation scheme.

This workshop brought together 20 computer scientists, psychologists, and human-computer interaction (HCI) researchers to exchange results and views on human error and judgment bias. Human error is typically studied when operators undertake actions, but judgment bias is an issue in thinking rather than acting. Both topics are generally ignored by the HCI community, which is interested in designs that eliminate human error and bias tendencies. As a result, almost no one at the workshop had met before, and the discussion for most participants was novel and lively. Many areas of previously unexamined overlap were identified. An agenda of research needs was also developed.

The First International Workshop on Rough Sets: State of the Art and Perspectives was held on 2-4 September 1992 in Kiekrz, Poland. To stimulate the discussion, the participation was limited to 40 researchers who are involved in fundamental research in rough set theory and its extensions, logic for approximate reasoning, machine learning, knowledge representation and transfer, and applications of rough set methodology. The workshop focused primarily on applications of the basic idea of the approximate definition of a set and its consequences in other areas of science and engineering. Applications discussed at the workshop included machine learning, medical diagnosis, fault detection, medical image processing, neural net training, database organization, drug research, and digital circuit design.

Vision based mobile robot guidance has proven difficult for classical machine vision methods because of the diversity and real time constraints inherent in the task. This thesis describes a connectionist system called ALVINN (Autonomous Land Vehicle In a Neural Network) that overcomes these difficulties. ALVINN learns to guide mobile robots using the back-propagation training algorithm. Because of its ability to learn from example, ALVINN can adapt to new situations and therefore cope with the diversity of the autonomous navigation task. But real world problems like vision based mobile robot guidance presents a different set of challenges for the connectionist paradigm.