Artificial Intelligence 19 (1), 17-37

We briefly describe the logic programming language PROLOG concentrating on those aspects of the language that make it suitable for implementing expert systems. We show how features of expert systems such as: (1) inference generated requests for data, (2) probabilistic reasoning, (3) explanation of behaviour can be easily programmed in PROLOG. We illustrate each of these features by showing how a fault finder expert could be programmed in PROLOG.In Hayes, J. E., Michie, D., and Pao, Y.-H. (Eds.), Machine Intelligence 10. Ellis Horwood.

Cambridge University Press

JACM, 29 (1), 24-32.

"This paper presents the view that artificial intelligence (AI) is primarily concerned with propositional languages for representing knowledge and with techniques for manipulating these representations. In this respect, AI is analogous to applied in a variety of other subject areas. Typically, AI research (or should be) more concerned with the general form and properties of representational languages and methods than it is with the context being described by these languages. Notable exceptions involve "commonsense" knowledge about the everyday would ( no other specialty claims this subject area as its own ), and metaknowledge (or knowledge about the properties itself). In these areas AI is concerned with content as well as form. We also observe that the technology that seems to underly peripheral sensory and motor activities (analogous to low-level animal or human vision and muscle control) seems to be quite different from the technology that seems to underly cognitive reasoning and problem solving. Some definitions of AI would include peripheral as well as cognitive processes; here we argue against including the peripheral processes." AI Magazine 3(1), spring, 1982.

MIT Press

Available for a fee. Manuscript available at Carnegie Mellon University https://kilthub.cmu.edu/articles/A_world-championship-level_Othello_program/6602903. Othello is a recent addition to the collection of games that have been examined within artificial intelligence. Advances have been rapid, yielding programs that have reached the level of world-championship play. This article describes the current champion Othello program, Iago. The work described here includes: (1) a task analysis of Othello; (2) the implemenation of a program based on this analysis and state-of-the-art AI gameplaying techniques; and (3) an evaluation of the program's performance through games played against other programs and comparisons with expert human play. Artificial Intelligence, 19, 279-320.

Advanced Information and Decision Systems (AI-DS) is a relatively new, employee-owned company that does basic and applied research, product development, and consulting in the fields of artificial intelligence, computer science, decision analysis, operations research, control theory, estimation theory, and signal processing. AI&DS performs studies, analyses, systems design and evaluation, and software development for a variety of industrial clients and government agencies, including the Department of Defense and Energy.

Carnegie-Mellon University has established a Robotics Institute to bring its expertise in engineering, science, and industrial administration to bear upon the problem of national industrial productivity. The institute has been established to undertake advanced research and development in seeing, thinking robots and intelligent systems, and to facilitate transfer of this technology to industry. The Institute is engaged in broad programs of research in robotics, artificial intelligence, manufacturing technology, micro-electronics technology, and computer science. The Institute offers the promise of dramatic advances that will not only improve the productivity of all types of employees but also lead to improvements in the "quality of life" for all.

R1 is a rule-based program that configures VAX-11 computer systems. Given a customer's purchase order, it determines what, if any, substitutions and additions have to be made to the order to make it consistent and complete and produces a number of diagrams showing the spatial and logical relationships among the 90 or so components that typically constitute a system. The program has been used on a regular basis by Digital Equipment Corporation's manufacturing organization since January of 1980. R1 has sufficient knowledge of the configuration domain and of the percliarities of the various configuration constraints that at each step in the configuration process, it simply recognizes what to do; thus it requires little search in order to configure a computer system.