{"type":"ScholarlyArticle","title":"Nonmonotonic Model Inference-A Formalization of Student Modeling","authors":[{"name":"Mitsuru Ikeda","slug":"mitsuru-ikeda","given":"Mitsuru","family":"Ikeda","affiliation":""},{"name":"Yasuyuki Kono","slug":"yasuyuki-kono","given":"Yasuyuki","family":"Kono","affiliation":""},{"name":"Riichiro Mizoguchi","slug":"riichiro-mizoguchi","given":"Riichiro","family":"Mizoguchi","affiliation":""}],"abstract":"A student model description language and its synthesis method are presented. The language called SMDL is based on a logic programming language taking 4 truth values such as true, false , unknown and fail. A modeling method called HSMIS is a new nonmonotonic model inference system and has the following major characteristics: ( 1) Model inference of logic program taking 4 truth values, (2)Treatment of nonmonotonicity of both student 's belief and inference process itself. HSMIS incorporates de Kleer's ATMS as a vehicle for formulating the nonmonotonicity. Both SMDL interpreter and HSMIS have been implemented in Common ESP(Extended Self-contained Prolog) and incorporated into a framework for ITS, called FITS.","doi":null,"url":"https://ijcai.org/proceedings/1993/66","pdf":"https://ijcai.org/proceedings/1993/0066.pdf","markdown":"https://ijcai.org/proceedings/1993/66.md","bibtex":"https://ijcai.org/proceedings/1993/bibtex/66","volume":{"slug":"1993","title":"Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1993","url":"https://ijcai.org/proceedings/1993/","year":1993,"location":"Chambéry, France","dates":"","editors":"Ruzena Bajcsy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Intelligent Tutoring Systems","track":"Intelligent Tutoring Systems","number":66,"pages":{"first":467,"last":475},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}