The relationships between learning, development and evolution in Nature is taken seriously, to suggest a model of the developmental process whereby the genotypes manipulated by the Genetic Algorithm (GA)might be expressed to form phenotypic neural networks (NNet) that then go on to learn. ONTOL is a grammar for generating polynomialNNets for time-series prediction. Genomes correspond toan ordered sequence of ONTOL productions and define a grammar that is expressed to generate a NNet. The NNet's weights are then modified by learning, and the individual's prediction error is used to determine GA fitness. A new gene doubling operator appears critical to the formation of new genetic alternatives in the preliminary but encouraging results presented.

This project has entered into a joint agreement agreements with Nestor Inc. (Providence, will involve simulating fires in buildings with software giant Microsoft Corp. R.I.) to institute pilot projects and assessing how a VR system as the first step toward installing (Redmond, Wash.) that will enable Planet is an expert system that individual cardholders and banks provides strategic and detailed planning against losses due to fraud, making for financial audits. It produces Bank Bandeirantes (Sao Paulo, Brazil) use of neural networks to learn a cardholder's risk assessments for a variety of financial has teamed up with another Brazilian pattern of credit card use. Venus is a flowcharting tool analysis expert system that operates in Cal.) will team up with VRl Entertainment for auditors who specialize in auditing real-time. The intelligent system has Inc. (Boulder, Colo.) to computer systems running deliver virtual reality to the home via helped the bank experience dramatic SIRIUS (SWIFT's Intelligent examines in detail a P 1 the key AI technologies: telecommunications operators Contact Lionheart Publishing system supervises the 150 switches Inc,2555 Cumberland Parkway, an event manager and hypertext Suite 299, Atlanta, GA 30339, (404) 434-manuals, and fields hundreds of telephone and 350 connections that make up 2187, FAX: (404) 432-6969. Wash.) have teamed up to develop Intelligent Alarming, which integrates Metropolitan Federal Bank (Edina, Mitek Systems (San Diego, Cal.) has industrial automation software Minn.) has deployed an automated completed a test phase for an automatic with an expert system.

A robot-building lab and contest was held at the Eleventh National Conference on Artificial Intelligence. Teams of three worked day and night for 72 hours to build tabletop autonomous robots of legos, a small microcontroller board, and sensors. The robots then competed head to head in two events. I was one of the developers of JACK, the second-place finisher in the Coffeepot event. This article contains my personal recollections of the lab and contest.

Place he 1993 robot competition consisted of the Office, (2) Office Delivery, and (3) Lockheed Palo Alto Research Labs, Second Office Rearrangement. The unifying theme Place for these events was autonomous robotics in realistic office environments. The legs, and then to quickly complete a slalom office contained actual furniture, including course and recognize the finish wall. In the second event, Office Delivery, the This realistic environment was a hurdle for objective was to self-locate using an office conventional robotic sensory systems. Thinlegged map, search an area for a given object (a coffeepot), tables and chairs are nearly invisible to and then navigate to a specified sonars, as are black cabinets and bookcases to delivery area.

Terminological knowledge representation systems (TKRSs) are tools for designing and using knowledge bases that make use of terminological languages (or concept languages). We analyze from a theoretical point of view a TKRS whose capabilities go beyond the ones of presently available TKRSs. The new features studied, often required in practical applications, can be summarized in three main points. First, we consider a highly expressive terminological language, called ALCNR, including general complements of concepts, number restrictions and role conjunction. Second, we allow to express inclusion statements between general concepts, and terminological cycles as a particular case. Third, we prove the decidability of a number of desirable TKRS-deduction services (like satisfiability, subsumption and instance checking) through a sound, complete and terminating calculus for reasoning in ALCNR-knowledge bases. Our calculus extends the general technique of constraint systems. As a byproduct of the proof, we get also the result that inclusion statements in ALCNR can be simulated by terminological cycles, if descriptive semantics is adopted.

As real logic programmers normally use cut (!), an effective learning procedure for logic programs should be able to deal with it. Because the cut predicate has only a procedural meaning, clauses containing cut cannot be learned using an extensional evaluation method, as is done in most learning systems. On the other hand, searching a space of possible programs (instead of a space of independent clauses) is unfeasible. An alternative solution is to generate first a candidate base program which covers the positive examples, and then make it consistent by inserting cut where appropriate. The problem of learning programs with cut has not been investigated before and this seems to be a natural and reasonable approach. We generalize this scheme and investigate the difficulties that arise. Some of the major shortcomings are actually caused, in general, by the need for intensional evaluation. As a conclusion, the analysis of this paper suggests, on precise and technical grounds, that learning cut is difficult, and current induction techniques should probably be restricted to purely declarative logic languages.

PITCH EXPERT was developed to make expertise available to mill-site engineers to solve pitch problems in kraft pulp mills. These problems have been estimated to cause losses to the Canadian pulp and paper industry in excess of $80 million each year. The design of the system took into account not only the complexity of the process interactions and the need for accuracy and completeness of recommendations but also the ongoing need for training mill personnel and the requirement that the system be maintainable and expandable without the constant involvement of the developers. PITCH EXPERT is now accessible by modem, and the savings achieved through use of the system covered the development costs within six months of release.

Remember, these are only the winners. It is reducing customers' software (KBS) vendor were touted as a natural fit for AI I think It is interesting to note that other $200,000 in personnel costs; other not. I believe it is more a sign of the AI techniques, beyond traditional benefits include increased product (downsizing) times and the need for representation and reasoning, are sales from higher customer satisfaction increased visibility for the conference. In I saw many good signs at the conference systems. In particular are multiple addition, AT&T reports increases in that applied AI is alive and uses of fuzzy logic, case-based reasoning, the quality of work produced and job healthy.

This article describes Compaq QUICKSOURCE, an electronic problem-solving and information system for Compaq's line of networked printers. A major goal in designing this system was to empower Compaq's customers with expert system technology, allowing them to solve advanced network printer problems entirely on their own. This process minimizes customer down time; reduces the number of telephone calls to the Compaq Customer-Support Center (resulting in monetary savings); improves customer satisfaction; and, perhaps most importantly, differentiates Compaq printers in the market-place by providing the best and most technologically advanced customer-support facility. This approach also represents a reengineering of Compaq's customer-support strategy and implementation. In its first-generation system, SMART, the objective was to provide expert knowledge to Compaq's help-desk operation to better and more quickly answer customer calls and problems. QUICKSOURCE is a second-generation system in that the customer-support function is put directly in the hands of the consumers (an example of knowledge publishing). As a result, its design presented a number of different and challenging issues. Because the product would be used by a diverse and heterogeneous set of users, a significant amount of human factors research and analysis was performed as part of system design and implementation. The analysis also dictated certain decisions about the organization and design of the expert system component. Since September 1992, Compaq has shipped more than 3000 copies of QUICKSOURCE.

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.