ERIC Number: ED146577
Record Type: RIE
Publication Date: 1977-Aug
Reference Count: 0
Studies of Verbal Problem Solving: I. Two Performance-Aiding Programs. Technical Report No. 83.
Bond, Nicholas A., Jr.; And Others
This booklet describes two computer programs that were written to provide on-line aid to problem solvers. Both programs were designed for "membership" problems, or those in which there are several English sentences and implicit relationships. The task was to infer a membership structure that is compatible with all the logical constraints. Membership problems may be cast in various settings (for example, a murder mystery, where a culprit is to be identified). One program (FIRST) was based on Findler's Universal Puzzle Solver; the other (GABE) used Wang's theorem-prover logic. Of the two programs, FIRST appeared to be the most feasible for use with college-level subjects. It accepts logical inputs in a near-English format and shows the current logical status of a problem through a tabular array. The program's structure suggests a "depth of inference" measurement technique. When all possible logical paths of a logical problem are known, the "depth" of any given node in the path can be obtained from probability-of-success numbers at that node. A subject's logical progress along a path can also be computed and displayed. (Author/AA)
Publication Type: Reports - Research
Education Level: N/A
Sponsor: Advanced Research Projects Agency (DOD), Washington, DC.; Office of Naval Research, Arlington, VA. Personnel and Training Research Programs Office.
Authoring Institution: University of Southern California, Los Angeles. Behavioral Technology Labs.