1977
DOI: 10.1007/bf00121084
|View full text |Cite
|
Sign up to set email alerts
|

University-level computer-assisted instruction at Stanford: 1975

Abstract: This article provides an overview of current work on university-level computerassisted instruction at Stanford University. Brief descriptions are given of the main areas of current interest. The main emphasis is on the courses now being

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
27
0

Year Published

1978
1978
2005
2005

Publication Types

Select...
3
2
2

Relationship

0
7

Authors

Journals

citations
Cited by 28 publications
(27 citation statements)
references
References 15 publications
0
27
0
Order By: Relevance
“…The oldest is a computer-aided education course in axiomatic set theory (Suppes & Sheehan, 1981a). The youngest, a CAE course in logic, is also in use at other universities (Suppes & Sheehan, 1981b). Both of these intelligent tutoring courses use automatic theorem proving for checking the correctness of students' proofs in axiomatic set theory or symbolic logic.…”
Section: Intelligent Scoring Of Complex Constructed Responsesmentioning
confidence: 99%
“…The oldest is a computer-aided education course in axiomatic set theory (Suppes & Sheehan, 1981a). The youngest, a CAE course in logic, is also in use at other universities (Suppes & Sheehan, 1981b). Both of these intelligent tutoring courses use automatic theorem proving for checking the correctness of students' proofs in axiomatic set theory or symbolic logic.…”
Section: Intelligent Scoring Of Complex Constructed Responsesmentioning
confidence: 99%
“…It means generating interactions and presentations from information primitives using an "instructional grammar" that is analogous to the deep structure grammar of the transformationalgenerative linguists of a generation ago. This functionality harkens back to the roots of ITS development as (again) can be seen in the volumes edited by Suppes (1981), Sleeman and Brown (1982), Psotka, Massey, andMutter (1988), andFarr andPsotka (1992).…”
Section: Intelligent Tutoring Systems (Itss)mentioning
confidence: 90%
“…It requires mutual understanding of a language for information retrieval, decision-aiding, and instruction that is shared by the ITS and the student/user. Natural language has been a frequent choice for this capability, but the language of mathematics, mathematical logic, and electronics have also been used (e.g., Suppes, 1981;Sleeman and Brown, 1982;Psotka, Massey, and Mutter, 1988;and Farr and Psotka, 1992). Whatever form mixed-initiative dialogue takes, a key feature of one-on-one tutorial instruction is dialogue in which either the student or the instructor can initiate interactions (e.g., Graesser and Person, 1994).…”
Section: Intelligent Tutoring Systems (Itss)mentioning
confidence: 99%
“…Natural language has been a frequent choice for this capability (e.g., Brown, Burton, and DeKleer, 1982;Graesser, Person, and Magliano, 1995), but the language of mathematics, mathematical logic, electronics, and other well-structured communication systems have also been used (Barr, Beard, and Atkinson, 1975;Suppes, 1981;Sleeman and Brown, 1982;Psotka, Massey, and Mutter, 1988;Woolf and Regian, 2000).…”
Section: Itssmentioning
confidence: 99%
“…This capability has been realized in systems that could converse in a formal language, such as computer programming [e.g., Binary Integer Programming (BIP) (Barr, Beard, and Atkinson (1975)] or propositional calculus [e.g., EXCHECK (Suppes, 1981)] or could base the conversation on determinate technical phenomena using clearly defined and well understood terms [e.g., SOPHIE, (Brown, Burton, and DeKleer, 1982)]. More recent research, such as that presented by Graesser, Gernsbacher, and Goldman (2003), suggests that significant natural language dialogue capabilities are achievable.…”
Section: Itssmentioning
confidence: 99%