Improving human computer interaction in intelligent tutoring systems

ITSs (Intelligent Tutoring Systems) provide a way of addressing some of the issues that the more traditional CAI (Computer Aided Instruction) systems do not address - the individual learning needs and individual learning abilities and levels of users - so that the user is in control of their learning experience. An ITS needs to be able to provide an explanation, for a real world situation, that successfully meets the needs of the user. To ensure relevant explanation content requires the ITS be based on sound planning principles and tutoring knowledge as well as knowledge of the domain and the user. To ensure a coherent explanation structure requires that the tutoring knowledge be applied with full recognition of the knowledge of the domain and the user. For a model of the user's knowledge to be effective, the system should be able to use it to enhance the flexibility and responsiveness of explanations generated. A user model should guide the generation of explanations so they are pitched at the correct level of the user's existing knowledge; models should be able to actively support the needs of the user so that the user's efforts in seeking out information are minimised. The aim of this research is to generate effective, flexible and responsive explanations, in educational software systems, through developing better explanation facilities than exist in currently available ITS software. In achieving this aim, I am advancing research into dialogue planning and user modelling. The explanation facilities described meet the requirements of an explanation that is tailored to the user's needs, a sound theory from which particular explanations are constructed, and a user model that can accurately represent the behaviour and beliefs of the user. My research contributions include explicitly and formally representing discourse planning / reasoning, from both the user's view and the tutor's view so that they can be clearly understood and represented in the ITS. More recent planners have adopted approaches that can be characterised as using adaptations of the classical planning approach, with informally specified planning algorithms and planning languages. Without clear, explicit and full descriptions of actions and the planning algorithm we can not be certain of the plans that such planners produce. I adopt a theoretically rigorous approach based on classical planning theory - the actions available to the planner, the planning language and algorithm should be explicitly represented to ensure that plans are complete and consistent. Classical regression planning uses dynamic planning thus enabling the system to be flexible in a variety of situations and providing the responsiveness required for an ITS. I take a theoretically rigorous approach in constructing a well specified model of discourse, building upon existing research in the area. I present a tutoring module that is able to find a way to motivate the user to take a recommended action, by relating the action to the user's goals, and that is able to reason about the text structure to generate an effective explanation - putting together several clauses of text whilst maintaining coherency. As part of developing such constructs for motivating, enabling and recommending, as well as constructs for structuring text, I use a pedagogic model based on the principled approach of (i) advising the user to take an action (ii) motivating the user to want to take the action and (iii) ensuring the user knows how to do the action. I take a clear and realistic approach to user modelling, making explicit models of the user's behaviour and beliefs. I adopt a theoretically rigorous approach, formally distinguishing between the user's reasoning and their actions, so they can be focused on separately. Formally making this distinction, more easily enables models of the user's reasoning to be tailored to the individual user. To enable the tutor to consider the full impact on the user, of the information to be delivered to the user, I use different plan spaces. I explicitly identify the different perspectives of the user and the tutor so that they can be focused on separately to generate an explanation that is tailored to the user. In my approach, reasoning about the user's skills, rules and knowledge is independent from reasoning about those of the tutor.

[1]  Eduard Hovy,et al.  Language generation by computer , 1984 .

[2]  Kurt VanLehn,et al.  Andes: A Coached Problem Solving Environment for Physics , 2000, Intelligent Tutoring Systems.

[3]  S. Kambhampati,et al.  Universal classical planner: an algorithm for unifying state-space and plan-space planning , 1996 .

[4]  Johanna D. Moore,et al.  Towards a Principled Representation of Discourse Plans , 1994, Proceedings of the Sixteenth Annual Conference of the Cognitive Science Society.

[5]  Alan Wheeldon.  Explanation Generation in Intelligent Tutoring Systems , 2001 .

[6]  Chris Reed,et al.  The Role of Saliency in Generating Natural Language Arguments , 1999, IJCAI.

[7]  Benedict du Boulay,et al.  Implementation of motivational tactics in tutoring systems , 1995 .

[8]  Tariq Samad,et al.  Modeling student knowledge with self-organizing feature maps , 1995, IEEE Trans. Syst. Man Cybern..

[9]  Benedict du Boulay,et al.  Can We Learn from ITSs? , 2000, Intelligent Tutoring Systems.

[10]  Eduard H. Hovy,et al.  Automated Discourse Generation Using Discourse Structure Relations , 1993, Artif. Intell..

[11]  Ingrid Zukerman,et al.  Natural Language Processing and User Modeling: Synergies and Limitations , 2001, User Modeling and User-Adapted Interaction.

[12]  Earl D. Sacerdoti,et al.  Planning in a Hierarchy of Abstraction Spaces , 1974, IJCAI.

[13]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[14]  B. Webber,et al.  A Consequence of Incorporating Intentions in Means-end Planning* , 1993 .

[15]  Antonija Mitrovic,et al.  Tailoring Feedback by Correcting Student Answers , 2000, Intelligent Tutoring Systems.

[16]  Sandra Carberry,et al.  Plan Recognition and Its Use in Understanding Dialog , 1989 .

[17]  John Self,et al.  The defining characteristics of intelligent tutoring systems research: ITSs care, precisely , 1998 .

[18]  Judithe Sheard,et al.  Student motivation and positive impressions of computing subjects , 2000, ACSE '00.

[19]  Kurt VanLehn,et al.  The Andes Physics Tutoring System: Five Years of Evaluations , 2005, AIED.

[20]  Antonija Mitrovic,et al.  Feedback Micro-engineering in EER-Tutor , 2005, AIED.

[21]  Antonija Mitrovic,et al.  CAPIT: an intelligent tutoring system for capitalisation and punctuation , 2000, Proceedings International Workshop on Advanced Learning Technologies. IWALT 2000. Advanced Learning Technology: Design and Development Issues.

[22]  The relation between sentence order and comprehension , 1963 .

[23]  M. Just,et al.  From the SelectedWorks of Marcel Adam Just 1992 A capacity theory of comprehension : Individual differences in working memory , 2017 .

[24]  Peter G. Cole,et al.  Teaching Principles and Practice , 1994 .

[25]  Reva Freedman,et al.  An Approach to Increasing Programming Efficiency in Plan-Based Dialogue Systems , 2001 .

[26]  Sam Steel,et al.  Integrating Planning, Execution and Monitoring , 1988, AAAI.

[27]  S. L. Wood.  A new approach to interactive tutorial software for engineering education , 1996 .

[28]  William C. Mann,et al.  Computer Generation of Multiparagraph English Text , 1981, Am. J. Comput. Linguistics.

[29]  Etienne Wenger,et al.  Artificial Intelligence and Tutoring Systems , 1987 .

[30]  D. Thistlethwaite,et al.  The effects of directive and nondirective communication procedures on attitudes. , 1955, Journal of abnormal psychology.

[31]  Dana S. Nau,et al.  Computer Bridge - A Big Win for AI Planning , 1998, AI Mag..

[32]  Jim Reye,et al.  Generating Explanations using an Automated Planner and Modeling Reasoning Processes, Skills and Knowledge , 2007, ExaCt.

[33]  Craig A. Knoblock,et al.  A Comparison of the SNLP and TWEAK Planning Algorithms , 1993 .

[34]  Frank C. Keil,et al.  The Shadows and Shallows of Explanation , 1998, Minds and Machines.

[35]  Reva Freedman,et al.  Delivering Hints in a Dialogue-Based Intelligent Tutoring System , 1999, AAAI/IAAI.

[36]  Derek H. Sleeman,et al.  UMFE: A User Modelling Front-End Subsystem , 1985, Int. J. Man Mach. Stud..

[37]  Chris Reed,et al.  Content Ordering in the Generation of Persuasive Discourse , 1997, IJCAI.

[38]  P. Pintrich,et al.  Motivational and self-regulated learning components of classroom academic performance. , 1990 .

[39]  Anthony Jameson,et al.  Pros and Cons of Controllability: An Empirical Study , 2002, AH.

[40]  D. McDermott.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[41]  Jay F. Nunamaker,et al.  Systems Development in Information Systems Research , 1990, J. Manag. Inf. Syst..

[42]  R. W. White.  Motivation reconsidered: the concept of competence. , 1959, Psychological review.

[43]  Antonija Mitrovic,et al.  Authoring web-based tutoring systems with WETAS , 2002, International Conference on Computers in Education, 2002. Proceedings..

[44]  Beverly P. Woolf.  Theoretical frontiers in building a machine tutor , 1987 .

[45]  Edwin P. D. Pednault,et al.  Generalizing Nonlinear Planning to Handle Complex Goals and Actions with Context-Dependent Effects , 1991, IJCAI.

[46]  Alison Cawsey,et al.  Explanation and interaction - the computer generation of explanatory dialogues , 1992, ACL-MIT press series in natural language processing.

[47]  Daniel S. Weld.  Recent Advances in AI Planning , 1999, AI Mag..

[48]  Lung-Hsiang Wong,et al.  TAP-2: A Framework for an Inquiry Dialogue Based Tutoring System , 1998 .

[49]  Maria das Graças Volpe Nunes,et al.  Developing Intelligent Tutoring Systems for Mathematics , 1997, Comput. Artif. Intell..

[50]  Steven C. Gold.  The Design of an ITS-Based Business Simulation: A New Epistemology for Learning , 1998 .

[51]  Michael H. O'Malley.  What do standard transformational grammars produce? — A computational study , 1973 .

[52]  Antonija Mitrovic,et al.  Using Evaluation to Shape ITS Design: Results and Experiences with SQL-Tutor , 2002, User Modeling and User-Adapted Interaction.

[53]  Johanna D. Moore,et al.  A Problem for RST: The Need for Multi-Level Discourse Analysis , 1992, CL.

[54]  Daniel S. Weld.  An Introduction to Least Commitment Planning , 1994, AI Mag..

[55]  Karen Sparck Jones.  Tailoring output to the user: What does user modelling in generation mean? , 1991 .

[56]  Yorick Wilks,et al.  Why machines should analyse intention in natural language dialogue , 1999, Int. J. Hum. Comput. Stud..

[57]  B. Dwolatzky,et al.  An Investigation Into the Feasibility of Using Intelligent Tutoring Systems in Preparing Students for Laboratory Work , 1998 .

[58]  Reva Freedman,et al.  What Should the Tutor Do When the Student Cannot Answer a Question? , 1999, FLAIRS Conference.

[59]  Martin Graham,et al.  A comparison of set-based and graph-based visualisations of overlapping classification hierarchies , 2000, AVI '00.

[60]  Terry Winograd,et al.  Five Lectures on Artificial Intelligence , 1974 .

[61]  Cristina Conati,et al.  Procedural Help in Andes: Generating Hints Using a Bayesian Network Student Model , 1998, AAAI/IAAI.

[62]  Pamela W. Jordan.  Using Student Explanations as Models for Adapting Tutorial Dialogue , 2004, FLAIRS Conference.

[63]  Subbarao Kambhampati,et al.  Refinement Planning as a Unifying Framework for Plan Synthesis , 1997, AI Mag..

[64]  D. Long,et al.  Hierarchical planning using abstraction , 1995 .

[65]  O. Kivinen,et al.  From Constructivism to a Pragmatist Conception of Learning , 2003 .

[66]  Antonija Mitrovic.  Supporting Self-Explanation in a Data Normalization Tutor , 2003 .

[67]  Chris Reed,et al.  An Architecture fro Argumentative Dialogue Planning , 1996, FAPR.

[68]  C. I. Hovland.  Human learning and retention , 1951 .

[69]  Robert C. Moore.  A Formal Theory of Knowledge and Action , 1984 .

[70]  Johanna D. Moore.  Participating in explanatory dialogues , 1994 .

[71]  Cecile Paris.  User modelling in text generation , 1993 .

[72]  Dekai Wu.  Active acquisition of user models: Implications for decision-theoretic dialog planning and plan recognition , 2004, User Modeling and User-Adapted Interaction.

[73]  A. Elliot.  The Hierarchical Model of Approach-Avoidance Motivation , 2006 .

[74]  Henry A. Kautz,et al.  Planning and plan recognition , 1988, AT&T Technical Journal.

[75]  Mordechai Ben-Ari,et al.  Constructivism in computer science education , 1998, SIGCSE '98.

[76]  Johanna D. Moore.  Making computer tutors more like humans , 1996 .

[77]  Alexander Horz.  Relating Classical and Temporal Planning (Preliminary Report) , 1993, PuK.

[78]  T. Govindaraj,et al.  Knowledge organization in intelligent tutoring systems for diagnostic problem solving in complex dynamic domains , 1995, IEEE Trans. Syst. Man Cybern..

[79]  Daniel S. Weld,et al.  UCPOP: A Sound, Complete, Partial Order Planner for ADL , 1992, KR.

[80]  E. Matthei,et al.  Understanding and producing speech , 1983 .

[81]  Diane J. Litman,et al.  ITSPOKE: An Intelligent Tutoring Spoken Dialogue System , 2004, NAACL.

[82]  Subbarao Kambhampati,et al.  Unifying Classical Planning Approaches , 2004 .

[83]  Susan Bull.  Individualized Recommendations for Learning Strategy Use , 2000, Intelligent Tutoring Systems.

[84]  Stellan Ohlsson,et al.  Constraint-Based Student Modeling , 1994 .

[85]  Steven Minton,et al.  Selectively Generalizing Plans for Problem-Solving , 1985, IJCAI.

[86]  Marilyn A. Walker,et al.  Limited Attention and Discourse Structure , 1995, CL.

[87]  Ioannis Hatzilygeroudis,et al.  Knowledge Representation Requirements for Intelligent Tutoring Systems , 2004, Intelligent Tutoring Systems.

[88]  Kurt VanLehn,et al.  Modeling Students' Reasoning About Qualitative Physics: Heuristics for Abductive Proof Search , 2004, Intelligent Tutoring Systems.

[89]  Antonija Mitrovic,et al.  Using a Probabilistic Student Model to Control Problem Difficulty , 2000, Intelligent Tutoring Systems.

[90]  Eduard H. Hovy,et al.  Planning Coherent Multisentential Text , 1988, ACL.

[91]  B. Woolf.  Context Dependent Planning in a Machine Tutor , 1984 .

[92]  Craig Boutilier,et al.  Abstraction and Approximate Decision-Theoretic Planning , 1997, Artif. Intell..

[93]  Antonija Mitrovic,et al.  Scaffolding and Fading Problem Selection in SQL-Tutor , 2003 .

[94]  Susan Bull,et al.  An Open Learner Model for Children and Teachers: Inspecting Knowledge Level of Individuals and Peers , 2004, Intelligent Tutoring Systems.

[95]  Allan Collins,et al.  The goal structure of a socratic tutor , 1977, ACM Annual Conference.

[96]  Antonija Mitrovic,et al.  Automatic Problem Generation in Constraint-Based Tutors , 2002, Intelligent Tutoring Systems.

[97]  Beverly Park Woolf.  Intelligent multimedia tutoring systems , 1996, CACM.

[98]  Frederick Mosteller,et al.  Stochastic Models for Learning , 1956 .

[99]  Allen Newell,et al.  GPS, a program that simulates human thought , 1995 .

[100]  Johanna D. Moore,et al.  Planning Text for Advisory Dialogues: Capturing Intentional and Rhetorical Information , 1993, CL.

[101]  Oren Etzioni,et al.  Explanation-Based Learning: A Problem Solving Perspective , 1989, Artif. Intell..

[102]  Antonija Mitrovic,et al.  Evaluation of a Constraint-Based Tutor for a Database Language , 1999 .

[103]  Scott W. Bennett,et al.  Permissive Planning: Extending Classical Planning to Uncertain Task Domains , 1997, Artif. Intell..

[104]  Susan M. Haller,et al.  An Introduction to Interactive Discourse Processing from the Perspective of Plan Recognition and Text Planning , 1999, Artificial Intelligence Review.

[105]  Clark Glymour,et al.  Learning Causes: Psychological Explanations of Causal Explanation1 , 1998, Minds and Machines.

[106]  Douglas E. Appelt,et al.  Planning English Sentences , 1988, Cogn. Sci..

[107]  Eduard Hovy,et al.  Some Pragmatic Decision Criteria in Generation , 1987 .

[108]  James C. Lester,et al.  Lifelike Pedagogical Agents for Mixed-initiative Problem Solving in Constructivist Learning Environments , 2004, User Modeling and User-Adapted Interaction.

[109]  David P. Miller,et al.  Hierarchical planning involving deadlines, travel time, and resources , 1988, Comput. Intell..

[110]  Reva Freedman,et al.  Interaction of discourse planning, instructional planning and dialogue management in an interactive tutoring system , 1996 .

[111]  Patrick Albert,et al.  A Knowledge-Level Model of a Configurable Learning System , 1996, IEEE Expert.

[112]  Kurt VanLehn,et al.  Andes: An Intelligent Tutor for Classical Physics , 2000 .

[113]  G. L. Steele.  Common Lisp , 1990 .

[114]  Avelino J. Gonzalez,et al.  Automated Exercise Progression in Simulation-Based Training , 1994, IEEE Trans. Syst. Man Cybern. Syst..

[115]  Johanna D. Moore,et al.  DPOCL: A Principled Approach To Discourse Planning , 1994, INLG.

[116]  Arthur C. Graesser,et al.  Intelligent Tutoring Systems with Conversational Dialogue , 2001, AI Mag..

[117]  Subbarao Kambhampati,et al.  Hybrid Planning for Partially Hierarchical Domains , 1998, AAAI/IAAI.

[118]  Terry Halpin,et al.  ORM/NIAM Object-Role Modeling , 1998 .

[119]  Herbert A. Simon,et al.  Discovering Explanations , 1998, Minds and Machines.

[120]  Drew McDermott,et al.  Planning and Acting , 1978, Cogn. Sci..

[121]  Cécile L. Paris,et al.  Generation and Explanation: Building an Explanation Facility for the Explainable Expert Systems Framework , 1991 .

[122]  Amy L. Lansky,et al.  Reactive Reasoning and Planning , 1987, AAAI.

[123]  Craig A. Knoblock.  Generating abstraction hierarchies - an automated approach to reducing search in planning , 1993, The Kluwer international series in engineering and computer science.

[124]  Kurt VanLehn,et al.  The Conceptual Helper: An Intelligent Tutoring System for Teaching Fundamental Physics Concepts , 2000, Intelligent Tutoring Systems.

[125]  Reva Freedman,et al.  Implementing directed lines of reasoning in an intelligent tutoring system using the atlas planning environment , 2004, International Conference on Information Technology: Coding and Computing, 2004. Proceedings. ITCC 2004..

[126]  Robert Kass,et al.  Building a user model implicitly from a cooperative advisory dialog , 1991, User Modeling and User-Adapted Interaction.

[127]  Bart Kuijpers,et al.  An Intelligent Man-Machine Dialogue System Based on AI Planning , 1998, Applied Intelligence.

[128]  Austin Tate,et al.  Generating Project Networks , 1977, IJCAI.

[129]  Barbara Hayes-Roth,et al.  A Cognitive Model of Planning , 1979, Cogn. Sci..

[130]  D. Mcclelland,et al.  The Achievement Motive , 1954 .

[131]  Reva Freedman,et al.  Responding to Unexpected Student Utterances in CIRCSIM-Tutor v.3: Analysis of Transcripts , 1998, FLAIRS.

[132]  Teresa Roselli.  Artificial intelligence can improve hypermedia instructional technologies for learning , 1995, CSUR.

[133]  Anthony Jameson,et al.  User Modeling Meets Usability Goals , 2005, User Modeling.

[134]  Richard Waldinger,et al.  Achieving several goals simultaneously , 1977 .

[135]  Gordon I. McCalla,et al.  The Massive User Modelling System (MUMS) , 2004, Intelligent Tutoring Systems.

[136]  P. P. Chakrabarti,et al.  Reducing Reexpansions in Iterative-Deepening Search by Controlling Cutoff Bounds , 1991, Artif. Intell..

[137]  Vladimir Lifschitz,et al.  On the Logic of Causal Explanation (Research Note) , 1997, Artif. Intell..

[138]  Antonija Mitrovic,et al.  Optimising ITS Behaviour with Bayesian Networks and Decision Theory , 2001 .

[139]  James A. Hendler,et al.  A Review of AI Planning Techniques , 1990 .

[140]  Edwin P. D. Pednault,et al.  ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.

[141]  D. S Johnson,et al.  THE INTELLIGENT TUTORING SYSTEM AS A TRAINING INTERVENTION: IMPLEMENTING ITSs IN INDUSTRY , 1995 .

[142]  William C. Mann,et al.  Discourse Structures for Text Generation , 1984, ACL.

[143]  Manuela Veloso,et al.  Planning for Complex Tasks: Replay and Merging of Multiple Plans , 1993 .

[144]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[145]  R. McCartney.  Case-based planning meets the frame problem (case-based planning from the classical perspective) , 1992 .

[146]  Kathleen F. McCoy.  Contextual Effects on Responses to Misconceptions , 1987 .

[147]  Reva Freedman.  Plan-Based Dialogue Management in a Physics Tutor , 2000, ANLP.

[148]  Sabine Geldof,et al.  Using Natural Language Generation in Automatic Route Description , 2005, J. Res. Pract. Inf. Technol..

[149]  R. Loines.  Giving readers what they want: what the research tells us about readable documents , 1991, IPCC 91 Proceedings The Engineered Communication.

[150]  William A. Woods,et al.  Computational Linguistics Transition Network Grammars for Natural Language Analysis , 2022 .

[151]  Michel Meyer,et al.  Rhetoric, Language, and Reason , 1993 .

[152]  Subbarao Kambhampati,et al.  A comparative analysis of partial order planning and task reduction planning , 1995, SGAR.

[153]  John W. Atkinson,et al.  Introduction: Motivation , 1964 .

[154]  Susan Bull,et al.  Some Unusual Open Learner Models , 2005, AIED.

[155]  David E. Wilkins,et al.  Practical planning - extending the classical AI planning paradigm , 1989, Morgan Kaufmann series in representation and reasoning.

[156]  William R. Swartout,et al.  A Reactive Approach to Explanation: Taking the User’s Feedback into Account , 1991 .

[157]  William J. Clancey.  Methodology for building an intelligent tutoring system , 1987 .

[158]  Brendan Tangney,et al.  Matching and Mismatching Learning Characteristics with Multiple Intelligence Based Content , 2005, AIED.

[159]  David E. Wilkins,et al.  Domain-Independent Planning: Representation and Plan Generation , 1984, Artif. Intell..

[160]  Kurt VanLehn,et al.  Advanced Geometry Tutor: An intelligent tutor that teaches proof-writing with construction , 2005, AIED.

[161]  A. Knott,et al.  Using Linguistic Phenomena to Motivate a Set of Coherence Relations. , 1994 .

[162]  A. Koller,et al.  Speech Acts: An Essay in the Philosophy of Language , 1969 .

[163]  Antonija Mitrovic,et al.  WETAS: A Web-Based Authoring System for Constraint-Based ITS , 2002, AH.

[164]  William C. Mann,et al.  Relational propositions in discourse , 1986 .

[165]  Reva Freedman.  Representing Communicative Action in a Dialogue-Based Intelligent Tutoring System , 1998 .

[166]  Juhani Tuovinen,et al.  Optimising student cognitive load in computer education , 2000, ACSE '00.

[167]  Candace L. Sidner,et al.  Attention, Intentions, and the Structure of Discourse , 1986, CL.

[168]  Huaiqing Wang,et al.  SQL Tutor+: A co-operative ITS with repository support , 1997, Inf. Softw. Technol..

[169]  Antonija Mitrovic,et al.  Evaluating Adaptive Problem Selection , 2004, AH.

[170]  Yue Cao,et al.  Total-Order Planning with Partially Ordered Subtasks , 2001, IJCAI.

[171]  J. Austin.  How to do things with words , 1962 .

[172]  Eduardo Guzmán,et al.  Qualitative and Quantitative Student Models , 2005, AIED.

[173]  Michael Negnevitsky.  A knowledge based tutoring system for teaching fault analysis , 1998 .

[174]  J. Sinclair,et al.  Towards an Analysis of Discourse: The English Used by Teachers and Pupils , 1975 .

[175]  James L. McClelland,et al.  Why there are complementary learning systems in the hippocampus and neocortex: insights from the successes and failures of connectionist models of learning and memory. , 1995, Psychological review.

[176]  Mark Drummond.  Refining and Extending the Procedural Net , 1985, IJCAI.

[177]  Eduard Hovy,et al.  Approaches to the Planning of Coherent Text , 1991 .

[178]  Josh D. Tenenberg,et al.  Planning with Abstraction , 1986, AAAI.

[179]  Paul Brna,et al.  Applying Interactive Open Learner Models to Learning Technical Terminology , 2001, User Modeling.

[180]  Carolyn Penstein Rosé,et al.  Fading and Deepening: The Next Steps for Andes and other Model-Tracing Tutors , 2000, Intelligent Tutoring Systems.

[181]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[182]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[183]  Elaine Rich.  Users are individuals: individualizing user models , 1999, Int. J. Hum. Comput. Stud..

[184]  Eduard H. Hovy,et al.  Pragmatics and Natural Language Generation , 1990, Artif. Intell..

[185]  D. Morse,et al.  Comparison of multiple taxonomic hierarchies using TaxoNote , 2003 .

[186]  Antonija Mitrovic,et al.  KERMIT: A Constraint-Based Tutor for Database Modeling , 2002, Intelligent Tutoring Systems.

[187]  Marilyn A. Walker,et al.  The Effect of Resource Limits and Task Complexity on Collaborative Planning in Dialogue , 1995, Artif. Intell..

[188]  M. V. Ramakrishna.  A learning by doing model for teaching advanced databases , 2000, ACSE '00.

[189]  Richard Fikes,et al.  Learning and Executing Generalized Robot Plans , 1993, Artif. Intell..

[190]  Amy L. Lansky,et al.  Localized Planning with Action-Based Constraints , 1998, Artif. Intell..

[191]  B. A. Izzuddin,et al.  Explaining design plans , 1996, Knowl. Based Syst..

[192]  Marie W. Meteer.  The Implications of Revisions for Natural Language Generation , 1991 .

[193]  Marios C. Angelides,et al.  Towards an Intelligent Tutoring System Architecture that Supports Remedial Tutoring , 1998, Artificial Intelligence Review.

[194]  Reva Freedman,et al.  Adaptive Processing in a Medical Intelligent Tutoring System , 2001 .

[195]  Kasia Muldner,et al.  Exploring Eye Tracking to Increase Bandwidth in User Modeling , 2005, User Modeling.

[196]  Alan M. Lesgold,et al.  Towards a theory of curriculum for use in designing intelligent instructional systems , 1988 .

[197]  Ok-choon Park,et al.  An Historical Perspective and a Model for Evaluation of Intelligent Tutoring Systems , 1994 .

[198]  R. Michael Young,et al.  Using Grice's maxim of Quantity to select the content of plan descriptions , 1999, Artif. Intell..

[199]  Johanna D. Moore,et al.  Planning Text for Advisory Dialogues , 1989, ACL.

[200]  Howard T. Everson,et al.  Modeling the student in intelligent tutoring sytems: The promise of a new psychometrics , 1995 .

[201]  Paul Brna,et al.  Maintaining a Jointly Constructed Student Model , 2000, AIMSA.

[202]  David N. Chin.  KNOME: Modeling What the User Knows in UC , 1989 .

[203]  Kathleen R. McKeown,et al.  Discourse Strategies for Describing Complex Physical Objects , 1987 .

[204]  Walter Nash.  Rhetoric: The Wit of Persuasion , 1989 .

[205]  William C. Mann,et al.  Rhetorical Structure Theory: Toward a functional theory of text organization , 1988 .

[206]  Dominic A. Clark,et al.  Using predicate logic to integrate qualitative reasoning and classical decision theory , 1990, IEEE Trans. Syst. Man Cybern..

[207]  Joseph E. Beck,et al.  Macroadapting Animalwatch to Gender and Cognitive Differnces with Respect to Hint Interactivity and Symbolism , 2000, Intelligent Tutoring Systems.

[208]  C. I. Hovland.  The Order Of Presentation In Persuasion , 1966 .

[209]  Pamela W. Jordan.  Tools for Authoring Tutorial Dialogue Knowledge , 2001 .

[210]  Claus Zinn,et al.  Supporting Constructive Learning with a Feedback Planner , 2000 .

[211]  Marios C. Angelides,et al.  A comprehensive method for the evaluation of complete intelligent tutoring systems , 1998, Decis. Support Syst..

[212]  R.M. Weischedel,et al.  Knowledge representation and natural language processing , 1986, Proceedings of the IEEE.

[213]  Gang Zhou,et al.  Curriculum Knowledge Representation and Manipulation in Knowledge-Based Tutoring Systems , 1996, IEEE Trans. Knowl. Data Eng..

[214]  Claude Frasson,et al.  Designing a multi-strategic intelligent tutoring system for training in industry , 1998 .

[215]  Kathleen R. McKeown.  Using focus to constrain language generation , 1984 .

[216]  Arthur M. Farley,et al.  Plan Abstraction Based on Operator Generalization , 1988, AAAI.

[217]  Judy Kay,et al.  An Intelligent Tutoring System for the Dijkstra-Gries Methodology , 1995, IEEE Trans. Software Eng..

[218]  A. Jameson.  Adaptive interfaces and agents , 2002 .

[219]  Pierre Dillenbourg,et al.  What if the computer doesn't know the answer? , 1996, CACM.

[220]  William J. Clancey,et al.  Knowledge-based tutoring: the GUIDON program , 1987 .

[221]  William C. Mann.  Text generation: the problem of text structure , 1988 .

[222]  William A. Woods,et al.  What's in a Link: Foundations for Semantic Networks , 1975 .

[223]  P. Pintrich.  The role of motivation in promoting and sustaining self-regulated learning , 1999 .

[224]  Nell B. Dale,et al.  Computerized adaptive testing in computer science: assessing student programming abilities , 1993, SIGCSE '93.

[225]  Gerald Jay Sussman,et al.  The virtuous nature of bugs , 1974 .

[226]  H. Gardner.  Intelligence Reframed: Multiple Intelligences for the 21st Century , 1999 .

[227]  Kurt VanLehn,et al.  Interactive Conceptual Tutoring in Atlas-Andes , 2002 .

[228]  John R. Anderson.  The Architecture of Cognition , 1983 .

[229]  Joel A. Michael,et al.  Implementing Analogies in an Electronic Tutoring System , 2004, Intelligent Tutoring Systems.

[230]  Douglas E. Appelt.  Toward a Plan-Based Theory of Referring Actions , 1987 .

[231]  Susan L. Epstein.  Pragmatic Navigation: Reactivity, Heuristics, and Search , 1998, Artif. Intell..

[232]  Johanna D. Moore,et al.  Decomposition and Causality in Partial-order Planning , 1994, AIPS.

[233]  Ingrid Zukerman,et al.  Attention During Argument Generation And Presentation , 1998, INLG.

[234]  Steven A. Vere,et al.  Planning in Time: Windows and Durations for Activities and Goals , 1983, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[235]  Vincent Aleven,et al.  Limitations of Student Control: Do Students Know When They Need Help? , 2000, Intelligent Tutoring Systems.

[236]  Reva Freedman.  Using a Reactive Planner as the Basis for a Dialogue Agent , 2000, FLAIRS Conference.

[237]  Jeroen J. G. van Merriënboer,et al.  Plan-based delivery composition in intelligent tutoring systems for introductory computer programming , 1994 .

[238]  Norbert Reithinger,et al.  POPEL — A Parallel and Incremental Natural Language Generation System , 1991 .

[239]  Tomasz Arciszewski,et al.  Intelligent tutoring systems: an ontology-based approach , 2004 .

[240]  Antonija Mitrovic.  The Effect of Explaining on Learning: a Case Study with a Data Normalization Tutor , 2005, AIED.

[241]  Earl D. Sacerdoti,et al.  The Nonlinear Nature of Plans , 1975, IJCAI.

[242]  Joseph E. Grimes,et al.  The Thread of Discourse , 1984 .

[243]  Richard E. Korf,et al.  Planning as Search: A Quantitative Approach , 1987, Artif. Intell..

[244]  Antonija Mitrovic,et al.  Evaluating an Animated Pedagogical Agent , 2000, Intelligent Tutoring Systems.

[245]  H. Chad Lane,et al.  Toward Question Answering for Simulations , 2005, IJCAI 2005.

[246]  Alan Bailin,et al.  Intelligent computer-assisted language learning: A bibliography , 1995, Comput. Humanit..

[247]  Kathleen F. McCoy,et al.  Focus of attention: Constraining what can be said next , 1991 .

[248]  Mark Stefik,et al.  Planning with Constraints (MOLGEN: Part 1) , 1981, Artif. Intell..

[249]  Kalina Bontcheva,et al.  Tailoring Automatically Generated Hypertext , 2005, User Modeling and User-Adapted Interaction.

[250]  Naoyuki Tokuda,et al.  A syntactical approach to diagnosing multiple bugs in an intelligent tutoring system , 1996, IEEE Trans. Syst. Man Cybern. Part A.

[251]  Subbarao Kambhampati,et al.  Reviving Partial Order Planning , 2001, IJCAI.

[252]  Helen Pain,et al.  Motivation Diagnosis in Intelligent Tutoring Systems , 1998, Intelligent Tutoring Systems.

[253]  Magid Igbaria,et al.  A Motivational Model of Microcomputer Usage , 1996, J. Manag. Inf. Syst..

[254]  Arthur B. Markman,et al.  Knowledge Representation , 1998 .

[255]  G C Nikiforidis,et al.  A multi-agent architecture for teaching dermatology. , 1998, Medical informatics = Medecine et informatique.

[256]  Ronen I. Brafman,et al.  Prioritized Goal Decomposition of Markov Decision Processes: Toward a Synthesis of Classical and Decision Theoretic Planning , 1997, IJCAI.

[257]  Robert C. Williges,et al.  Human-Computer Dialogue Design , 1986 .