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…

Proposes algorithmic method of searching and presents experimental data testing efficacy of using Boolean negation to eliminate redundancy and reduce cognitive strain of communication barrier at human-computer interface. Cognitive information processes, concept of Boolean NOT, and problem-solving behavior are explored. Twenty-five references are…

Describes a two-phase stemming algorithm which consists of word root identification and automatic selection of word variants starting with same word root from inverted file. Use of algorithm in book catalog file is discussed. Ten references and example of subject search are appended. (EJS)

Evaluates and compares two recently proposed automatic methods for relevance feedback of Boolean queries (Dillon method, which uses probabilistic approach as basis, and disjunctive normal form method). Conclusions are drawn concerning the use of effective feedback methods in a Boolean query environment. Nineteen references are included. (EJS)

Discusses the Science Library Catalog, an online catalog intended for use by children at the Los Angeles Public Library, and describes the process of reorganizing the MARC-based database by using clustering algorithms to extend the Dewey Decimal Classification. Examples of screen displays are included. (18 references) (LRW)

Describes experiments in Arabic information retrieval using 29 queries against a base of 355 bibliographic records. Using roots and stems as index terms worked better than words, and the root performed as well as or better than the stem at low recall levels and definitely better at high recall levels. (Contains 30 references.) (KRN)