Europe
Project planning using a hierarchic non-linear planner
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.
Conceptual Graphs for a Data Base Interface
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.
Computer-Based Medical Consultations: MYCIN
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.
Reasoning from incomplete knowledge in a procedural deductive system
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.
A preferential, pattern-seeking semantics for natural language inference
Syntax, Preference and Right Attachment Yorick Wilks, Xiuming Huang & Dan Fass Computing Research Laboratory New Mexico State University Las Cruces, NM, USA 88003 ABSTRACT The paper claims that the right attachment rules for phrases originally suggested by Frazier and Fodor are wrong, and that none of the subsequent patchings of the rules by syntactic methods have improved the situation. For each rule there are perfectly straightforward and indefinitely large classes of simple counterexamples. We then examine suggestions by Ford et a!., Schubert and Hirst which are quasi-semantic in nature and which we consider ingenious but unsatisfactory. We offer a straightforward solution within the framework of preference semantics, and argue that the principal issue is not the type and nature of information required to get appropriate phrase attachments, but the issue of where to store the information and with what processes to apply it. We present a prolog implementation of a best first algorithm covering the data and contrast it with closely related ones, all of which are based on the preferences of nouns and prepositions, as well as verbs.