MLISP (meta-LISP) is a high level list-processing and symbol-manipulation language based on the programing language LISP (List Processor). MLISP programs are translated into LISP programs and then executed or compiled. MLISP exists for two purposes: (1) to facilitate the writing and understanding of LISP programs; (2) to remedy certain important…

A comprehensive system for transformational grammar has been designed and is being implemented on the IBM 360/67 computer. The system deals with the transformational model of syntax, along the lines of Chomsky's "Aspects of the Theory of Syntax." The major innovations include a full and formal description of the syntax of a transformational…

A symposium with four major presentations centering on the topic of computer-based information retrieval. Also highlighted are several features of the Wisconsin Information System for Education (WISE-ONE) and the Educational Resources Information Center (ERIC) system. The first paper in the series discusses the development, current capabilities…

The purpose of the study was to compare the results obtained from a group of fourth-grade students taught to add and subtract rational numbers through the use of field postulates and other properties of whole numbers with fourth-grade students taught by a standard method using objects and the number line. Eight classes of 30 students each…

The European literature on algorithms for learning and instruction is reviewed in this document. The word "algorithm" is defined, the relationship between the European literature and current trends in research on learning and instruction in the United States is described, the important practical uses of algorithms are discussed, and potential…

Two papers are included as Part Four of this report on Salton's Magical Automatic Retriever of Texts (SMART) project report. The first paper: "A Controlled Single Pass Classification Algorithm with Application to Multilevel Clustering" by D. B. Johnson and J. M. Laferente presents a single pass clustering method which compares favorably…

The Maryland Refutation Proof Procedure System (MRPPS) is an interactive experimental system intended for studying deductive search methods. Although the work is oriented towards question-answering, MRPPS provides a general problem solving capability. There are three major components within MRPPS. These are: (1) an inference system, (2) a search…

In the modern concept a robot is a complex automatic cybernetics system capable of executing various operations in the sphere of human activity and in various respects combining the imitative capacity of the physical and mental activity of man. They are a class of automatic information systems intended for search, collection, processing, and…

Growth functions involved in mathematical models for biological development are discussed using the algebra of polynomials and matrices. (SD)

Identifying the larger (L), smaller (S) and difference (D) of two real numbers, and then selecting the appropriate relationship between L, D, and S can help students solve algebra word problems. (SD)

A mathematical model of a regional interlibrary loan system was developed as a tool for the design and evaluation of a strategy to equalize the load of Interlibrary Loans (ILL) of libraries in the system. The load-leveling capability of several algorithms for representing each library's ILL activity was tested. (Author/VT)

A six-step method of teaching subtraction by renaming is presented, using money as the learning vehicle. (MP)

Presents a justification of the belief that science and art can be successfully combined. The computer's merits are viewed as a potential modelbuilder for the formalization of aesthetic concepts. The rest of the paper details recent and current research on such uses of the machine. (VT)

Investigates the feasibility of using a distance measure for automatic sequential document classification. This property of the distance measure is used to design a sequential classification algorithm which classifies key words and analyzes them separately in order to assign primary and secondary classes to a document. (VT)

Reviewing addition through the use of palindromes is discussed. A rule for converting any number into a palindrome is presented. (MP)