Anyone interested in acting as editor for a special issue of the Newsletter devoted to a particular topic in A! is invited to contact the Editor. Letters to the Editor will be considered as submitted for publication unless they contain a request to the contrary. Technical papers appearing in this issue are unrefereed working papers, and opinions expressed in contributions are to be construed as those of the individual author rather than the official position of SIGART,the ACM, or any organization with which the writer may be affiliated. You are invited to join and participate actively. SIGART membership is open to ACM members upon payment of dues of $3.00 per year and to non-ACM members upon payment of dues of $5.00 per year. To indicate a change of address or to become a member of SIGART, complete the form on the last page of this issue.

In L. Steels (Ed.), Advances in natural language processing. Antwerp, Belgium: University of Antwerp.

Amsterdam: North-Holland

In L. Steels (Ed.), Advances in natural language processing. Antwerp, Belgium: University of Antwerp.

We describe work on a project aimed at producing an interactive program for the construction of project networks (e.g. for house building tasks). To do this we have developed a planner which can form plans epresented as a partiQlly ordered netwo k of actions. A formalism (TF) is given for describing a domain in a hierarchic fashion. The representation of plans and the planner (NONLIN) are fully explained. During this work, a general technique was developed for answering queries about Q situation when the informQtion about the world is stored as a partiQlly ordered network of alterations made to some initial situation. We give a general procedure for recognizing and correcting for interactions between actions in the network. This is based on an analysis of the goal structure of the problem. The work is compared to that of Sacerdoti (l975a) who pioneered the techniques of planning using plans represented as partially ordered networks of actions.

Abstract: A data base system that supports natural language queries is not really natural if it requires the user to know how the data are represented. This paper defines a formalism, called conceptual graphs, that can describe data according to the user’s view and access data according to the system’s view. In addition, the graphs can represent functional dependencies in the data base and support inferences and computations that are not explicit in the initial query.IBM Journal of Research and Development 20:4, pp. 336-357.

Boitet, C. 1977 Where Does GETA Stand at the Beginning of Brinkmann, K.-H.

In L. Steels (Ed.), Advances in natural language processing. Antwerp, Belgium: University of Antwerp.

This text is a description of a computer-based system designed to assist physicians with clinical decision-making. This system, termed MYCIN, utilizes computer techniques derived principally from the subfield of computer science known as artificial intelligence (AI). MYCIN's task is to assist with the decisions involved in the selection of appropriate therapy for patients with infections.

MYCIN contains considerable medical expertise and is also a novel application of computing technology. Thus, this text is addressed both to members of the medical community, who may have limited computer science backgrounds, and to computer scientists with limited knowledge of medical computing and clinical medicine. Some sections of the text may be of greater interest to one community than to the other. A guide to the text follows so that you may select those portions most pertinent to your particular interests and background.

The complete book in a single file.

The first section discusses the importance of having systems that understand the concept of knowledge, and how knowledge is related to action. Section 2 points out some of the special problems that are involved in reasoning about knowledge, and section S presents a logic of knowledge based on the idea of possible worlds. Section 4 integrates this with a logic of actions and gives an example of reasoning in the combined system. Section 5 makes some concluding comments.