{"id":{"repo_id":"the-open-u","oai_identifier":"oai:oro.open.ac.uk:56448"},"canonical_url":"https://search.dev.ndltd.org/etd/the-open-u/oai:oro.open.ac.uk:56448","repository":{"repo_id":"the-open-u","name":"The Open University","base_url":"https://oro.open.ac.uk/cgi/oai2"},"display":{"title":"The role of the crucial experiment in student modelling","abstract":"As the range of models which tutoring systems can capture is extended, efficient diagnosis becomes more difficult. This thesis describes a solution to this problem based on the generation of 'Critical Problems'; their role in student modelling is analogous to that of the 'Crucial Experiment' in science. We argue that great diagnostic power can be obtained by generating discriminatory problem examples. In general, efficient diagnosis is just not possible without such an hypothesis-testing capability. We describe a program, PO, which given a pair of production rule models and a description of the class of problems which the student must solve, generates an abstract specification of the problems which discriminate between those two hypotheses. Through a process termed 'Abstract Interpretation', PO tips the balance in favour of diagnostic measurement. The key to this problem lies in the realisation that we are only interested in the abstract mapping between a model's inputs and outputs; from the point of view of generating a Critical Problem, the intermediate processing of the model is irrelevant.","abstract_html":"As the range of models which tutoring systems can capture is extended, efficient diagnosis becomes more difficult. This thesis describes a solution to this problem based on the generation of 'Critical Problems'; their role in student modelling is analogous to that of the 'Crucial Experiment' in science. We argue that great diagnostic power can be obtained by generating discriminatory problem examples. In general, efficient diagnosis is just not possible without such an hypothesis-testing capability. We describe a program, PO, which given a pair of production rule models and a description of the class of problems which the student must solve, generates an abstract specification of the problems which discriminate between those two hypotheses. Through a process termed 'Abstract Interpretation', PO tips the balance in favour of diagnostic measurement. The key to this problem lies in the realisation that we are only interested in the abstract mapping between a model's inputs and outputs; from the point of view of generating a Critical Problem, the intermediate processing of the model is irrelevant.","abstract_has_math":false,"creators":["Evertsz, Rick"],"institution":"The Open University","degree_name":"phd","degree_level":"doctoral","degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":1991,"date_issued":"1991-09","date_published":"1991-09","updated_at":"2026-07-24T05:02:52Z","subjects":[],"languages":["en"],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":null,"outbound_label":null,"outbound_source":null},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:creator","label":"Author","values":["Evertsz, Rick"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["1991-09"]},{"key":"dc:date.issued","label":"Date","values":["1991-09"]},{"key":"dc:publisher.institution","label":"Dc Publisher Institution","values":["The Open University"]},{"key":"dc:relation.isreferencedby","label":"Dc Relation Isreferencedby","values":["https://oro.open.ac.uk/56448/"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"dc:type.qualificationlevel","label":"Dc Type Qualificationlevel","values":["doctoral"]},{"key":"dc:type.qualificationname","label":"Dc Type Qualificationname","values":["phd"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://oro.open.ac.uk/56448/1/292361.pdf"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["As the range of models which tutoring systems can capture is extended, efficient diagnosis becomes more difficult. This thesis describes a solution to this problem based on the generation of 'Critical Problems'; their role in student modelling is analogous to that of the 'Crucial Experiment' in science. We argue that great diagnostic power can be obtained by generating discriminatory problem examples. In general, efficient diagnosis is just not possible without such an hypothesis-testing capability. We describe a program, PO, which given a pair of production rule models and a description of the class of problems which the student must solve, generates an abstract specification of the problems which discriminate between those two hypotheses. Through a process termed 'Abstract Interpretation', PO tips the balance in favour of diagnostic measurement. The key to this problem lies in the realisation that we are only interested in the abstract mapping between a model's inputs and outputs; from the point of view of generating a Critical Problem, the intermediate processing of the model is irrelevant."]},{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["The role of the crucial experiment in student modelling"]}]}],"canonical_facts":{"dc:creator":["Evertsz, Rick"],"dc:date":["1991-09"],"dc:date.issued":["1991-09"],"dc:description.abstract":["As the range of models which tutoring systems can capture is extended, efficient diagnosis becomes more difficult. This thesis describes a solution to this problem based on the generation of 'Critical Problems'; their role in student modelling is analogous to that of the 'Crucial Experiment' in science. We argue that great diagnostic power can be obtained by generating discriminatory problem examples. In general, efficient diagnosis is just not possible without such an hypothesis-testing capability. We describe a program, PO, which given a pair of production rule models and a description of the class of problems which the student must solve, generates an abstract specification of the problems which discriminate between those two hypotheses. Through a process termed 'Abstract Interpretation', PO tips the balance in favour of diagnostic measurement. The key to this problem lies in the realisation that we are only interested in the abstract mapping between a model's inputs and outputs; from the point of view of generating a Critical Problem, the intermediate processing of the model is irrelevant."],"dc:format":["application/pdf"],"dc:identifier.uri":["https://oro.open.ac.uk/56448/1/292361.pdf"],"dc:language":["en"],"dc:publisher.institution":["The Open University"],"dc:relation.isreferencedby":["https://oro.open.ac.uk/56448/"],"dc:title":["The role of the crucial experiment in student modelling"],"dc:type":["Thesis"],"dc:type.qualificationlevel":["doctoral"],"dc:type.qualificationname":["phd"]},"updated_at":"2026-07-24T05:02:52Z"}