Some of the more popular alternativo used to build knowledge systems are production systems, backward-chained reasoning, logic programming, heuristic search, and the Blackboard framework. Many of the applications implemented in production systems have been written in the OPS language [8]. In this framework, knowledge is represented as a set of homogeneous rules that are scanned for applicability in a data base that contains the current state of solution. Backward chaining also has a homogeneous set of rules, but the search for applicable rules is driven by a hierarchy of goals and sub-goals. The best known system for implementing this type of program is EMYCIN [4].

An increasing number of Artificial Intelligence (Al) programs are implemented on high-performance workstations with a bitmap display, a mouse input device, and a keyboard. The programming environment (usually a dialect of LISP) generally provides support for multiple, overlapping windows, and various kinds of menus including pop up menus. The user can move, reshape, close, and scroll the windows. Additionally, a programmer can designate arbitrary regions of a window to be selectable with the mouse. This means that a user can invoke an action by pressing and releasing a mouse button while the mouse cursor is in the designated region.

In recent years there has been a great deal of interest in the commercial applications of knowledge-based (KB) systems (commonly called expert systems). Interest in KB systems was spurred on by the development of programs that can solve complex tasks at an expert level.

MRS stands for Meta-level Representation System. If your response to this is a knowing nod of understanding you can probably skip the first few chapters. In a sense, MRS is a computer language, in that one enters text in a designated syntax and it gets processed and produces answers (or not). But because MRS is also able to reason with the information you give it, the'program' you enter can be seen more as representing facts than specifying a process. The importance and utility of this difference will become clear.

We have de,Jeloped an automated system for the design of laboratory experiments in molecular biology. The system uses a planning method known as skeletal plan refinement that attempts to emulate the human cognitive task of experiment design. This paper describes the theory, history, and implementation of the design system and illustrates its function in the domain of DNA cloning experiments.

A new method for automated planning, progressive refinement of skeletal plans, has been developed for the problem of experiment design in the domain of molecular biology. The method resulted from a study of the problem-solving behavior of scientists which showed that design usually consisted of lookup of abstracted plans followe6 by hierarchical plan-step refinement. The skeletal plan method has been implemented through two generations of problem-solving systems: the second generation involving a synthesis with the metaplanning approach of Stefik.

This article presents an experiment in knowledge-intensive programming within a general problemsolv:ng production-system architecture called Soar In Soar, knowledge is encoded within a set of problem spaces.

We have developed an automated system for the design of laboratory experiments in molecular biology. The system uses a planning method known as skeletal plan refinement that attempts to emulate the human cognitive task of experiment design. This paper describes the theory, history, and implementation of the design system and illustrates its function in the domain of DNA cloning experiments.

Stanford -- KSL that Think. Consideration of the of the new 16-bit integrated circuits that phenomenal progress of the past 30 years leaves one with a feeling of have allowed computers oi small size and considerable power to be developed. The only certainty in sight is that scientists. BRUCE G. BUCHANAN is Professor of In addition to game playing early Al work focused on techniques for solving Computer Science Research at Stanford small symbolic reasoning problems. Researchers continue to ponder these problems (Overleat) Illustration by f red Nelson as well.

This means that we by watching the expert diagnose a patient. Our approach relies heavily on a close correspondence are trying to create a framework whereby an between the system and a human expert problem solver's knowledge organization with respect to knowledge organization, inference and knowledge acquisition methods are modeled methods and discourse language. The described system is a major component of a learning as similarly as possible to human problem by watching system being created to facilitate solvers.