{"type":"ScholarlyArticle","title":"Artificial Intelligence and Automatic Programming in CAI","authors":[{"name":"Elliot B. Koffman","slug":"elliot-b-koffman","given":"Elliot B.","family":"Koffman","affiliation":"Computer Science Group Electrical Engineering Dept . University of Connecticut Storrs , Conn . 06268"},{"name":"Sumner E. Blount","slug":"sumner-e-blount","given":"Sumner E.","family":"Blount","affiliation":""}],"abstract":"This paper discusses ge nerative computer - assisted instruction (CAI) and its relationship to Artificial Intelligence Research . Systems which have a limited capability for natural lan gua ge communication are described . In addition , potential areas in which Artificial Intelligence could be applied are outlined . These include individualization of instruction determining the degree of accuracy of a st udent res;onse, and problem - solving . A CAI system which is capable of writing computer programs is described in detail . Techniques are given for generating meaningful programming pr oblems . These problems are represented as a sequence of primitive tasks e ach of which can be coded in several ways . The manner in which the system designs its own solution program and monitors the student solution is also described.","doi":null,"url":"https://ijcai.org/proceedings/1973/13","pdf":"https://ijcai.org/proceedings/1973/0013.pdf","markdown":"https://ijcai.org/proceedings/1973/13.md","bibtex":"https://ijcai.org/proceedings/1973/bibtex/13","volume":{"slug":"1973","title":"Proceedings of the Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1973","url":"https://ijcai.org/proceedings/1973/","year":1973,"location":"Stanford, California, USA","dates":"20-23 August 1973","editors":"Nils J. Nilsson","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Applications and Implications of A. I.","track":"Applications and Implications of A. I.","number":13,"pages":{"first":86,"last":93},"keywords":[],"videos":[],"references":[{"position":1,"raw":"Wexler , J . D., \" Information Networks in Generative Computer-Assisted Instruction ,\" IEEE Trans . on Man-Machine Systems , Vol . MMS-11 , No . 4 , December 1970 , pp . 181-190 .","title":"Information Networks in Generative Computer-Assisted Instruction","authors":"J D Wexler","year":"1970","venue":"IEEE Trans . on Man-Machine Systems","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"Carbonell , J . R., \" AI in CAI : An Artificial Intelligence Approach to Computer-Assisted Instruction ,\" IEEE Transactions on Man-Machine Systems , Vol . MMS -11 , No . 4 , Dec . 1970 , pp . 190- 202 .","title":"AI in CAI : An Artificial Intelligence Approach to Computer-Assisted Instruction","authors":"J R Carbonell","year":"1970","venue":"IEEE Transactions on Man-Machine Systems","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"Carbonell , J . R., \"Artificial Intelligence and Large Interactive Man Computer Systems ,\" Proc . of the 1971 Joint National Conference on Major Systems .","title":"Artificial Intelligence and Large Interactive Man Computer Systems","authors":"J R Carbonell","year":null,"venue":"Proc . of the 1971 Joint National Conference on Major Systems","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"Carbonell , J . R., and Collins , A. M., \"Natural Semantics in Artificial Intelligence , \" Bolt Beranek and Newman Working Paper , March , 1973 .","title":"Natural Semantics in Artificial Intelligence","authors":"J R Carbonell, A M Collins","year":"1973","venue":"Bolt Beranek and Newman Working Paper","doi":null,"url":null,"internal_url":"/proceedings/1973/44"},{"position":5,"raw":"Simmons , R. F. , \"Natural Language For Instructional Communication , \" In Artificial Intelligence and Heuristic Programming , Edinburgh Univ . Press 1971 , pp . 191-198 .","title":"Natural Language For Instructional Communication","authors":"R F Simmons","year":"1971","venue":"Artificial Intelligence and Heuristic Programming","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"Woods , W., \"Transition Network Grammars for Natural Language Analysis ,\" Comm . Assoc . Comput . Mach . Vol . 13 , Oct . 1970 , pp . 591-606 .","title":"Transition Network Grammars for Natural Language Analysis","authors":"W Woods","year":"1970","venue":"Comm . Assoc . Comput . Mach","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"Fikes , R. E., and Nilsson , N. J ., \" STRIPS : A New Approach to the Application of Theorem Proving to Problem Solving ,\" Artificial Intelligence , II , 1971 , pp . 189-208 .","title":"STRIPS : A New Approach to the Application of Theorem Proving to Problem Solving","authors":"R E Fikes, N J Nilsson","year":"1971","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/1971/63"},{"position":8,"raw":"Brown , J . S., Burton , R. R. , and Zdybel ,\"A Model- Driven Question-Answering System for Mixed-Initia- tive Computer-Assisted Instruction \", IEEE Trans . on Systems , Man , and Cybernetics , SMC-3 , No . 3 , pp . 248-257 .","title":"A Model-Driven Question-Answering System for Mixed-Initiative Computer-Assisted Instruction","authors":"J S Brown, R R Burton, Zdybel","year":null,"venue":"IEEE Trans . on Systems , Man , and Cybernetics , SMC","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"Shea , T. 0 ., and Sleeman , D. H., 1972 , \"A Design for Adaptive Self-Improving Teaching System ,\" Working paper , Department of Computational Science , University of Leeds , England . 92","title":"A Design for Adaptive Self-Improving Teaching System","authors":"T 0 Shea, D H Sleeman","year":"1972","venue":null,"doi":null,"url":null,"internal_url":null},{"position":10,"raw":"Koffman, E. B., \"A Generative CAI Tutor for Computer Science Concepts ,\" Proceedings of the AFIPS 1972 Spring Joint Computer Conference .","title":"A Generative CAI Tutor for Computer Science Concepts","authors":"E B Koffman","year":null,"venue":"Proceedings of the AFIPS 1972 Spring Joint Computer Conference","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"Goldberg , A. and Suppes , P . , \"A Computer- Assisted Instruction Program for Exercis e s on Finding Axioms,\" Tech . Report #186 , Stanford University , Institute for Mathematical Studies in the Social Sciences , June , 1972.","title":"A Computer-Assisted Instruction Program for Exercis e s on Finding Axioms","authors":"A Goldberg, P Suppes","year":"1972","venue":null,"doi":null,"url":null,"internal_url":null},{"position":12,"raw":"Hewitt , C., \" Planner : A Language for Proving Theorems in Robots , \" Proceedings of the 1969 International Joint Conference on Artificial Intelligence , Ed , D. E. Walker and L. M. Norton , 1969 , pp . 295-302 .","title":"Planner : A Language for Proving Theorems in Robots","authors":"C Hewitt","year":"1969","venue":"Proceedings of the 1969 International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/1969/29"},{"position":13,"raw":"Rulifson , J . F. Derksen, J . A. and Waldinger , R. J ., \"QA4: A Procedural Calculus for Induct ive Reasoning ,\" SRI Technical Note #73 , 1972 .","title":"QA4: A Procedural Calculus for Induct ive Reasoning","authors":"J F Rulifson, J A Derksen, R J Waldinger","year":"1972","venue":"SRI Technical Note","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"Simon , H. A., \" Experiments with a Heuristic Compiler ,\" 1963 , JACM , Vol. 10, No . 4 , October 196 3.","title":"Experiments with a Heuristic Compiler","authors":"H A Simon","year":"1963","venue":"JACM","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"Manna , Z., Waldringer , R. J ., \"Toward Automatic Program Synthesis ,\" CACM , Vol. 14 , No . 3 , March, 1971.","title":"Toward Automatic Program Synthesis","authors":"Z Manna, R J Waldringer","year":"1971","venue":"CACM","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"IBM Corporation , Conversational Programming System , (CPS) Terminal User ' s Manual , IBM Report GH20 -0758-0 1970 .","title":"Conversational Programming System","authors":null,"year":null,"venue":"CPS) Terminal User ' s Manual","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}