A pattern recognition algorithm is described that learns a transition net grammar from positive examples. Two sets of examples -- one in English and one in Chinese -- are presented. It is hoped that language learning will reduce the knowledge acquisition effort for expert systems and make the natural language interface to database systems more transportable. The algorithm presented makes a step in that direction by providing a robust parser and reducing special interaction for introduction of new words and terms.

About a year ago. I was approached by Phoebe Huang of Comtex Scientific Corporation who hoped that I would help devise a dramatically expanded index for topics in AI to aid Comtex in indexing the series of AI memos and reports that they had been gathering. Comtex had tried to get the ACM to expand and update its classification. But was told that ACM had just revised the listing two years ago or so ago, and did not intend to revise it again for a while: even if they did. The revision might require a year or more to complete. Comtex wanted the new classification within six to eight weeks. I agreed to take on the task, thinking it wouldn't be too hard. The major decision I had to make was whether to use the existing ACM index scheme and add to it, or start with a fresh sheet of paper and devise my own. I decided to stick with ACM's top two levels, only adding, not modifying, major headings.

What are the powerful new ideas in knowledge based design? What important research issues require further investigation? Perhaps the key research problem in AI-based design for the 1980's is to develop better models of the design process. A comprehensive model of design should address the following aspects of the design process:the state of the design ; the goal structure of the design process;design decisions; rationales for design decisions; control of the design process; and the role of learning in design. This article presents some of the most important ideas emerging from current AI research on design especially ideas for better models design. It is organized into sections dealing with each of the aspects of design listed above.

The period since the last conference in this series has been characterized by the explosive expansion of AI out of the confines of institutions of basic research like university departments into the worlds of industry, business, and government (a development I had long expected). But it seems to me that there are plenty -- perhaps an overabundance -- of other occasions, other conferences. Other workshops, and like, at which the applications of AI would appropriately be considered. I will confine my remarks, therefore, to issues of basic research.

Tin Nguyen performed the work contained in the article "Knowledge Base Verification" while at Lockheed and is currently working for Bell Northern Research as a member of the research staff. Deanne Pecora, a staff engineer with the Lockheed Artificial Intelligence Center, 2710 Sand Hill Road, Menlo Park, California 94025, is working on Rick Brigs, author of "Knowledge Representation and Inference in Sanskrit: A applying knowledge-based systems to Review of the First National Conference," is a senior engineer at Delfin Systems, real problems. She is a coauthor of 1349 Moffett Park Drive, Sunnyvale, California 94089. Briggs is currently working'Knowledge Base Verification." Walt Perkins, coauthor of "Knowledge Base Verification" is a consulting scientist Lindley Darden, who wrote "Viewing the History of Science as Compiled Hindsight," with the Lockheed Artificial is an associate professor in the departments of philosophy and history and Intelligence Center, 2710 Sand Hill a member of the graduate faculty in the Committee on the History and Philosophy Road, Menlo Park, California 94025 of Science at the University of Maryland, College Park. She is currently and the principal developer of the serving in the second year of a halftime research appointment at the University Lockheed expert system. of Maryland Institute for Advanced Computer Studies. Her mailing address is Department of Philosophy, University of Maryland, College Park, Maryland David Prerau is a principal member of 20742. The primary responsibility is to lead the author of "The 1985 Workshop on Distributed Artificial Intelligence, he is currently development of major expert systems working in the area of distributed artificial intelligence and is organizing with high corporate payoff and impact.

In his recent article in AI Magazine, "AI prepares for 2001," Nils Nilsson put forward a paradigm of AI based Sufficiency implies finding a guide to investigate the on a declarative representation of knowledge with semantic case of human beings. I would like improve problem-solving performances succeeds only because to present some ideas and concepts stemming from current syntax mirrors semantics in the domains where the research in Genetic Epistemology (GE), initiated by Jean programs were applied. Piaget, there is then no need for any distinction between This interrogation is precisely the core of the Piagetian rules and metarules or knowledge-base and inference engines. The "epistemic program" should undergo by itself a GE is concerned with knowledge considered as a process, series of revisions of represeutations, and thus experiment [Piaget (1964)]. The obvious point of convergence different schemes of perceptions-or inference enginesas of AI and GE is precisely this concept of knowledge as a the mathematico-logical structure underlying the dynamic process.

KL-ONE is a system for representing knowledge in Artificial Intelligence programs. It has been developed and refined over a long period and has been used in both basic research and implemented knowledge-based systems in a number of places in the AI community. Here we present the kernel ideas of KL-ONE, emphasizing its ability to form complex structured descriptions. In addition to detailing all of KL-ONE's description-forming structures, we discuss a bit of the philosophy underlying the system, highlight notions of taxonomy and classification that are central to it, and include an extended example of the use of KL-ONE and its classifier in a recognition task. This research was supported in part by the Defense Advanced Research Projects Agency under Contract N00014-77-C-0378. Views and conclusions contained in this paper are the authors' and should not be interpreted as representing the official opinion or policy of DARPA, the U.S. Government, or any person or agency connected with them.

Cambridge, Mass.: MIT Press

Given that the knowledge-based system relies on these inferences in the midst of its operation (i.e., its diagnosis, planning, or whatever), their computational tractability is an important concern. Here we present evidence as to how the cost of computing one kind of inference is directly related to the expressiveness of the representation language.

T1. Let S1 be the set of equivalence classes of S0 with respect to N, and