In IJCAI-83, pp. 330–332.

Swartout accrue from such an endeavor?

A major strength of frame-based knowledge representation languages is their ability to provide the knowledge base designer with a concise and intuitively appealing means expression. To be effective as a knowledge base development tool, a language needs to be supported by an implementation that facilitates creating, browsing, debugging, and editing the descriptions in the knowledge base. We have focused on providing such support in a SmallTalk (Ingalls, 1978) implementation of the KL-ONE knowledge representation language (Brachman, 1978), called KloneTalk, that has been in use by several projects for over a year at Xerox PARC. In this note, we describe those features of KloneTalk's displaybased interface that have made it an effective knowledge base development tool, including the use of constraints to automatically determine descriptions of newly created data base items.

A major strength of frame-based knowledge representation languages is their ability to provide the knowledge base designer with a concise and intuitively appealing means expression. The claim of intuitive appeal is based on the observation that the object -centered style of description provided by these languages often closely matches a designer's understanding of the domain being modeled and therefore lessens the burden of reformulation involved in developing a formal description. To be effective as a knowledge base development tool, a language needs to be supported by an implementation that facilitates creating, browsing, debugging, and editing the descriptions in the knowledge base. We have focused on providing such support in a SmallTalk (Ingalls, 1978) implementation of the KL-ONE knowledge representation language (Brachman, 1978), called KloneTalk, that has been in use by several projects for over a year at Xerox PARC. In this note, we describe those features of KloneTalk's displaybased interface that have made it an effective knowledge base development tool, including the use of constraints to automatically determine descriptions of newly created data base items.

Three experiments have been conducted, and some novel designs and design rules have emerged. The paradigm for Eurisko's exploration is a loop in which it generates a new device configuration, computes its I/O behavior, tries to "parse" this into a functionally it already knows about and can use, and then evaluates the results. In the first experiment, this loop took place at the level of charged carriers moving under the effects of electric fields through abutted regions of doped and undoped semiconductors. This was unsurprising, as they were short sentences in the descriptive language we had defined (a language with verbs like Abut and ApplyEField, and with nouns like nDoped Region and IntrinsicChannellRegion).

Eurisko is an AI program that learns by discovery. We are applying Eurisko to the task of inventing new kinds of three- dimensional microelectronic devices that can then be fabricated using recently developed laser recrystallization techniques. Three experiments have been conducted, and some novel designs and design rules have emerged. The paradigm for Eurisko's exploration is a loop in which it generates a new device configuration, computes its I/O behavior, tries to "parse" this into a functionally it already knows about and can use, and then evaluates the results. In the first experiment, this loop took place at the level of charged carriers moving under the effects of electric fields through abutted regions of doped and undoped semiconductors. Many of the well-known primitive devices were synthesized quickly, such as the MOSFET, Junction Diode, and Bipolar Transistor. This was unsurprising, as they were short sentences in the descriptive language we had defined (a language with verbs like Abut and ApplyEField, and with nouns like nDoped Region and IntrinsicChannellRegion).

BBN's project in knowledge representation for natural language understanding is developing techniques for computer assistance to decision maker who is collecting information about and making choices in a complex situation. In particular, we are designing a system for natural language control of an intelligent graphics display. This system is intended for use in situation assessment and information management.

Research by members of the Department of Computer Science at Rutgers, and by their collaborators, is organized within the Laboratory for Computer Science research(LCSR). AI and AI-related applications are the major area of research within LCSR, with about forty people-faculty, staff and graduate students-currently involved in various aspects of AI research.

In this article we discuss a method for learning useful conditions on the application of operators during heuristic search. Since learning is not attempted until a complete solution path has been found for a problem, credit for correct moves and blame for incorrect moves is easily assigned. We review four learning systems that have incorporated similar techniques to learn in the domains of algebra, symbolic integration, and puzzle-solving. We conclude that the basic approach of learning from solution paths can be applied to any situation in which problems can be solved by sequential search. Finally, we examine some potential difficulties that may arise in more complex domains, and suggest some possible extensions for dealing with them.

In AAAI-82, pp. 155–158.