Descriptor
| Algorithms | 6 |
| Artificial Intelligence | 6 |
| Computer Programs | 6 |
| Computational Linguistics | 2 |
| Information Retrieval | 2 |
| Models | 2 |
| Semantics | 2 |
| Bibliographies | 1 |
| Computer Assisted Instruction | 1 |
| Computer Science | 1 |
| Computer Storage Devices | 1 |
| More ▼ | |
Source
| Information Processing and… | 1 |
Author
| Biermann, A. W. | 1 |
| Claybrook, Billy G. | 1 |
| Fawthrop, D. | 1 |
| May, Donald M. | 1 |
| Minker, Jack | 1 |
| Sable, Jerome | 1 |
| Smith, David Canfield | 1 |
| Yannakoudakis, E. J. | 1 |
Publication Type
| Reports - Research | 3 |
| Journal Articles | 1 |
Education Level
Audience
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Smith, David Canfield – 1970
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…
Descriptors: Algorithms, Artificial Intelligence, Computer Programs, Digital Computers
PDF pending restorationClaybrook, Billy G. – 1974
A new heuristic factorization scheme uses learning to improve the efficiency of determining the symbolic factorization of multivariable polynomials with interger coefficients and an arbitrary number of variables and terms. The factorization scheme makes extensive use of artificial intelligence techniques (e.g., model-building, learning, and…
Descriptors: Algorithms, Artificial Intelligence, Computer Programs, Computers
Download full textBiermann, A. W.; And Others – 1973
Some of the major results of future goals of an automatic program synthesis project are described in the two papers that comprise this document. The first paper gives a detailed algorithm for synthesizing a computer program from a trace of its behavior. Since the algorithm involves a search, the length of time required to do the synthesis of…
Descriptors: Algorithms, Artificial Intelligence, Computational Linguistics, Computer Programs
Peer reviewedYannakoudakis, E. J.; Fawthrop, D. – Information Processing and Management, 1983
This paper describes an intelligent spelling error correction system for use in a word processing environment. The system employs a dictionary of 93,769 words and, provided the intended word is in the dictionary, it identifies 80 percent to 90 percent of spelling and typing errors. Nine references are cited. (Author/EJS)
Descriptors: Algorithms, Artificial Intelligence, Computer Programs, Dictionaries
Minker, Jack; Sable, Jerome – 1970
A relational data system (RDS) is one that has the capability not only to retrieve specific facts but also the ability to deduce facts that are implicit rather than explicit in the data base. The study investigated the application of RDS technology to intelligence data processing. RDS technology and the nature of intelligence data processing are…
Descriptors: Algorithms, Artificial Intelligence, Computational Linguistics, Computer Programs
PDF pending restorationMay, Donald M.; And Others – 1977
The minicomputer-based Computerized Diagnostic and Decision Training (CDDT) system described combines the principles of artificial intelligence, decision theory, and adaptive computer assisted instruction for training in electronic troubleshooting. The system incorporates an adaptive computer program which learns the student's diagnostic and…
Descriptors: Algorithms, Artificial Intelligence, Bibliographies, Computer Assisted Instruction
