Descriptor
| Algorithms | 2 |
| Computer Programs | 2 |
| Information Systems | 2 |
| Man Machine Systems | 2 |
| Automation | 1 |
| Deduction | 1 |
| Evaluation | 1 |
| Experimental Programs | 1 |
| Indexing | 1 |
| Information Retrieval | 1 |
| Information Storage | 1 |
| More ▼ | |
Source
Author
| Edwards, John S. | 1 |
| Minker, Jack | 1 |
Publication Type
Education Level
Audience
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Download full textMinker, Jack; And Others – 1972
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…
Descriptors: Algorithms, Computer Programs, Deduction, Experimental Programs
Adaptive Man-Machine Interaction in Information Retrieval; A Dissertation in Electrical Engineering.
Edwards, John S. – 1967
Three specific contributions to the field of information retrieval are presented. The first two describe the establishment of an adaptive, interactive man-machine dialogue that produces a form of unsolicited librarian-like assistance for the user in his selection of index terms to characterize an indexing function. The data set upon which the…
Descriptors: Algorithms, Automation, Computer Programs, Evaluation
