Jim when we want to define the class of should be justified by something Schmolze argued that if you think of people who work in specific institutions), other than the code implementing a sort of lingua franca for knowledge (2) when a concept definition the system. However, interpreting the representation, you can't be committed depends on the assertional properties two terms efficient and principled as to the difference between terminological of its instances (as with gray elephants, worst-case tractability and soundness and assertional knowledge for example), and (3) when and completeness with respect to the or even between roles and concepts.

Many barriers exist today that prevent effective industrial exploitation of current and future AI research. These barriers can only be removed by people who are working at the scientific forefront in AI and know potential industrial needs. The Knowledge Processing Laboratory's research and development concentrates in the following areas: (1) natural language interfaces to knowledge-based systems and databases; (2) theoretical and experimental work on qualitative modeling and nonmonotonic reasoning for future knowledge-based systems; (3) application-specific language design, in particular, Prolog extensions; and (4) desi gn and analysis of neural networks. This article gives the reader an overview of the main topics currently being pursued in each of these areas.

The sequence of mating operations that can be carried out to assemble a group of parts is constrained by the geometric and mechanical properties of the parts, their assembled configuration, and the stability of the resulting subassemblies. An approach to representation and reasoning about these sequences is described here and leads to several alternative explicit and implicit plan representations. The Pleiades system will provide an interactive software environment for designers to evaluate alternative systems and product designs through their impact on the feasibility and complexity of the resulting assembly sequences.

See also: Artificial Intelligence, 42 (3), 189-212.

Thishas resulted in t.he building of systems with semantically nameable nodes which perform inferencing by examining t.he pat,t.erns of activation spread.

One att·empt at explaining human inferencing is that of spreading activat,ion, particularly in the st.ructured connectionist paradigm. This has resulted in t.he building of systems with semantically nameable nodes which perform inferencing by examining t.he pat,t.erns of activation spread.

Commonsense reasoning about the physical world, as exemplified by "Iron sinks in water" or "If a ball is dropped it gains speed," will be indispensable in future programs. We argue that to make such predictions (namely, envisioning), programs should use abstract entities (such as the gravitational field), principles (such as the principle of superposition), and laws (such as the conservation of energy) of physics for representation and reasoning. These arguments are in accord with a recent study in physics instruction where expert problem solving is related to the construction of physical representations that contain fictitious, imagined entities such as forces and momenta (Larkin 1983). We give several examples showing the power of physical representations.

Commonsense reasoning about the physical world, as exemplified by "Iron sinks in water" or "If a ball is dropped it gains speed," will be indispensable in future programs. We argue that to make such predictions (namely, envisioning), programs should use abstract entities (such as the gravitational field), principles (such as the principle of superposition), and laws (such as the conservation of energy) of physics for representation and reasoning. These arguments are in accord with a recent study in physics instruction where expert problem solving is related to the construction of physical representations that contain fictitious, imagined entities such as forces and momenta (Larkin 1983). We give several examples showing the power of physical representations.

The A.T. Nonmonotonic Workshop multisubmission paper policy by Anderson Memorial Scholarship Program The third international workshop on IJCAI was deferred until the of the American Indian Science August meeting.

Problem-solving techniques such as modeling, simulation, optimization, and network analysis have been used extensively to help agricultural scientists and practitioners understand and control biological systems. Many of the models and simulations that have been developed lack a user interface which enables people other than the developer to use them. As a result, several scientists are integrating knowledge-based- system (KBS) technology with conventional problem-solving techniques to increase the robustness and usability of their systems. Part of the AAAI Applied Workshop Series, the meeting was intended to bring together researchers and practitioners active in applying AI concepts to agricultural problems.