People use a variety of plausible, but uncertain inferences to answer questions about which their knowledge is incomplete. Such inferential thinking and reasoning is being incorporated into the SCHOLAR computer-assisted instruction (CAI) system. Socratic tutorial techniques in CAI systems such as SCHOLAR are described, and examples of their…

SCHOLAR is a computer-assisted instruction (CAI) system which is capable of true man-computer dialog. Using a subset of English, the system is capable of generating questions, answering questions, analyzing responses, and producing subsequent actions. SCHOLAR has a data base that is a complex but well defined information structure in the form of a…

Research and development work on the use of the SCHOLAR autotutorial, online system is described. Inference strategies used within the system are deductive, negative, and functional in character. A graphics package allows user to ask questions and give commands in English to control SCHOLAR's map display capability. The examples shown are for…