New Directions for Intelligent Tutoring SystemsErnesto Costa |
From inside the book
Results 1-3 of 13
Page 28
... ( meta - logic ) and deduction ( logic ) is based on a reflexive architecture that uses introspection mechanisms to take decisions from the uncertainty in the facts . These features allow to mimic more closely human problem solving ...
... ( meta - logic ) and deduction ( logic ) is based on a reflexive architecture that uses introspection mechanisms to take decisions from the uncertainty in the facts . These features allow to mimic more closely human problem solving ...
Page 33
... logic defined in B. This is done via the renaming definition . Connectives . This components defines the function that will be used in the deduction process ... meta - logic . This general mechanism is used to drive the inference process 33.
... logic defined in B. This is done via the renaming definition . Connectives . This components defines the function that will be used in the deduction process ... meta - logic . This general mechanism is used to drive the inference process 33.
Page 36
... meta - logic level . They are represented as a local meta - logic component of each module in what is called the control knowledge component of a module . Metacontrol and locality The structured definition of KB's helps not only in the ...
... meta - logic level . They are represented as a local meta - logic component of each module in what is called the control knowledge component of a module . Metacontrol and locality The structured definition of KB's helps not only in the ...
Contents
New Perspectives on Cognition and Instructional Technology | 3 |
Pierre Dillenbourg Patrick Mendelsohn | 28 |
Whats in an ITS? A Functional Decomposition | 57 |
Copyright | |
12 other sections not shown
Other editions - View all
New Directions for Intelligent Tutoring Systems: Proceedings of the NATO ... Ernesto Costa No preview available - 1992 |
New Directions for Intelligent Tutoring Systems: Proceedings of the NATO ... Ernesto Costa No preview available - 2011 |
Common terms and phrases
activities agent applied approach architecture Artificial Intelligence assumptions axioms behaviour belief revision belief space Breuker Cambridge Cognitive Science communication complex component Computational Linguistics Computational Mathetics Computer Science concept conflict context cooperative defined definition derived described diagnosis dialogue action dialogue goal discourse discussed domain educational example expert systems external student modelling framework function gfather human hypothesis implemented inconsistent inference instructional Intelligent Tutoring Systems interaction interface International interpretation ITSs John Levine KANT knowledge acquisition knowledge base knowledge representation language shift learner modelling learning environment learning systems logic Machine Learning meta-level meta-logic meta-reasoning metacognitive module natural language negotiation pedagogical performance possible predicate problem solving propositions reasoning relevant represent representation rules scratch-pad semantic sequence speaker speech act strategy structure supported wff task teacher teaching techniques theory truth maintenance system tutorial dialogues University utterance