This detailed description of a microcomputer version of PROUST (Program Understander for Students), a knowledge-based system that finds nonsyntactic bugs in Pascal programs written by novice programmers, presents the inner workings of Micro-PROUST, which was written in Golden LISP for the IBM-PC (512K). The contents include: (1) a reprint of an…

The nature of thinking is the subject of this second part in a series which is examining various topics and issues related to the controversy of whether or not computers can think. Suggests that intelligence is the ability to develop general ideas and not the ability to apply those ideas. (JN)

A research plan for identifying and acting upon constraints that impede the development of knowledge-based intelligent systems is described. The two primary problems identified are knowledge programming, the task of which is to create an intelligent system that does what an expert says it should, and learning, the problem requiring the criticizing…

Artificial intelligence programing for computers is advancing rapidly. The translation of databases into an institutional research knowledge base is explored, including the heuristic knowledge of institutional research experience. (Author/MLW)

This three-paper report describes Nigel, a large, programmed grammar of English which has been created in the framework of systemic linguistics begun by Halliday, and which, in addition to specifying functions and structures of English, has a novel semantic stratum which specifies the situations for use of each grammatical feature. The…

To demonstrate to computer programmers that the programming language Ada provides superior facilities for use in artificial intelligence applications, the three papers included in this report investigate the capabilities that exist within Ada for "pattern-directed" programming. The first paper (Larry H. Reeker, Tulane University) is…

A unified theory of planning and debugging is explored by designing a problem solving program called PATN. PATN uses an augmented transition network (ATN) to represent a broad range of planning techniques, including identification, decomposition, and reformulation. (The ATN is a simple yet powerful formalism which has been effectively utilized in…

Reviews factors that have delayed use of expert system authoring tools in education and describes applications of two such tools--Expert-Ease and M.1.--to special education. Learning to use the tools, creating programs, and consulting the systems are the topics covered. Sources for further information on expert systems are provided. (MBR)

Computers, chip technologies, networking, and artificial intelligence all need vast improvement just to take their place as tools for building new computers. Research efforts, progress, and needs in each of these areas are addressed. (JN)

Describes the development of syllable recognition software and its implications for teaching word attack skills. (AEA)

This report is a guide for the maintainer or developer of the computerized comprehensibility system (CCS), a system that uses techniques and results from artificial intelligence and cognitive psychology to critique the comprehensibility of a technical document. The purpose of this report is to allow the qualified programmer to rapidly understand…

The SPADE theory, which uses linguistic formalisms to model the planning and debugging processes of computer programming, was simultaneously developed and tested in three separate contexts--computer uses in education, automatic programming (a traditional artificial intelligence arena), and protocol analysis (the domain of information processing…

Reviews Logo programming language's developmental history, including Papert's vision, creation of LISP, and evolution of Logo from LISP; discusses reasons for Logo not becoming a commonplace programming language; describes Logo program design and its utility for serious programmers; and lists sources of further information on Logo. (MBR)

To break the bottleneck inherent in today's linear computer architectures, parallel schemes (which allow computers to perform multiple tasks at one time) are being devised. Several of these schemes are described. Dataflow devices, parallel number-crunchers, programing languages, and a device based on a neurological model are among the areas…

Reviews different structures and techniques of knowledge representation: structure of database records and files, data structures in computer programming, syntatic and semantic structure of natural language, knowledge representation in artificial intelligence, and models of human memory. A prototype expert system that makes use of some of these…