Nonmonotonic model inference: a formalization of student modeling

Authors:
Mitsuru Ikeda;Yasuyuki Kono;Riichiro Mizoguchi
Affiliations:
I.S.I.R., Osaka University, Ibaraki, Japan;I.S.I.R., Osaka University, Ibaraki, Japan;I.S.I.R., Osaka University, Ibaraki, Japan
Venue:
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Year:
1993

Citing 4
Cited 3

An assumption-based TMS

Artificial Intelligence
Artificial intelligence and tutoring systems: computational and cognitive approaches to the communication of knowledge

Artificial intelligence and tutoring systems: computational and cognitive approaches to the communication of knowledge
Algorithmic Program DeBugging

Algorithmic Program DeBugging
To Contradict is Human - Student Modeling of Inconsistency

ITS '92 Proceedings of the Second International Conference on Intelligent Tutoring Systems

Evaluation of Data Aging: A Technique for Discounting Old Data During Student Modeling

ITS '98 Proceedings of the 4th International Conference on Intelligent Tutoring Systems
A proposal for student modeling based on ontologies and diagnosis rules

Expert Systems with Applications: An International Journal
Applying a student modeling with non-monotonic diagnosis to Intelligent Virtual Environment for Training/Instruction

Expert Systems with Applications: An International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

The problem of finding a set of assumptions which explain a given proposition is in general NP-hard, even when the background theory is an acyclic Horn theory. In this paper it is shown that when the background theory is acyclic Horn and its pseudo-completion ...