Nonmonotonic Model Inference-A Formalization of Student Modeling

Ikeda, Mitsuru; Kono, Yasuyuki; Mizoguchi, Riichiro

Nonmonotonic Model Inference-A Formalization of Student Modeling

Mitsuru Ikeda, Yasuyuki Kono, Riichiro Mizoguchi

Download BibTeX Cite

Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Intelligent Tutoring Systems. Pages 467-475.

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.

Mitsuru Ikeda, Yasuyuki Kono, and Riichiro Mizoguchi. 1993. Nonmonotonic Model Inference-A Formalization of Student Modeling. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93. IJCAI, 467–475. https://ijcai.org/proceedings/1993/66

@inproceedings{ijcai1993p66,
  title     = {Nonmonotonic Model Inference-A Formalization of Student Modeling},
  author    = {Ikeda, Mitsuru and Kono, Yasuyuki and Mizoguchi, Riichiro},
  booktitle = {Proceedings of the Thirteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-93}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Ruzena Bajcsy},
  pages     = {467--475},
  year      = {1993},
  note      = {Intelligent Tutoring Systems},
  url       = {https://ijcai.org/proceedings/1993/66},
}

TY  - CPAPER
TI  - Nonmonotonic Model Inference-A Formalization of Student Modeling
AU  - Ikeda, Mitsuru
AU  - Kono, Yasuyuki
AU  - Mizoguchi, Riichiro
T2  - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1993
SP  - 467
EP  - 475
UR  - https://ijcai.org/proceedings/1993/66
ER  -