Fiscal Year 1986 Research Projects Funded by the Information Science Program (now Knowledge and Data_base_ Systems Program) IST-8504726 $42,196 - 12 mos. James F. Allen University of Rochester Plan-_base_d Approaches to Extended Dialogues - - - This research project investigates several basic problems that arise in constructing a computer system that can carry on a natural language dialogue with a user.  The work is _base_d on previously developed models of discourse _base_d upon speech acts and plan recognition.  Extensions to the dialogue model include facilities to handle both topic changes and clarification and correction of misconceptions.  Extensions to the knowledge representation system include improvements to the theory of actions and plans and improved methods for reasoning about the beliefs of different agents.  More theoretical work includes development of a theory of plan reasoning that integrates both plan construction and plan recognition. _____ BNS-8518675 $40,000 - 12 mos. James A. Anderson Brown University Cognitive Applications of Matrix Memory Models - - - There has been a good deal of recent interest in what have been called neural models or connectionist models as ways of explaining the organization and computational abilities of the nervous system. This research will continue study of the properties of a simple connectionist model that has been developed over the past decade, most recently under BNS- 14728. The particular version of a connectionist model that is used is called the BSB model, and technically, is a non- linear dynamical system with strengths of interconnections specified by a conjunctional learning rule (a Hebbian rule). It is sufficiently simple so it can be analyzed mathematically in considerable detail and is easy to simulate on a digital computer. The model will be used to understand how humans form concepts. The BSB model has powerful concept forming abilities, and demonstrates these properties both theoretically and in computer simulation.  The BSB model is also studied in its role as a functioning memory, for example, to see if it can be used to store a large data_base_ of related information. _____ IST-8511531 $19,097  - 12 mos. Robert Berwick Massachusetts Institute of Technology Learnability and Parsability - - - In this collaborative project, Learnability and Parsability, the two principal investigators, Drs. Berwick and Wexler, are studying the relationship between language learning and language understanding. The issue is motivated by the existence of already known properties shared by grammars which are learnable and grammars which  are parsable. (Grammars which allow a language to be analyzed into a unique underlying representation are said to be parsable.) A common _frame_work is being developed for  representing grammars. The common _frame_work allows a comparison of learnability and parsability through the use of formal proofs. Additionally, child and adult parsers are being compared formally. The research furthers understanding of formal theories of parsability and learnability and the relation between the two. These are fundamental issues for fields concerned with syntactic issues in language. The work ultimately is aimed at the development of automated language understanding systems which can both learn and understand natural language. _____ DCR-8603231 $27,000 - 12 mos. Alan W. Biermann Duke University Dialog Processing for Voice Interactive Problem Solving - - - For several years now, Professor Alan W. Biermann at Duke University and Professor Robert D. Rodman at North Carolina State have collaborated on research efforts directed at voice interactive computing systems.  They are studying the dynamics of human-machine voice interactive problem solving with the goal of constructing a fast and efficient voice interactive computer system.  The voice interactive dialogue machine will allow the user to display data on a computer terminal and manipulate it using voice commands and touch sensitive imputs to the screen.  Each command will result in immediate action visible on the screen allowing the user to confirm that a proper response has occured. A natural language computer (NLC) was used and considerable experience has been gained with subjects using the voice equipment.  Among the accomplishments has been the integrationof a voice and touch facility into the NLC system and the modification of the system for the idiosyncracies of voice and touch input. The initial implementation of the voice interactive dialogue machine will address the equipment repair problem where the human provides the eyes and mechanical skills to work on a failing device and the machine has the appropriate functional diagrams and debugging algorithms.  The major issues to be addressed concern finding characterizations for typical human-machine task oriented dialogues, developing formalisms for understanding them and for implementing them in a computer, and measuring the performance of human-machine cooperative efforts when utilizing such a grammar-driven voice conversational machine. _____ IST-8612177 $9,747 - 12 mos. Jeffrey Bonar University of Pittsburgh Partial Support for Third International Conference on Artificial Intelligence and Education, Pittsburgh, PA, May 1987 - - - This project is a workshop for researchers from areas supported by Information Science. The workshop explores issues in artificial intelligence, cognitive psychology, and education.  At the meeting, artifical intelligence methodology is applied to issues of student performance, learning, diagnosis of student errors and instruction. This goal is achieved by considering strategies for teaching, research on learning, methods for inferring cognitive states from behavior, architectures for tutoring systems and interface design. The broad goal of the workshop is to facilitate interaction between intelligent tutoring systems researchers and educational researchers on currently unaddressed issues. The results of the workshop will be produced as conference proceedings. The workshop will benefit the study of Information Science by bringing together top researchers and allowing them to look at newly emerging issues and currently unanswered questions. ____ IST-8604923 $64,660 - 12 mos. Alan H. Borning University of Washington Automatic Generation of Interactive Displays - - - This project seeks a way to construct user-system interfaces with less effort than is currently required and at the same time to achieve a higher degree of uniformity among interfaces than is currently found. The approach taken is to relate a source _object_ (such as some information in an application program) and view _object_ (such as a graphical image on the computer's screen) by means of a filter .  By this term is meant a program which can satisfy some constraint on the two _object_s is relates.  Filters are to be bidirectional: if the source changes, the view must be updated; if the view is edited, the system must find a corresponding change to the source to keep the constraint satisfied.  An important property of filters is that they can be composed in a variety of ways, so that new filters can be defined using other filters as parts.  One _object_ive of the research is a formal theory which will allow transformations between equivalent systems of filters.  The results are to be tested by implementing a prototype system for generating user interfaces.  The research is carried out in collaboration with David Maier, of the Oregon Graduate Center, and Ralph London, of Tektronix, Inc. _____ IST-8643739 $121,074 - 12 mos. Bruce C. Buchanan Stanford University Information Structure and Use in Knowledge-_base_d Expert Systems - - - Expert systems and other knowledge-_base_d computer models provide an important application of computer models as intelligent information systems.  Among the problems confronting the design of such systems is the flow of knowledge between the expert and the builders of the models. In addition, a transfer of information problem exists between the users and the systems themselves.  This research will test and analyze models developed by the research team for the improved transfer of information in the above situations. Specifically, the research proposes to explore; (1) a model for constructing knowledge-_base_d programs by transferring expertise from a person to a program interactively and iteratively, and (2) a model for using such programs in a critiquing mode, as opposed to a consulting mode. At present one of the great bottlenecks in the construction of expert systems is the process of transferring information between the experts and the system.  A great improvement in the expert system building process will be gained if the PIs are successful in the construction of a model to expediate and automate this procedure. _____ IST-8607303 $10,000 - 12 mos. Kathleen M. Carley Carnegie-Mellon University