A workshop on defeasible reasoning with specificity was held under the arch in St. Louis during April 1989, with support from AAAI and McDonnell Douglas, and the assistance of Rockwell Science Center Palo Alto and the Department of Computer Science of Washington University.

A workshop on defeasible reasoning with specificity was held under the arch in St. Louis during April 1989, with support from AAAI and McDonnell Douglas, and the assistance of Rockwell Science Center Palo Alto and the Department of Computer Science of Washington University.

A new computer language for manufacturing is being used to link complex systems of equipment whose components are supplied by multiple vendors. The Cell Management Language (CML) combines computational tools from rule-based data systems, object-oriented languages, and new tools that facilitate language processing. These language tools, combined with rule processing, make it convenient to build new interpreters for interfacing and understanding a range of computer and natural languages; hence, CML is being used primarily to define other languages in an interpretive environment, that is, as a meta-interpreter. For example, in CML it is quite easy to build an interpreter for machine tool languages that can understand and generate new part programs.

AI Magazine 6(4):40-62

Many of the ideas behind object-oriented programming have roots going back to SIMULA. The first substantial interactive, display-based implementation was the SMALLTALK language. The object-oriented style has often been advocated for simulation programs, systems programming, graphics, and AI programming. It is also related to a line of work in AI on the theory of frames and their implementation in knowledge representation languages such as KRL, KEE, FRL, and UNITS.

Many of the ideas behind object-oriented programming have roots going back to SIMULA. The first substantial interactive, display-based implementation was the SMALLTALK language. The object-oriented style has often been advocated for simulation programs, systems programming, graphics, and AI programming. The history of ideas has some additional threads including work on message passing as in ACTORS, and multiple inheritance as in FLAVORS. It is also related to a line of work in AI on the theory of frames and their implementation in knowledge representation languages such as KRL, KEE, FRL, and UNITS.

In Hobbs, J. R. and Moore, R. C. (Eds.), Formal Theories of the Commonsense World, chap. 2, pp. 37–70. Ablex

Communications of the ACM, October 1985.

"One of the biggest problems in AT programming is the difficulty of specifying control. Meta-level architecture is a knowledge engineering approach to coping with this difficulty. The key feature of the architecture is a declarative control language that allows one to write partial specifications of program behavior. This flexibility facilitates incremental system dcvclopment and the integration of disparate architectures like demons, object-oriented programming, and controlled deduction. This paper presents the language, describes an appropriate, and cliscusses the issues of compiling. It illustrales the architecture with a variety of examples and reports some experience in using the architecture in building expert systems."Earlier: M. Genesereth and D.E. Smith. Meta-level Architecture. Memo HPP-81-6, Computer Science Department, Stanford University, 1981.In Proceedings of the AAAI, Washington, DC., August, 1983

In Bowden, B. V. (Ed.), Faster than Thought, pp. 286–310. Pitman