Accession Number : AD0645660

Title :   ADEPT, A HEURISTIC PROGRAM FOR PROVING THEOREMS OF GROUP THEORY.

Descriptive Note : Doctoral thesis,

Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE PROJECT MAC

Personal Author(s) : Norton,Lewis Mark

Report Date : SEP 1966

Pagination or Media Count : 181

Abstract : A computer program, named ADEPT (A Distinctly Empirical Prover of Theorems), has been written which proves theorems taken from the abstract theory of groups. Its organization is basically heuristic, incorporating many of the techniques of the human mathematician in a 'natural' way. This program has proved almost 100 theorems, as well as serving as a vehicle for testing and evaluating special-purpose heuristics. A detailed description of the program is supplemented by accounts of its performance on a number of theorems, thus providing many insights into the particular problems inherent in the design of a procedure capable of proving a variety of theorems from this domain. Suggestions have been formulated for further efforts along these lines, and comparisons with related work previously reported in the literature have been made. (Author)

Descriptors :   (*COMPUTER PROGRAMS, *GROUPS(MATHEMATICS)), (*THEOREMS, GROUPS(MATHEMATICS)), MATHEMATICAL LOGIC, ARTIFICIAL INTELLIGENCE, DIGITAL COMPUTERS, TIME SHARING, REAL TIME, THESES

Subject Categories : Theoretical Mathematics
      Computer Programming and Software
      Computer Hardware
      Computer Systems

Distribution Statement : APPROVED FOR PUBLIC RELEASE